Transaction logic - PDFSEARCH.IO - Document Search Engine

Transaction logic
Results: 30

#	Item
1	A concise guide to VMM Verification Methodology Version 1.2 VMM is available for free download at www.vmmcentral.org VMM Golden Reference Guide First Edition, January 2010 Copyright © 2010 by Doulos Ltd. All rights res Add to Reading List Source URL: vmmcentral.org Language: English - Date: 2010-03-04 18:39:33 Hardware verification languages Hardware description languages SystemVerilog Electronic design automation Logic design E Bus Functional Model Verilog Mentor Graphics Transaction-level modeling Reference Verification Methodology
2	The Impact of Memory Models on Software Reliability in Multiprocessors Alexander Jaffe Thomas Moscibroda Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:28:58 Transaction processing Computer memory Compiler construction Concurrency Programming language design Linearizability Parallel computing Thread Java Memory Model Computing Logic Software engineering
3	Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-08-04 18:25:14 Computing Theoretical computer science Computer programming Logic in computer science Software testing Linearizability Race condition Atomicity Lock Software bugs Transaction processing Concurrency control
4	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-11-02 12:47:33 Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types Computing Software engineering
5	1 Reference and Directional Transaction Sample Reference transactions include one-on-one instruction and consultations/tutorials, per ARL definitions. Tallies for the University Library are an average of a three week sa Add to Reading List Source URL: assessment.library.virginia.edu Language: English - Date: 2014-09-22 15:57:42 Information Library Logic Citation Reference Library science Knowledge
6	24 Reference and Directional Transaction Sample Reference transactions include one-on-one instruction and consultations/tutorials, per ARL definitions. Tallies for the University Library are an average of a three week s Add to Reading List Source URL: assessment.library.virginia.edu Language: English - Date: 2014-01-21 14:52:38 Library Logic Reference Fiske Kimball Library science Linguistics Science
7	Transaction Logic with Defaults and Argumentation Theories ∗ Paul Fodor and Michael Kifer Stony Brook University Stony Brook, NY 11794, USA pfodor, Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:21:42 Mathematical logic Formal languages Knowledge representation Epistemology Model theory Literal Interpretation Term algebra Fluent Logic Logic programming Mathematics
8	In Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20, 1995 Modeling failure priors and persistence in model-based diagnosis Sampath Srinivas Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2007-05-21 03:39:48 Data management Schedule Transaction processing Prior probability T1 Bayesian network Philosophical logic Information Bayesian statistics Statistical models Probability and statistics
9	Transaction Logic with Defaults and Argumentation Theories? Paul Fodor and Michael Kifer State University of New York at Stony Brook, USA Abstract. Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integr Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:22:04 Formal languages Model theory Logic in computer science Functions and mappings Interpretation Well-formed formula Fluent Term algebra Function Logic Mathematics Mathematical logic
10	Enforcing User-defined Management Logic in Large Scale Systems Srinath Perera, Dennis Gannon Computer Science Department Indiana University, Bloomington IN 47405 {hperera, gannon}@cs.indiana.edu Add to Reading List Source URL: people.apache.org Language: English - Date: 2011-08-23 16:13:53 Enterprise application integration Service-oriented architecture Transaction processing Autonomic computing Resource fork SynfiniWay Computing Concurrent computing Information technology management