Correctness - PDFSEARCH.IO - Document Search Engine

Correctness
Results: 732

#	Item
221	This is a pre-publication draft of the column I wrote for the September 1996 issue of the C++ Report. “Pre-publication” means this is what I sent to the Report, but it may not be exactly the same as what appeared in Add to Reading List Source URL: www.aristeia.com Language: English - Date: 2013-01-31 17:34:37 C++ Data types C++ classes Pointer Smart pointer Reference C Generic programming Const-correctness Software engineering Computing Computer programming
222	NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:19:55 Data Concurrency control Concurrent computing Databases Serializability Parallel computing Actor model Concurrent data structure Thread Computing Transaction processing Data management
223	The Binder Library version 1.1 A C++ Template Library User’s Guide and Reference Manual Jaakko J¨arvi Add to Reading List Source URL: www2.cs.utu.fi Language: English - Date: 2000-01-25 02:29:19 C++ Tuple Template Const-correctness C++ classes Copy constructor D Printf format string Function object Software engineering Computing Computer programming
224	Microsoft Word - FM08 Tutorial.doc Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-04-01 03:28:00 Logic in computer science Computer science Arvind Year of birth missing Electronic engineering Bluespec Inc. Formal verification Verification Correctness Formal methods Theoretical computer science Applied mathematics
225	TFTP Client ActiveX Control Trivial File Transfer Protocol Custom Control for Microsoft Windows Add to Reading List Source URL: www.distinct.com Language: English - Date: 2003-06-11 16:40:38 File Transfer Protocol Exec Property ActiveX Constant Const-correctness Computing Internet Trivial File Transfer Protocol
226	Microsoft PowerPoint - type deduction.pptx Add to Reading List Source URL: www.aristeia.com Language: English - Date: 2014-10-13 19:25:27 Computer programming C++11 Template Reference Const-correctness Auto ptr C++ Computing Software engineering
227	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics
228	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
229	The table provides WMM2010 test values to validate software output to verify the correctness of a coefficient update or new software installation. Date Add to Reading List Source URL: ngdc.noaa.gov Language: English - Date: 2010-09-14 18:41:31
230	Semantic Conditions for Correctness at Different Isolation Levels Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2014-09-12 20:26:42 Information Concurrency control Databases Isolation Snapshot isolation Serializability Schedule Database transaction Multiversion concurrency control Transaction processing Data management Data

UPDATE