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 (20) 1990-1991 (16) 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 (58) 2007 (43) 2008 (49) 2009 (63) 2010 (30) 2011 (17) 2012 (15) 2013-2015 (21) 2016 (15) 2017-2018 (20) 2019-2021 (20) 2022-2024 (14)
Publication types (Num. hits)
article(188) incollection(5) inproceedings(509) phdthesis(5) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 865 occurrences of 426 keywords

Results
Found 709 publication records. Showing 709 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
132Chang-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
112Florian T. Schneider, Vijay Menon 0002, 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
112Liqiang 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
112Liqiang 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
106Chunyang 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
102Amit 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
97Serdar Tasiran, Tayfun Elmas Rollback Atomicity. Search on Bibsonomy RV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
93Shan Lu 0001, Joseph A. 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
87Soyeon Park, Shan Lu 0001, 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
87Yu 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
87Milo M. K. Martin, Colin Blundell, E Christopher Lewis Subtleties of Transactional Memory Atomicity Semantics. Search on Bibsonomy IEEE Comput. Archit. Lett. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
83Martí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
83Cormac 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
83Chunyang Ye, S. C. Cheung 0001, 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
83Rahul 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
83Cormac 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
83Cormac 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
80Tatiana Shpeisman, Vijay Menon 0002, 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
77Azadeh 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
77L. 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
77Aidong 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
77William 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
74Gerhard 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
74Gerhard 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
73Lee 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
73Brandon 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
73Chunyang Ye, S. C. Cheung 0001, 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
73Cormac 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
73Cormac 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
68Jie 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
68Rachid Guerraoui Atomic Object Composition. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
67Qichang Chen, Liqiang Wang, Zijiang Yang 0006, 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
67Azadeh Farzan, P. Madhusudan Monitoring Atomicity in Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
67Zongtao 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
67Azadeh Farzan, P. Madhusudan Causal Atomicity. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Jaeheon 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
63Chunyang Ye, S. C. Cheung 0001, 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
63Luis-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
58Ajay 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
58Alberto 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
58Hon 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
58Arvind, Jan-Willem Maessen Memory Model = Instruction Reordering + Store Atomicity. Search on Bibsonomy ISCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
58Cormac Flanagan Verifying Commit-Atomicity Using Model-Checking. Search on Bibsonomy SPIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Cormac 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
58Wei-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
58Shouhuai Xu, Moti Yung, Gendu Zhang, Hong Zhu 0004 Money Conservation via Atomicity in Fair Off-Line E-Cash. Search on Bibsonomy ISW The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
58Lefteris 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
55Cliff 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
55Calton 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
55Cliff 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
55Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. 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
55Tatiana 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
55Jie 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 0001, Joseph A. 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
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
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
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
49Robert 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
48Gautam 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
48Azadeh Farzan, P. Madhusudan The Complexity of Predicting Atomicity Violations. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Rachid Guerraoui, Marko Vukolic A Scalable and Oblivious Atomicity Assertion. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Liqiang 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
48Xiaoning 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
48Gregory 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
48John 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
48Mikhail Nesterenko, Anish Arora Stabilization-Preserving Atomicity Refinement. Search on Bibsonomy DISC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Paul Ammann, Sushil Jajodia, Indrakshi Ray Ensuring Atomicity of Multilevel Transactions. Search on Bibsonomy S&P The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Alan D. 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
45Tao Huang 0001, Xiaoning Ding, Jun Wei 0001 An application-semantics-based relaxed transaction model for internetware. Search on Bibsonomy Sci. China Ser. F Inf. Sci. 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 0003, 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
39Rachid 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
38Debmalya Biswas, Ashwin Jiwane, Blaise Genest Atomicity for XML Databases. Search on Bibsonomy XSym The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Zdenek 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
38Richard 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
38Yi 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
38Sé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
38Claudio 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
37Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney Atomicity failure and the retrenchment atomicity pattern. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
37David 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
35Yong-Jik Kim, James H. Anderson Adaptive mutual exclusion with local spinning. Search on Bibsonomy Distributed Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Adaptive mutual exclusion, Read/write atomicity, Time complexity, Shared-memory systems, Local spinning
35Wei-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 Distributed 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
35Magdalena 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
35Sandeep 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
35Jeannette 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
34Naveen 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
34Yong Li, Yu Zhang 0086, 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
34Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, 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
34Cormac 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
34Vijay Menon 0002, 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
34Ajay D. Kshemkalyani Causality and Atomicity in Distributed Computations. Search on Bibsonomy Distributed Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Distributed system, Concurrency, Distributed computation, Synchronization, Time, Atomicity, Causality, Global predicates
31Katherine F. Moore, Dan Grossman High-level small-step operational semantics for transactions. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity
31William E. Weihl Commutativity-Based Concurrency Control for Abstract Data Types. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial
29Caitlin 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
29Lé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
29Charles P. Wright, Richard P. Spillane, Gopalan Sivathanu, Erez Zadok Extending ACID semantics to the file system. Search on Bibsonomy ACM Trans. Storage The full citation details ... 2007 DBLP  DOI  BibTeX  RDF File system transactions, ptrace monitors, recoverable memory, databases, file systems
Displaying result #1 - #100 of 709 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license