Correctness - PDFSEARCH.IO - Document Search Engine

Correctness
Results: 732

#	Item
261	NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.cs.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
262	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.cs.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
263	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.cs.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
264	User Trace Port – Trace Port Emulation on Processors without on-chip Trace Hardware How can I verify Functional/Timing Correctness on Processors without on-chip Trace? Armin Stingl, iSYSTEM AG 1 Add to Reading List Source URL: www.isystem.com Language: English - Date: 2013-06-18 08:29:52 Embedded operating systems Microprocessors Debugging Microcontrollers IEEE standards Profiling Nexus Embedded system Real-time operating system Computing Computer programming Electronics
265	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
266	Putting a Plan in Motion (Last of four features) The United States is a melting pot of different people and cultures. Even though this melting pot has at times created conflict, it continues to be a strength of this nati Add to Reading List Source URL: www.dispatchnie.com Language: English - Date: 2011-04-06 08:57:30 Sociology of culture Culture Affirmative action Political correctness Multiculturalism Melting pot Diversity Cultural diversity Biodiversity Identity politics Cultural studies Sociology
267	A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness arXiv:1412.5484v1 [cs.CC] 17 DecSheela Devadas∗ and Ronitt Rubinfeld† Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-12-17 20:29:41 Computational complexity theory Quantum algorithms Mathematics Function Algorithm
268	Practical Model-Checking Method for Verifying Correctness of MPI Programs Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Robert Palmer1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-07-26 13:39:22 Parallel computing Application programming interfaces Model checking MPICH Application checkpointing Promela ISP Thread ISP Formal Verification Tool Computing Computer programming Software
269	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming
270	Patricia Bizzell BASIC WRITING AND THE ISSUE OF CORRECTNESS, OR,WHAT TO DO WITH "MIXED" FORMS OF Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2012-03-31 12:39:37 Science Rhetoric Applied linguistics Social philosophy Basic writing Composition studies Heteroglossia Postcolonialism Hybridity Linguistics Sociolinguistics Writing

UPDATE