"Correctness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
A semantic approach to correctness of concurrent transaction executions.	Paul G. Spirakis	1984	Courant Institute of Mathematical Sciences, New York University
Transactional memory	Tim Harris	2010	Morgan & Claypool
Principles of Transactional Memory	Rachid Guerraoui; Michael Kapalka		Springer International Publishing
Principles of transactional memory	Rachid Guerraoui	2010	Morgan & Claypool
Transactional Memory, Second Edition	Tim Harris; James Larus; Ravi Rajwar		Springer International Publishing
Transactional Information Systems	Gerhard Weikum and Gottfried Vossen	2002	Morgan Kaufmann
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs	Mingsheng Ying	2001	Springer New York
Understanding Concurrent Systems	A.W. Roscoe	2010	Springer London
Concurrent Crash-Prone Shared Memory Systems: A Few Theoretical Notions	Raynal Michel		Springer International Publishing
Concurrent systems: formal development in CSP /	Hinchey, Michael G.; Jarvis, Stephen A.,	[1995], ©1995.	McGraw-Hill,
Resources in parallel and concurrent systems	ACM Press	1991	ACM Press
Multimodal perception and multicriterion control of nested systems		1998	National Aeronautics and Space Administration, Lyndon B. Johnson Space Center;National Technical Information Service, distributor
Specification and Verification of Concurrent Systems	Charles Rattray	1990	Springer London
Logics and Models of Concurrent Systems	Krzysztof R. Apt	1985	Springer Berlin Heidelberg
Specification and design of concurrent systems	Percy Mett	1994	McGraw-Hill Book Co.
Communicating Process Architectures 2006: Volume 64 Concurrent Systems Engineering Series (Concurrent Systems Engineering)	P. H. Welch, J. Kerridge, F. R. M. Barnes	2006	IOS Press
Nested.	Nyro, Laura,	[1978], ℗1978.	Columbia,
Actors: A Model of Concurrent Computation in Distributed Systems	Gul Agha	1986	MIT Press
Prototyping of Concurrent Control Systems Implemented in FPGA Devices	Remigiusz Wiśniewski	1st ed. 2017	Springer International Publishing
Actors: A Model of Concurrent Computation in Distributed Systems	Gul Agha	1986	MIT Press,
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Correctness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems	Sathya Peri; Krishnamurthy Vidyasankar	Distributed Computing and Networking: 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011, Proceedings	Marcos K. Aguilera; Haifeng Yu; Nitin H. Vaidya; Vikram Srinivasan; Romit Roy Choudhury	2011	Springer Berlin Heidelberg
Transactional Correctness for Secure Nested Transactions	Dominic Duggan; Ye Wu	Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers	Roberto Bruni; Vladimiro Sassone	2012	Springer Berlin Heidelberg
Correctness Criterion for Concurrent Executions		Encyclopedia of Database Systems	Ling Liu; M. Tamer Özsu	2009	Springer US
Scheduling Open-Nested Transactions in Distributed Transactional Memory	Junwhan Kim; Roberto Palmieri; Binoy Ravindran	Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings	Rocco De Nicola; Christine Julien	2013	Springer Berlin Heidelberg
Nested Parallelism in Transactional Memory	Ricardo Filipe; João Barreto	Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001	Rachid Guerraoui; Paolo Romano	2015	Springer International Publishing
Security Correctness for Secure Nested Transactions	Dominic Duggan; Ye Wu	Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers	Martín Abadi; Alberto Lluch Lafuente	2014	Springer International Publishing
Non-interference and Local Correctness in Transactional Memory	Petr Kuznetsov; Sathya Peri	Distributed Computing and Networking: 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings	Mainak Chatterjee; Jian-nong Cao; Kishore Kothapalli; Sergio Rajsbaum	2013	Springer Berlin Heidelberg
Executions of concurrent algorithms		Principles of transactional memory	Rachid Guerraoui	2010	Morgan & Claypool
On Transactional Scheduling in Distributed Transactional Memory Systems	Junwhan Kim; Binoy Ravindran	Stabilization, Safety, and Security of Distributed Systems: 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings	Shlomi Dolev; Jorge Cobb; Michael Fischer; Moti Yung	2010	Springer Berlin Heidelberg
Transactions, Nested	J. Eliot B. Moss	Encyclopedia of Parallel Computing	David Padua	2011	Springer US
Nested Transactions		The Guru's guide to Transact-SQL [covers Microsoft Transact-SQL]	Henderson, Kenneth	2000;2009	Addison-Wesley Professional
Nested Transactions		Oracle9i Enterprise JavaBeans Developer's Guide and Reference	Maring S.	2001
Nested Transactions		Professional ADO. NET 2: Programming with SQL Server 2005, Oracle, and MySQL	Wallace B. McClure, Gregory A. Beamer, IV John J. Croft, J. Ambrose Little, Bill Ryan, Phil Winstanley, David Yack, Jeremy Zongker	2005	Wrox
Nested transactions		Principles of transactional memory	Rachid Guerraoui	2010	Morgan & Claypool
Nested Transactions		SQL Server 2000 Stored Procedure Programming	Dejan Sunderic	2000	McGraw-Hill/OsborneMedia
Correctness of concurrent processes	Ernst-Rüdiger Olderog	Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings	Antoni Kreczmar; Grazyna Mirkowska	1989	Springer Berlin Heidelberg
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems	Haris Volos; Adam Welc; Ali-Reza Adl-Tabatabai; Tatiana Shpeisman; Xinmin Tian; Ravi Narayanaswamy	ECOOP 2009 -- Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings	Sophia Drossopoulou	2009	Springer Berlin Heidelberg
Concurrent Transactions		Oracle Database 12c SQL	Jason Price	0
Transactions in Transactional Workflows	Devashish Worah; Amit Sheth	Advanced Transaction Models and Architectures	Sushil Jajodia; Larry Kerschberg	1997	Springer US
Checking Correctness of Transactional Behaviors	Vincenzo Ciancia; Gian Luigi Ferrari; Roberto Guanciale; Daniele Strollo	Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6. 1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings	Kenji Suzuki; Teruo Higashino; Keiichi Yasumoto; Khaled El-Fakih	2008	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Correctness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems" - similar Books and Chapters