Correctness - PDFSEARCH.IO - Document Search Engine

Correctness
Results: 732

#	Item
131	Message from the MSPC 2012 Program Chair Welcome to the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC). I greatly appreciate the opportunity to serve as the program chair for this year’s Add to Reading List Source URL: safari.ece.cmu.edu Language: English - Date: 2013-09-24 23:28:44
132	High Concurrency, and Correctness Too or: How I Stopped Worrying about Eventual Consistency Marc Shapiro Nuno Preguiça Add to Reading List Source URL: zvonimir.info Language: English - Date: 2013-08-06 18:45:34
133	SupplementaryTable1-GAGE-correctness.xlsx Add to Reading List Source URL: ccb.jhu.edu Language: English - Date: 2013-06-10 13:05:52
134	The 2012 ACM SIGPLAN Workshop on Memory Systems Performance & Correctness Co-located with PLDI 2012 Memory continues to be a major bottleneck in almost all computing systems. It is becoming more so as more cores and agen Add to Reading List Source URL: safari.ece.cmu.edu Language: English - Date: 2013-09-24 23:28:41
135	Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-02-21 09:31:36 Software engineering Computing Computer programming Compiler construction Data types Variable C++ Functional languages Compiler correctness Thread-local storage Pointer C dynamic memory allocation
136	Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation Arthur Charguéraud1 and François Pottier2 1 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-06-05 08:29:45
137	CalculemusThe 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2009 Emerging Trends Add to Reading List Source URL: www.calculemus.net Language: English - Date: 2009-08-28 11:37:21 Theoretical computer science Algorithm Correctness RSA Metamath Symbolic computation Recursion
138	Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space model Steve Kremer1 , Aybek Mukhamedov2 , and Eike Ritter2 1 Add to Reading List Source URL: fc05.ifca.ai Language: English - Date: 2005-01-17 11:54:22
139	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic

UPDATE