The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for atomicity with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1987 (16) 1988-1989 (19) 1990-1991 (15) 1992-1993 (27) 1994-1995 (21) 1996 (20) 1997-1998 (17) 1999 (24) 2000 (19) 2001 (19) 2002 (29) 2003 (26) 2004 (37) 2005 (53) 2006 (56) 2007 (45) 2008 (48) 2009 (63) 2010 (30) 2011 (16) 2012-2013 (20) 2014-2015 (15) 2016-2017 (21) 2018-2019 (14)
Publication types (Num. hits)
article(172) incollection(5) inproceedings(488) phdthesis(3) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 865 occurrences of 426 keywords

Results
Found 670 publication records. Showing 670 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
139Chang-Seo Park, Koushik Sen Randomized active atomicity violation detection in concurrent programs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF atomicity violation detection, concurrency, dynamic analysis, random testing
117Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai Dynamic optimization for efficient strong atomicity. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF virtual machines, code generation, transactional memory, compiler optimizations, dynamic optimizations, strong atomicity
117Liqiang Wang, Scott D. Stoller Runtime Analysis of Atomicity for Multithreaded Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, Concurrent programming, atomicity, data race, testing and debugging
117Liqiang Wang, Scott D. Stoller Accurate and efficient runtime detection of atomicity errors in concurrent programs. Search on Bibsonomy PPOPP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, concurrent programming, atomicity, serializability, data race
112Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu 0001 Atomicity Analysis of Service Composition across Organizations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
107Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller Automated type-based analysis of data races and atomicity. Search on Bibsonomy PPOPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type system, type inference, atomicity, data races
102Serdar Tasiran, Tayfun Elmas Rollback Atomicity. Search on Bibsonomy RV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
96Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou 0001 AVIO: detecting atomicity violations via access interleaving invariants. Search on Bibsonomy ASPLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
91Soyeon Park, Shan Lu, Yuanyuan Zhou 0001 CTrigger: exposing atomicity violation bugs from their hiding places. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software testing, concurrency bug
91Yu David Liu, Xiaoqi Lu, Scott F. Smith 0001 Coqa: Concurrent Objects with Quantized Atomicity. Search on Bibsonomy CC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
91Milo M. K. Martin, Colin Blundell, E. Lewis Subtleties of Transactional Memory Atomicity Semantics. Search on Bibsonomy Computer Architecture Letters The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
86Martín Abadi, Tim Harris 0001, Mojtaba Mehrara Transactional memory with strong atomicity using off-the-shelf memory protection hardware. Search on Bibsonomy PPOPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transactional memory, stm, memory protection, strong atomicity
86Cormac Flanagan, Stephen N. Freund, Jaeheon Yi Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
86Chunyang Ye, S. C. Cheung, W. K. Chan 0001 Publishing and composition of atomicity-equivalent services for B2B collaboration. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF process collaboration, public view, process algebra, atomicity
86Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller Optimized run-time race detection and atomicity checking using partial discovered types. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF performance, type system, atomicity, data races
86Cormac Flanagan, Stephen N. Freund Atomizer: a dynamic atomicity checker for multithreaded programs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic analysis, reduction, atomicity
86Cormac Flanagan, Shaz Qadeer A type and effect system for atomicity. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multithreading, atomicity, race conditions, static checking
84Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha Enforcing isolation and ordering in STM. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF weak atomicity, virtual machines, code generation, transactional memory, compiler optimizations, isolation, ordering, escape analysis, strong atomicity
81Azadeh Farzan, P. Madhusudan, Francesco Sorrentino 0002 Meta-analysis for Atomicity Violations under Nested Locking. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
81L. Jean Camp An Atomicity-Generating Protocol for Anonymous Currencies. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF transaction security, fault tolerance, Reliability, electronic commerce
81Aidong Zhang, Marian H. Nodine, Bharat K. Bhargava, Omran A. Bukhres Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
81William E. Weihl Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
75Brandon Lucia, Luis Ceze, Karin Strauss ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations
75Lee Chew, David Lie Kivati: fast detection and prevention of atomicity violations. Search on Bibsonomy EuroSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF kivati, watchpoint, atomicity violation
75Chunyang Ye, S. C. Cheung, W. K. Chan 0001, Chang Xu 0001 Detection and resolution of atomicity violation in service composition. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF web services, atomicity, implicit interaction, behavior constraint
75Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Exploiting Purity for Atomicity. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF purity, concurrent programs, reduction, Atomicity
75Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Exploiting purity for atomicity. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF purity, concurrent programs, reduction, atomicity
74Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai Research of Satisfying Atomic and Anonymous Electronic Commerce Protocol. Search on Bibsonomy GCC (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
74Rachid Guerraoui Atomic Object Composition. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
70Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
70Azadeh Farzan, P. Madhusudan Monitoring Atomicity in Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
70Zongtao Zhao, Jun Wei 0001, Li Lin, Xiaoning Ding A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
70Azadeh Farzan, P. Madhusudan Causal Atomicity. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky 06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. Search on Bibsonomy Atomicity: A Unifying Concept in Computer Science The full citation details ... 2006 DBLP  BibTeX  RDF
69Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky 06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. Search on Bibsonomy Atomicity: A Unifying Concept in Computer Science The full citation details ... 2006 DBLP  BibTeX  RDF
65Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan SideTrack: generalizing dynamic atomicity analysis. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
65Chunyang Ye, S. C. Cheung, W. K. Chan 0001, Chang Xu 0001 Local analysis of atomicity sphere for B2B collaboration. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF process collaboration, privacy, process algebra, atomicity
65Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF QuickSilver distributed file system, Starburst relational database manager, atomic properties, mutual consistency, client-server transactions, recoverable data structures, shadow copies, concurrency, relational databases, distributed databases, transaction processing, atomicity, network operating systems, stable storage, transaction systems
63Ajay D. Kshemkalyani A Framework for Viewing Atomic Events in Distributed Computations. Search on Bibsonomy Euro-Par, Vol. I The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
60Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini Verifying Atomicity Requirements of Services Coordination Using B. Search on Bibsonomy ENC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
60Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami Detecting Atomicity Errors in Message Passing Programs. Search on Bibsonomy PDCAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
60Arvind, Jan-Willem Maessen Memory Model = Instruction Reordering + Store Atomicity. Search on Bibsonomy ISCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
60Cormac Flanagan Verifying Commit-Atomicity Using Model-Checking. Search on Bibsonomy SPIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
60Cormac Flanagan, Stephen N. Freund Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
60Wei-keng Liao, Alok N. Choudhary, Kenin Coloma, George K. Thiruvathukal, Lee Ward, Eric Russell, Neil Pundit Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O. Search on Bibsonomy ICPP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
60Shouhuai Xu, Moti Yung, Gendu Zhang, Hong Zhu Money Conservation via Atomicity in Fair Off-Line E-Cash. Search on Bibsonomy ISW The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
60Lefteris M. Kirousis, Andreas G. Veneris Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations. Search on Bibsonomy WDAG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
58Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc Towards transactional memory semantics for C++. Search on Bibsonomy SPAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF synchronization, c++, transactional memory, atomicity, serializability
58Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai Research of Atomic and Anonymous Electronic Commerce Protocol. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF fair blind signature, fair anonymity, atomicity, payment system
54Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou 0001 AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. Search on Bibsonomy IEEE Micro The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reliability, testing, debugging, concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
54Benjamin Hindman, Dan Grossman Atomicity via source-to-source translation. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, transactional memory, concurrent programming, atomicity
54Cormac Flanagan, Stephen N. Freund, Marina Lifshin Type inference for atomicity. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF concurrency, reduction, type inference, atomicity
54Sami Bhiri, Olivier Perrin 0001, Claude Godart Ensuring required failure atomicity of composite Web services. Search on Bibsonomy WWW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF failure atomicity, reliable Web services compositions, transactional models
54Michael F. Ringenburg, Dan Grossman AtomCaml: first-class atomicity via rollback. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF transactions, concurrent programming, atomicity, objective caml
54Liqiang Wang, Scott D. Stoller Static analysis of atomicity for programs with non-blocking synchronization. Search on Bibsonomy PPOPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
54Yongdong Tan, Isao Kaji, Kinji Mori Autonomous Coordination for Atomicity of Transaction in Heterogeneous Systems. Search on Bibsonomy COMPSAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Autonomous Coordination, Atomicity, Heterogeneous system
54Lars Frank Atomicity Implementation in Mobile Computing. Search on Bibsonomy DEXA Workshops The full citation details ... 1999 DBLP  DOI  BibTeX  RDF client/server technology, fault tolerance, mobile computing, atomicity, multidatabases, ACID properties
54Nancy A. Lynch Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF transaction, atomicity, breakpoint
53Robert J. Stroud, Zhixue Wu Using Metaobject Protocols to Implement Atomic Data Types. Search on Bibsonomy ECOOP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
52Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum (eds.) Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006 Search on Bibsonomy Atomicity: A Unifying Concept in Computer Science The full citation details ... 2006 DBLP  BibTeX  RDF
52Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter 0001, David Taylor, Irfan Zakiuddin 06121 Report: Break Out Session on Guaranteed Execution. Search on Bibsonomy Atomicity: A Unifying Concept in Computer Science The full citation details ... 2006 DBLP  BibTeX  RDF
52Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum (eds.) Atomicity in System Design and Execution, 25.04. - 30.04.2004 Search on Bibsonomy Atomicity in System Design and Execution The full citation details ... 2004 DBLP  BibTeX  RDF
52Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues The Atomic Manifesto: a Story in Four Quarks. Search on Bibsonomy Atomicity in System Design and Execution The full citation details ... 2004 DBLP  BibTeX  RDF
49Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai Using data structure knowledge for efficient lock generation and strong atomicity. Search on Bibsonomy PPOPP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF automatic lock generation, parallel programming, transactional memory
49Azadeh Farzan, P. Madhusudan The Complexity of Predicting Atomicity Violations. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Rachid Guerraoui, Marko Vukolic A Scalable and Oblivious Atomicity Assertion. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Xiaoning Ding, Jun Wei 0001, Tao Huang 0001 User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber Proving Atomicity: An Assertional Approach. Search on Bibsonomy DISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49John Hatcliff, Robby, Matthew B. Dwyer Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Mikhail Nesterenko, Anish Arora Stabilization-Preserving Atomicity Refinement. Search on Bibsonomy DISC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Paul Ammann, Sushil Jajodia, Indrakshi Ray Ensuring Atomicity of Multilevel Transactions. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
49Alan Fekete, Nancy A. Lynch, William E. Weihl Hybrid Atomicity for Nested Transactions. Search on Bibsonomy ICDT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
47Tao Huang 0001, Xiaoning Ding, Jun Wei 0001 An application-semantics-based relaxed transaction model for internetware. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2006 DBLP  DOI  BibTeX  RDF relaxed atomicity, relaxed transaction mode, service composition, internetware
44Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan, Craig B. Zilles Hardware atomicity for reliable software speculation. Search on Bibsonomy ISCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, optimization, checkpoint, atomicity, speculation, isolation
42Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh Software Transactional Memory on Relaxed Memory Models. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Debmalya Biswas, Ashwin Jiwane, Blaise Genest Atomicity for XML Databases. Search on Bibsonomy XSym The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Zdenek Letko, Tomás Vojnar, Bohuslav Krena AtomRace: data race and atomicity violation detector and healer. Search on Bibsonomy PADTAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney Retrenchment and the Atomicity Pattern. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Yi Ren, Quanyuan Wu, Yan Jia 0001, Jianbo Guan An Efficient Hierarchical Failure Recovery Algorithm Ensuring Semantic Atomicity for Workflow Applications. Search on Bibsonomy WAIM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Claudio Masolo, Laure Vieu Atomicity vs. Infinite Divisibility of Space. Search on Bibsonomy COSIT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ontology of space, axiomatic theories of space, qualitative spatial reasoning, spatial data representation
37Yong-Jik Kim, James H. Anderson Adaptive mutual exclusion with local spinning. Search on Bibsonomy Distributed Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Adaptive mutual exclusion, Read/write atomicity, Time complexity, Shared-memory systems, Local spinning
37Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward, Eric Russell, Neil Pundit Scalable Design and Implementations for MPI Parallel Overlapping I/O. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF atomic I/O, file atomicity, file consistency, overlapping I/O, MPI, cache coherence, MPI I/O
37Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger Anonymous Payment in a Fair E-Commerce Protocol with Verifiable TTP. Search on Bibsonomy TrustBus The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Electronic coins, Anonymity, Atomicity, Fair exchange, Verifiability
37Sandeep S. Kulkarni, Umamaheswaran Arumugam Transformations for Write-All-with-Collision Model. Search on Bibsonomy OPODIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Model conversions, Preserving stabilization, Atomicity refinement, Write-all-with-collision model, Read/Write model
37Jeannette M. Wing Verifying Atomic Data Types. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
35Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney Atomicity failure and the retrenchment atomicity pattern. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35David B. Lomet Transactions: From Local Atomicity to Atomicity in the Cloud. Search on Bibsonomy Dependable and Historic Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
33Naveen Neelakantam, David R. Ditzel, Craig B. Zilles A real system evaluation of hardware atomicity for software speculation. Search on Bibsonomy ASPLOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF optimization, checkpoint, atomicity, speculation, dynamic translation
33Yong Li, Yu Zhang, Yiyun Chen, Ming Fu On the Verification of Strong Atomicity in Programs Using STM. Search on Bibsonomy SSIRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transactional memory, proof-carrying code, strong atomicity
33Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan, Craig B. Zilles Hardware Atomicity: An Effective Abstraction for Reliable Software Speculation. Search on Bibsonomy IEEE Micro The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, optimization, architecture, compiler, checkpoint, atomicity, speculation, isolation, compiler-architecture interactions
33Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer Types for atomicity: Static checking and inference for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, concurrent programs, type inference, Atomicity
33Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc Practical weak-atomicity semantics for java stm. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weak atomicity, java, transactional memory, memory models, programming language semantics
33Ajay D. Kshemkalyani Causality and Atomicity in Distributed Computations. Search on Bibsonomy Distributed Computing The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Distributed system, Concurrency, Distributed computation, Synchronization, Time, Atomicity, Causality, Global predicates
32Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis Self-stabilizing minimum-degree spanning tree within one from the optimal degree. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Charles P. Wright, Richard P. Spillane, Gopalan Sivathanu, Erez Zadok Extending ACID semantics to the file system. Search on Bibsonomy TOS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF File system transactions, ptrace monitors, recoverable memory, databases, file systems
32Nancy A. Lynch, Alexander A. Shvartsman RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks. Search on Bibsonomy DISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Shlomi Dolev, Ted Herman Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 670 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license