Correctness - PDFSEARCH.IO - Document Search Engine

Correctness
Results: 732

#	Item
211	Swenson College of Science and Engineering Change Unit Team Report Date: May 6, 2012 UCT Members: M Imran Hayee (Electrical & Computer Engineering), Shannon Stevenson (Biology), Richard Maclin (Computer Science), Jonatha Add to Reading List Source URL: www.d.umn.edu Language: English - Date: 2012-05-31 17:28:27 Sociology Multiculturalism Political correctness Business Diversity University of Cape Town Cultural competence Identity politics Cultural studies Politics
212	X Meets Z: Verifying Correctness In The Presence Of POSIX Threads Bart Massey Computer Science Department Portland State University Portland, Oregon USA 97207–0751 Add to Reading List Source URL: www.freedesktop.org Language: English - Date: 2003-10-22 17:11:56 Freedesktop.org XCB Inter-process communication X Window System core protocol Xlib X Window System protocols and architecture Thread Futures and promises V Software Computing System software
213	MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-21 12:53:21 Theoretical computer science Computer programming Concurrency control Model checking Parallel computing Linearizability Correctness Software bug Consistency model Computing Transaction processing Software engineering
214	the journal » pg. 2 \| Letter from the Editor » pg. 3 \| A Look at Our World Add to Reading List Source URL: www.summit.org Language: English - Date: 2011-03-08 16:38:01 Family values Political correctness Sociology Opposition to the legalization of abortion Polygamy Christian theology Same-sex marriage Evangelicalism Support for the legalization of abortion Christianity Conservatism Family
215	PROVING CORRECTNESS OF ACTOR SYSTEMS USING FIFO COMMUNICATION By Ian W. Dunn A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-02-03 22:36:36 Actor model Sieve of Eratosthenes FIFO Number Sieve Computing Concurrent computing Concurrency
216	Deep Dive into Qt Quick  and Qt Quick Controls A Live Coding Session Gabriel de Dietrich, The Qt Company Who Am I? Add to Reading List Source URL: www.qtdeveloperdays.com Language: English - Date: 2014-12-02 10:31:34 QML Property Constant Const-correctness Software Computing Qt
217	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data
218	Guaranteeing Correctness in Privacy-Friendly Outsourcing by Certificate Validation Berry Schoenmakers and Meilof Veeningen Eindhoven University of Technology, The Netherlands {berry@win.,m.veeningen@}tue.nl Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-15 07:25:57 Secure multi-party computation Homomorphic encryption Zero-knowledge proof IP RSA Cryptography Cryptographic protocols Public-key cryptography
219	Microsoft Word - Haifa06Jackson.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2007-01-17 17:02:54 Applied mathematics Software testing Requirement Elevator Formal specification Correctness Computer programming Mathematical optimization Mathematics Software development Software requirements Theoretical computer science
220	THE HISTORY WARS Photo – David Karonidis 76 Add to Reading List Source URL: www.kooriweb.org Language: English - Date: 2010-12-22 04:27:09 Geoffrey Blainey Keith Windschuttle Manning Clark Armband Stuart Macintyre Political correctness John Howard Stolen Generations Indigenous Australians Australia Oceania History wars

UPDATE