User - PDFSEARCH.IO - Document Search Engine

User
Results: 68652

#	Item
71	The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:51:47 Computing Software engineering Concurrent computing Concurrency control C++ Parallel computing Transaction processing Concurrency Linearizability C++11 Thread POSIX Threads
72	CLINICAL NEUTRON THERAPY SYSTEM Control System Specication PART II: User Operations Jonathan Jacky1 Ruedi Risler Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 17:07:43 Physics Medical physics Accelerator physics Experimental physics Radiation therapy Medicine Particle accelerators Fast neutron therapy Neutron Cyclotron Beamline Computer terminal
73	PRIVACY AND PERSONAL DATA PROTECTION POLICY This privacy and personal data protection policy (“Privacy policy”) is applied to all user information collected by BITTECH project’s ICO website (“Website”) located Add to Reading List Source URL: ico.bittech.cn.com Language: English - Date: 2018-08-06 08:32:00 Terms of service Data security Computing Law Data protection Identity management Privacy Internet privacy Information privacy HTTP cookie Personal Inc. Privacy concerns with social networking services
74	Meltdown: Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6,9 , Yuval Ya Add to Reading List Source URL: mlq.me Language: English - Date: 2018-08-17 12:03:32 Computer architecture Computing Computer hardware Central processing unit X86 architecture Computer memory Side-channel attacks Virtual memory Translation lookaside buffer CPU cache Meltdown Spectre
75	Installation and Configuration Setting client Setting server Giving permissions to users Creating user in AD importing users to Ax from AD Add to Reading List Source URL: www.kellytechno.com - Date: 2017-05-22 01:39:07
76	Achain Wallet User Guide Table 1. Notice ................................................................................................ 2 2. Setup and Log in ............................................................ Add to Reading List Source URL: www.achain.com Language: English - Date: 2018-09-04 22:50:16 Economy Payment systems Money E-commerce Digital wallet Password Wallet Backup
77	Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:36 Theoretical computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Isabelle Constructible universe LCF Mathematics (SAT -UNSAT)
78	Bounded Model Generation for Isabelle/HOL and Related Applications of SAT Solvers in Interactive Theorem Proving Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:16 Computability theory Lambda calculus Theoretical computer science Model theory Higher-order logic Constructible universe Metaphilosophy Mathematics
79	Validating QBF Validity in HOL4 Ramana Kumar and Tjark Weber ITPBerg en Dal) August 25, 2011 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-09-01 13:37:03 Mathematical logic Constructible universe Model theory Mathematics Predicate logic Generalizations of the derivative Smooth functions Logic operator Original proof of Gdel's completeness theorem
80	A SAT-based Sudoku Solver Tjark Weber LPAR’05, December 3rd, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-11-29 11:04:14 Logic puzzles Sudoku Recreational mathematics Abstract strategy games NP-complete problems Mathematics Logic

UPDATE