Search results for "Atomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
100	Injong Rhee	Optimizing a FIFO, scalable spin lock using consistent memory.	RTSS	1996	DBLP DOI BibTeX RDF	FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations
65	Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani	Inferring locks for atomic sections.	PLDI	2008	DBLP DOI BibTeX RDF	atomic sections, static lock inference, concurrency
65	Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer	Autolocker: synchronization inference for atomic sections.	POPL	2006	DBLP DOI BibTeX RDF	pessimistic, atomic, lock
64	Jim Gray 0001	A View of Database System Performance Measures.	SIGMETRICS	1987	DBLP DOI BibTeX RDF
64	David Hovemeyer, William W. Pugh, Jaime Spacco	Atomic Instructions in Java.	ECOOP	2002	DBLP DOI BibTeX RDF
61	Ahmad Hanif Ahmad Baharin, Ralf Mühlberger	Living with the sound of the past: experiencing sonic atomic interaction using the sound diary.	CHINZ	2009	DBLP DOI BibTeX RDF	atomic interaction, first-person research, sonic atomic interaction, sonification, earcons, auditory icons
61	Achour Mostéfaoui, Michel Raynal	Low cost consensus-based Atomic Broadcast.	PRDC	2000	DBLP DOI BibTeX RDF	distrbuted processing, Consensus-based Atomic Broadcast protocol, fault-tolerant, protocols, fault tolerant computing, Consensus, Atomic Broadcast, fault-tolerant distributed systems
59	Brian N. Bershad, David D. Redell, John R. Ellis	Fast Mutual Exclusion for Uniprocessors.	ASPLOS	1992	DBLP DOI BibTeX RDF
54	Tim Harris 0001	Language constructs for transactional memory.	POPL	2009	DBLP DOI BibTeX RDF	atomic blocks, transactional memory, stm
54	Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer	Dynamic atomic storage without consensus.	PODC	2009	DBLP DOI BibTeX RDF	atomic storage, dynamic systems, shared-memory emulations
54	Bettina Kemme, Fernando Pedone, Gustavo Alonso, André Schiper, Matthias Wiesmann	Using Optimistic Atomic Broadcast in Transaction Processing Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	optimistic processing, transaction processing, atomic broadcast, Replicated databases
54	Lefteris M. Kirousis, Evangelos Kranakis, Paul M. B. Vitányi	Atomic Multireader Register.	WDAG	1987	DBLP DOI BibTeX RDF	regular, atomic, Register, reader, writer, shared register
52	Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip	Dynamic detection of atomic-set-serializability violations.	ICSE	2008	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming
52	Rachid Guerraoui, André Schiper	Genuine Atomic Multicast.	WDAG	1997	DBLP DOI BibTeX RDF
52	Stephen W. Melvin, Yale N. Patt	Performance benefits of large execution atomic units in dynamically scheduled machines.	ICS	1989	DBLP DOI BibTeX RDF
50	Damien Imbs, Michel Raynal	Help When Needed, But No More: Efficient Read/Write Partial Snapshot.	DISC	2009	DBLP DOI BibTeX RDF	LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system
49	Jim X. Chen, Harry Wechsler, Jian Cui	Image-Based Fast Small Triangle Rasterization.	ICAT	2006	DBLP DOI BibTeX RDF	Atomic primitives, pixmaps, rasterization, bitmaps, triangles, image-based
48	Michel Raynal, Matthieu Roy	Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.	PaCT	2005	DBLP DOI BibTeX RDF	Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability
48	Partha Dutta, Rachid Guerraoui, Ron R. Levy, Arindam Chakraborty	How fast can a distributed atomic read be?	PODC	2004	DBLP DOI BibTeX RDF	time-complexity, atomic registers, shared-memory emulation
48	Luís E. T. Rodrigues, Michel Raynal	Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	crash/recovery, consensus, asynchronous systems, quorum, atomic broadcast, weighted voting, replica management, Distributed fault-tolerance
48	Bettina Kemme, Fernando Pedone, Gustavo Alonso, André Schiper	Processing Transactions over Optimistic Atomic Broadcast Protocols.	ICDCS	1999	DBLP DOI BibTeX RDF	Optimistic Processing, Replication, Transactions, Group Communication, Atomic Broadcast
48	Andrew M. Tyrrell, Geof F. Carpenter	CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	fault tolerance, CSP, concurrent systems, Atomic actions
46	Siyuan Xin, Xingyuan Chen, Huilin Tang, Ning Zhu	Research on DoS Atomic Attack Oriented to Attack Resistance Test.	ICNSC	2008	DBLP DOI BibTeX RDF
46	Wojciech Mostowski	Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.	FM	2006	DBLP DOI BibTeX RDF
46	Sergio Mena, André Schiper	A new look at atomic broadcast in the asynchronous crash-recovery model.	SRDS	2005	DBLP DOI BibTeX RDF
46	Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot	Entailment of Atomic Set Constraints is PSPACE-Complete.	LICS	1999	DBLP DOI BibTeX RDF
46	John Tromp	How to Construct an Atomic Variable (Extended Abstract).	WDAG	1989	DBLP DOI BibTeX RDF
43	Weijia Jia 0001, Jiannong Cao 0001, Edgar Nett, Jörg Kaiser	A high performance reliable atomic group protocol.	ICPADS	1996	DBLP DOI BibTeX RDF	high performance reliable atomic group protocol, group communication multicast protocol, single logical-clock token ring approach, multicast messages, optimized fault-tolerant algorithms, process failures, message total ordering, atomic delivery, fault tolerant computing, message passing, local area networks, local area network, transport protocols, atomicity, network partitioning, total ordering, token networks
43	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
43	Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud	Data consistency in a distributed persistent object system.	HICSS (2)	1995	DBLP DOI BibTeX RDF	distributed persistent object system, atomic data type, PC++, conflict relationship, object operations, recovery code, object-oriented programming, data integrity, distributed databases, concurrency control, object-oriented databases, synchronisation, synchronisation, abstract data types, data consistency, persistent system
42	Michael A. Bender, Haodong Hu, Bradley C. Kuszmaul	Performance guarantees for B-trees with different-sized atomic keys.	PODS	2010	DBLP DOI BibTeX RDF	B-tree with different-sized keys, atomic keys, dynamic programming
42	Yousef J. Al-Houmaily, Panos K. Chrysanthis	1-2PC: the one-two phase atomic commit protocol.	SAC	2004	DBLP DOI BibTeX RDF	Internet transactions, atomic commit protocol
42	John Derrick, Heike Wehrheim	Using Coupled Simulations in Non-atomic Refinement.	ZB	2003	DBLP DOI BibTeX RDF	Non-atomic refinement, coupled simulations, Z, action refinement
42	Peter T. Johnstone	An "Unsitely" Result on Atomic Morphisms.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	atomic morphism, topos theory
42	Carole Delporte-Gallet, Hugues Fauconnier	Real-Time Fault-Tolerant Atomic Broadcast.	SRDS	1999	DBLP DOI BibTeX RDF	real-time distributed algorithms, fault-tolerance, atomic broadcast, partial synchrony
42	Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda	The Elusive Atomic Register.	J. ACM	1994	DBLP DOI BibTeX RDF	linearizability, atomic register, wait-free synchronization
42	Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit	Atomic Snapshots of Shared Memory.	J. ACM	1993	DBLP DOI BibTeX RDF	consistent state, fault-tolerance, atomic, snapshot
41	César Andrés, Carlos Molinero, Manuel Núñez 0001	A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.	ICCS (1)	2009	DBLP DOI BibTeX RDF
41	Tim Harris 0001, Mark Plesko, Avraham Shinnar, David Tarditi	Optimizing memory transactions.	PLDI	2006	DBLP DOI BibTeX RDF	critical regions, transactional memory, atomicity
41	Gail E. Kaiser	Concurrent meld.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	MELD
40	Nicolas Schiper, Fernando Pedone	On the Inherent Cost of Atomic Broadcast and Multicast in Wide Area Networks.	ICDCN	2008	DBLP DOI BibTeX RDF
40	Nicolas Schiper, Fernando Pedone	Solving Atomic Multicast When Groups Crash.	OPODIS	2008	DBLP DOI BibTeX RDF
40	Rachid Guerraoui, Michel Raynal	From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus.	PaCT	2007	DBLP DOI BibTeX RDF
40	Chryssis Georgiou, Nicolas C. Nicolaou, Alexander A. Shvartsman	Brief Announcement: Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers.	DISC	2006	DBLP DOI BibTeX RDF
40	Lisa Higham, Colette Johnen	Relationships between communication models in networks using atomic registers.	IPDPS	2006	DBLP DOI BibTeX RDF
40	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans	Nomad: A Security Model with Non Atomic Actions and Deadlines.	CSFW	2005	DBLP DOI BibTeX RDF
40	Richard Ekwall, André Schiper, Péter Urbán	Token-based Atomic Broadcast using Unreliable Failure Detectors.	SRDS	2004	DBLP DOI BibTeX RDF
40	Rachid Guerraoui	Atomic Object Composition.	ECOOP	1994	DBLP DOI BibTeX RDF
40	Irene Greif, Robert Seliger, William E. Weihl	Atomic Data Abstractions in a Distributed Collaborative Editing System.	POPL	1986	DBLP DOI BibTeX RDF
38	Rachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Rui Carlos Oliveira, Michel Raynal, André Schiper	Consensus in Asynchronous Distributed Systems: A Concise Guided Tour.	Advances in Distributed Systems	1999	DBLP DOI BibTeX RDF	Crash/no Recovery, Crash/Recovery, Consensus, Asynchronous Distributed Systems, Atomic Broadcast, Atomic Commitment
38	Maged M. Michael, Michael L. Scott	Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors.	IPPS	1997	DBLP DOI BibTeX RDF	relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures
37	Hisham Haddad, Herbert Tesser	Reusable subsystems: domain-based approach.	SAC	2002	DBLP DOI BibTeX RDF	atomic domain, domain-based reuse methodologies, reusable subsystems, wrapper
37	Jeannette M. Wing	Using Larch to Specify Avalon/C++ Objects.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch
36	Chryssis Georgiou, Nikolas Hadjiprocopiou, Peter M. Musial	Evaluating a Dependable Sharable Atomic Data Service on a Planetary-Scale Network.	ICA3PP	2009	DBLP DOI BibTeX RDF	Atomic Memory Service, Planetary Scale Experiments, Provable Guarantees, Performance Evaluation, Distributed Architecture
36	Udo Bartlang, Jörg P. Müller	DhtFlex: A Flexible Approach to Enable Efficient Atomic Data Management Tailored for Structured Peer-to-Peer Overlays.	ICIW	2008	DBLP DOI BibTeX RDF	dhtflex, p2p, atomic operations, dht
36	Olivier Rütti, Sergio Mena, Richard Ekwall, André Schiper	On the Cost of Modularity in Atomic Broadcast.	DSN	2007	DBLP DOI BibTeX RDF	microprotocols, performance cost, experimental evaluation, modular design, atomic broadcast
36	Eun-A Jun, Seok Won Jung, Jeom Goo Kim, Jong In Lim 0001	Efficient an Implementation Method Research of a Smart Card Atomic Operation.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	Card Operating System (COS), Data integrity, Atomic operation
36	Kenneth B. Russell, David Detlefs	Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing.	OOPSLA	2006	DBLP DOI BibTeX RDF	rebias, revoke, Java, optimization, synchronization, monitor, atomic, lock, bias, reservation
36	Rida A. Bazzi, Yin Ding	Bounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients.	DISC	2006	DBLP DOI BibTeX RDF	Fault Tolerance, Replication, Atomic, Timestamps, Wait-Free, Byzantine
36	Tongjun Li	On Axiomatic Characterization of Approximation Operators Based on Atomic Boolean Algebras.	RSKT	2006	DBLP DOI BibTeX RDF	atomic Boolean algebras, rough sets, mappings, Approximation operators
36	Roy Friedman, Michel Raynal, Corentin Travers	Two Abstractions for Implementing Atomic Objects in Dynamic Systems.	OPODIS	2005	DBLP DOI BibTeX RDF	Atomic object, Distributed system, Shared memory, Dynamic system, Server, Quorum, Crash failures, Communication primitive
36	Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal	An Optimal Atomic Broadcast Protocol and an Implementation Framework.	WORDS	2003	DBLP DOI BibTeX RDF	Communication Step, Notifying Broadcast, Consensus, Asynchronous Distributed System, Crash Failure, Atomic Broadcast, Reliable Broadcast
36	Kai Brünnler	Atomic Cut Elimination for classical Logic.	CSL	2003	DBLP DOI BibTeX RDF	atomic cut, sequent calculus, cut elimination, natural deduction, classical logic
36	Kiyokuni Kawachiya, Akira Koseki, Tamiya Onodera	Lock reservation: Java locks can mostly do without atomic operations.	OOPSLA	2002	DBLP DOI BibTeX RDF	thread locality, Java, synchronization, monitor, lock, reservation, atomic operation
36	Paul C. Attie, E. Allen Emerson	Synthesis of concurrent programs for an atomic read/write model of computation.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	specification, temporal logic, concurrent programs, program synthesis, atomic registers
36	Beverly A. Sanders	Using atomic await commands to develop concurrent programs in Java.	Softw. Concepts Tools	2000	DBLP DOI BibTeX RDF	Atomic await, Java, Concurrent programming
36	Andy J. Wellings, Alan Burns 0001	Implementing Atomic Actions in Ada 95.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	exception handling, conversations, Software fault tolerance, Ada 95, atomic actions, recovery blocks
36	Lefteris M. Kirousis, Paul G. Spirakis, Philippas Tsigas	Reading Many Variables in One Atomic Operation: Solutions with Linear or Sublinear Complexity.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	sublinear complexity, deterministic protocol, memory location, Archimedean time assumption, computational complexity, protocols, distributed algorithms, time complexity, probabilistic algorithm, linear complexity, space complexity, atomic operation
36	Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox	Dynamic Synchrony Among Atomic Actions.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	dynamicsynchrony, Swarm notation, leader election problem, concurrencycontrol, parallel programming, synchronization, concurrent programming, atomic actions, concurrent algorithm, sequential processes
35	Naveen Neelakantam, David R. Ditzel, Craig B. Zilles	A real system evaluation of hardware atomicity for software speculation.	ASPLOS	2010	DBLP DOI BibTeX RDF	optimization, checkpoint, atomicity, speculation, dynamic translation
35	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
35	António Luís Pinto Ferreira de Sousa, Rui Oliveira 0001, Francisco Moura, Fernando Pedone	Partial Replication in the Database State Machine.	NCA	2001	DBLP DOI BibTeX RDF
34	Ferad Zyulkyarov, Tim Harris 0001, Osman S. Unsal, Adrián Cristal, Mateo Valero	Debugging programs that use atomic blocks and transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	debugging, transactional memory
34	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Single global lock semantics in a weakly atomic STM.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	Java
34	Sang-Hack Jung, Yanlin Guo, Harpreet S. Sawhney, Rakesh Kumar 0001	Action video retrieval based on atomic action vocabulary.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	action video, video retrieval, action recognition
34	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng	Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	model checking, formal method, timed automaton
34	Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch	GeoQuorums: implementing atomic memory in mobile ad hoc networks.	Distributed Comput.	2005	DBLP DOI BibTeX RDF	Dynamic distributed algorithms, Fault-tolerance, Ad hoc networks, Mobile networks, Location-aware
34	Dominic St-Jacques, Thomas Boitani, Pierre-Alain Dumas, Marc-Antoine Ducas, Marc-Antoine Fortin, Sylvain Martel	Atomic-scale Positioning Reference Grid System for Miniature Robots with Embedded Scanning Tunnelling Capability.	ICRA	2004	DBLP DOI BibTeX RDF
34	Yousef J. Al-Houmaily, Panos K. Chrysanthis	ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol.	ADBIS	2004	DBLP DOI BibTeX RDF
34	Andrew G. Fry	Expressing Database Transactions as Atomic-Operations.	IDEAS	2003	DBLP DOI BibTeX RDF
34	Luís E. T. Rodrigues, Michel Raynal	Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems.	ICDCS	2000	DBLP DOI BibTeX RDF	Distributed Fault Tolerant Systems, Distributed Algorithms, Communication Protocols
34	Fernando Pedone, Rachid Guerraoui, André Schiper	Exploiting Atomic Broadcast in Replicated Databases.	Euro-Par	1998	DBLP DOI BibTeX RDF
34	Matt Blaze, Gerrit Bleumer, Martin Strauss 0001	Divertible Protocols and Atomic Proxy Cryptography.	EUROCRYPT	1998	DBLP DOI BibTeX RDF
34	Robert J. Stroud, Zhixue Wu	Using Metaobject Protocols to Implement Atomic Data Types.	ECOOP	1995	DBLP DOI BibTeX RDF
34	Michael K. Reiter	Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart.	CCS	1994	DBLP DOI BibTeX RDF
34	Jeannette M. Wing	Verifying Atomic Data Types.	REX Workshop	1989	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
34	Stephen W. Melvin, Michael Shebanow, Yale N. Patt	Hardware support for large atomic units in dynamically scheduled machines.	MICRO	1988	DBLP BibTeX RDF
34	David P. Reed	Implementing Atomic Actions on Decentralized Data.	SOSP	1979	DBLP DOI BibTeX RDF
34	Warren A. Montgomery	Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data.	SOSP	1979	DBLP DOI BibTeX RDF
33	Xavier Défago, André Schiper, Péter Urbán	Total order broadcast and multicast algorithms: Taxonomy and survey.	ACM Comput. Surv.	2004	DBLP DOI BibTeX RDF	atomic multicast, global ordering, fault-tolerance, classification, Distributed systems, distributed algorithms, message passing, survey, taxonomy, group communication, atomic broadcast, total ordering, agreement problems
33	Issei Fujishiro, Yuji Maeda, Hiroshi Sato	Interval Volume: A Solid Fitting Technique for Volumetric Data Display and Analysis.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	atomic collisions, solid fitting technique, volumetric data display, volumetric data analysis, 3D subvolumes, field values, closed interval, dominant surface fitting algorithm, marching cubes algorithm, volumetric dataset, high-resolution polyhedral solid data structure extraction, rendering methods, 4D simulated data, atomic collisions, geometric model, data analysis, solid modelling, data visualisation, isosurfaces, surface fitting, physics computing, rendering (computer graphics), interval volume
31	Edson Borin, Youfeng Wu, Cheng Wang 0013, Wei Liu 0014, Maurício Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner	TAO: two-level atomicity for dynamic binary optimizations.	CGO	2010	DBLP DOI BibTeX RDF	atomic execution, dynamic binary optimization, large region optimization, hardware/software co-design
31	Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar	May-happen-in-parallel analysis of X10 programs.	PPoPP	2007	DBLP DOI BibTeX RDF	may-happen-in-parallel, parallel program analysis, concurrent, atomic, activity, place, X10
31	Fernando Pedone, Rachid Guerraoui, André Schiper	The Database State Machine Approach.	Distributed Parallel Databases	2003	DBLP DOI BibTeX RDF	state machine approach, synchronous replication, transaction processing, atomic broadcast, database replication, optimistic concurrency control
31	Martin C. Rinard	Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	atomic operations commutativity analysis, parallel computing, synchronization, parallelizing compilers, optimistic synchronization
31	Mark C. Little, Stuart M. Wheater, David B. Ingham, C. Richard Snow, Harry Whitfield, Santosh K. Shrivastava	The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components.	Advances in Distributed Systems	1999	DBLP DOI BibTeX RDF	available systems, fault-tolerance, distributed system, replication, atomic transactions
31	Hagit Attiya, Amotz Bar-Noy, Danny Dolev	Sharing Memory Robustly in Message-Passing Systems.	J. ACM	1995	DBLP DOI BibTeX RDF	processor and link failures, fault-tolerance, message passing, shared memory, emulation, atomic registers, wait-freedom
31	Rita V. Rodríguez	A relativistic temporal algebra for efficient design of distributed systems.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Atomic relation, incomparable events, interval temporal model, relativistic space-time, temporal algebra, distributed system, relation algebra
30	Lasse Kliemann, Anand Srivastav	Models of Non-atomic Congestion Games - From Unicast to Multicast Routing.	Algorithmics of Large and Complex Networks	2009	DBLP DOI BibTeX RDF	non-atomic congestion games, Wardrop model, unicast routing, multicast routing, price of anarchy
30	Piotr Zielinski	Low-latency atomic broadcast in the presence of contention.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Generic Broadcast, Synchronized clocks, Fault-tolerance, Atomic Broadcast