Get started
Keyword

atomicity

Description: A property of operations in computing whereby an operation is treated as indivisible, completing entirely or having no effect.
Wikidata ID: wiki/Q3306359
OpenAlex ID: keywords/atomicity
Software transactional memory
1995 · Nir Shavit, Dan Touitou · 1,225
PDF
The transaction concept: virtues and limitations
1988 · Jim Gray · 600
Counting and the Mass/Count Distinction
2010 · S. Rothstein · Journal of Semantics · 417
Atomizer
2004 · Cormac Flanagan, Stephen N Freund · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 409
Amoeba: a distributed operating system for the 1990s
1990 · S.J. Mullender, G. van Rossum, et al. · Computer · 406
PDF
Exception handling in workflow management systems
2000 · C. Hagen, G. Alonso · IEEE Transactions on Software Engineering · 309
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
2018 · Ilya Grishchenko, Matteo Maffei, et al. · Lecture notes in computer science · 307
PDF
A type and effect system for atomicity
2003 · Cormac Flanagan, Shaz Qadeer · ACM SIGPLAN Notices · 306
Java Card? Technology for Smart Cards: Architecture and Programmer's Guide
2000 · Zhiqun Chen · CERN Document Server (European Organization for Nuclear Research) · 301
[14] Automated refinement for protein crystallography
1997 · Victor S. Lamzin, Keith S. Wilson · Methods in enzymology on CD-ROM/Methods in enzymology · 270
High-performance concurrency control mechanisms for main-memory databases
2011 · Per-Åke Larson, Spyros Blanas, et al. · Proceedings of the VLDB Endowment · 263
PDF
PACER
2010 · Michael D. Bond, Katherine E. Coons, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 253
Weak ordering---a new definition
1990 · Sarita V. Adve, Mark D. Hill · Proceedings - International Symposium on Computer Architecture/Proceedings · 246
A type and effect system for atomicity
2003 · Cormac Flanagan, Shaz Qadeer · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 241
Web Services and Business Transactions
2003 · Michael P. Papazoglou · World Wide Web · 231
PDF
Concepts and applications of multilevel transactions and open nested transactions
1992 · Gerhard Weikum, Hans-J. Schek · 227
The transaction concept: virtues and limitations (invited paper)
1981 · Jim Gray · Very Large Data Bases · 222
Entanglement witnesses: construction, analysis and classification
2014 · Dariusz Chruściński, Gniewomir Sarbicki · Journal of Physics A Mathematical and Theoretical · 214
PDF
SoK: Decentralized Finance (DeFi) Attacks
2023 · Liyi Zhou, Xihan Xiong, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 209
PDF
Immediate atomic snapshots and fast renaming
1993 · Elizabeth Borowsky, Eli Gafni · ACM Symposium on Principles of Distributed Computing (PODC) · 206
Theoretical foundations for compensations in flow composition languages
2005 · Roberto Bruni, Hernán Melgratti, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 200
High‐level data races
2003 · Cyrille Artho, Klaus Havelund, et al. · Software Testing Verification and Reliability · 190
PDF
Randomized active atomicity violation detection in concurrent programs
2008 · Chang-Seo Park, Koushik Sen · ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) · 183
Lightweight recoverable virtual memory
1993 · M. Satyanarayanan, Henry H. Mashburn, et al. · 172
Runtime analysis of atomicity for multithreaded programs
2006 · L. Wang, S.D. Stoller · IEEE Transactions on Software Engineering · 171
Works count: 2,311
Citation count: 24,990
Year
Topic
Type