Search results for "atomicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Nancy A. Lynch, Alexander A. Shvartsman	RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks.	DISC	2002	DBLP DOI BibTeX RDF
29	Shlomi Dolev, Ted Herman	Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments.	WSS	2001	DBLP DOI BibTeX RDF
29	Jari Veijalainen	Transactions in Mobile Electronic Commerce.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
29	Maurice Herlihy	Concurrency and Availability as Dual Properties of Replicated Atomic Data	J. ACM	1990	DBLP DOI BibTeX RDF
29	Baruch Awerbuch, Lefteris M. Kirousis, Evangelos Kranakis, Paul M. B. Vitányi	A Proof Technique for Register Automicity.	FSTTCS	1988	DBLP DOI BibTeX RDF
28	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
28	Saba Sehrish, Jun Wang 0001, Rajeev Thakur	Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity.	PVM/MPI	2009	DBLP DOI BibTeX RDF
28	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
28	Martín Abadi	Automatic Mutual Exclusion and Atomicity Checks.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Dave Cunningham, Khilan Gudka, Susan Eisenbach	Keep Off the Grass: Locking the Right Path for Atomicity.	CC	2008	DBLP DOI BibTeX RDF
28	Wim H. Hesselink	A criterion for atomicity revisited.	Acta Informatica	2007	DBLP DOI BibTeX RDF
28	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.	SSS	2007	DBLP DOI BibTeX RDF	Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis
28	Debmalya Biswas, Il-Gon Kim	Atomicity for P2P based XML Repositories.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
28	Suresh Jagannathan	Weaving Atomicity Through Dynamic Dependence Tracking.	IPDPS	2007	DBLP DOI BibTeX RDF
28	John Regehr, Nathan Cooprider, David Gay	Atomicity and visibility in tiny embedded systems.	PLOS	2006	DBLP DOI BibTeX RDF
28	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Fair Exchange to Achieve Atomicity in Payments of High Amounts Using Electronic Cash.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
28	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Fair Exchange to Achieve Atomicity in Payments of High Amounts Using Electronic Cash.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
28	Wim H. Hesselink	An assertional criterion for atomicity.	Acta Informatica	2002	DBLP DOI BibTeX RDF
28	Heiko Schuldt, Gustavo Alonso, Catriel Beeri, Hans-Jörg Schek	Atomicity and isolation for transactional processes.	ACM Trans. Database Syst.	2002	DBLP DOI BibTeX RDF	execution guarantees, rocesses, semantically rich transactions, unified theory of concurrency control and recovery, electronic commerce, business process management, locking, transactional workflows, Advanced transaction models
28	Isao Kaji, Kinji Mori	Atomicity of Transaction Processing in Heterogeneous Autonomous Decentralized System.	ISADS	1999	DBLP DOI BibTeX RDF
28	Divyakant Agrawal, John L. Bruno, Amr El Abbadi, Vasudha Krishnaswamy	Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions.	PODS	1994	DBLP DOI BibTeX RDF
28	Ambuj K. Singh	An Axiomatization of Wait-Freedom and Low-Atomicity.	ICCI	1990	DBLP DOI BibTeX RDF
28	Ralph-Johan Back	A Method for Refining Atomicity in Parallel Algorithms.	PARLE (2)	1989	DBLP DOI BibTeX RDF
25	Jaeheon Yi, Cormac Flanagan	Effects for cooperable and serializable threads.	TLDI	2010	DBLP DOI BibTeX RDF	atomicity, yield, race conditions, effect system
25	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE (1)	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
25	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	A calculus of atomic actions.	POPL	2009	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
25	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
25	Yossi Lev, Jan-Willem Maessen	Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	transactional memory, atomicity, nesting
25	Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar	Lock allocation.	POPL	2007	DBLP DOI BibTeX RDF	lock inference, atomicity, ILP
25	Vincent Gramoli, Michel Raynal	Timed Quorum Systems for Large-Scale and Dynamic Environments.	OPODIS	2007	DBLP DOI BibTeX RDF	Probabilistic atomicity, Scalability, Time, Quorums, Churn
25	Tim Harris 0001, Mark Plesko, Avraham Shinnar, David Tarditi	Optimizing memory transactions.	PLDI	2006	DBLP DOI BibTeX RDF	critical regions, transactional memory, atomicity
25	M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas	A classification of concurrency bugs in java benchmarks by developer intent.	PADTAD	2006	DBLP DOI BibTeX RDF	concurrency errors, verification, refinement, atomicity, race condition
25	Pawel T. Wojciechowski	A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties.	SC@ETAPS	2006	DBLP DOI BibTeX RDF	lambda and object calculi, atomicity, dynamic binding
25	Jian Tang 0001, Ada Wai-Chee Fu, Jari Veijalainen	Supporting Dispute Handling in E-Commerce Transactions, a Framework and Related Methodologies.	Electron. Commer. Res.	2004	DBLP DOI BibTeX RDF	merchant, protocol, E-commerce, transaction, customer, atomicity, arbiter, dispute
25	Pradeep Varakantham, Santosh Kumar Gangwani, Kamalakar Karlapalem	On handling component and transaction failures in multi agent systems.	SIGecom Exch.	2002	DBLP DOI BibTeX RDF	atomicity in agents, durability in agents, logging in agents, recovery in agents, Internet, multi agent system, agent
25	James H. Anderson, Yong-Jik Kim	A new fast-path mechanism for mutual exclusion.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Fast mutual exclusion, Read/write atomicity, Scalability, Shared memory, Local spinning
25	Philippe Pucheral, Luc Bouganim, Patrick Valduriez, Christophe Bobineau	PicoDBMS: Scaling down database techniques for the smartcard.	VLDB J.	2001	DBLP DOI BibTeX RDF	Smartcard applications, PicoDBMS, Query optimization, Atomicity, Execution model, Storage model, Durability
25	Kaisa Sere, Marina Waldén	Data Refinement of Remote Procedures.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Remote procedures, Atomicity refinement, Action systems
25	Yih-Kuen Tsay	Deriving a Scalable Algorithm for Mutual Exclusion.	DISC	1998	DBLP DOI BibTeX RDF	read/write atomicity, scalability, refinement, mutual exclusion, local spins
25	Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad	From serializable to causal transactions for collaborative applications.	EUROMICRO	1997	DBLP DOI BibTeX RDF	serializable transactions, causal transactions, decentralized distributed systems, shared distributed objects, consistency criteria, execution behaviour, failure atomicity, long-lived objects, causal serializability, service quality constraints, fault tolerance, performance, protocols, groupware, availability, cooperative work, autonomy, collaborative applications, concurrent access, operating system support, synchronization constraints, causal consistency
25	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
25	Ramesh Gupta, Jayant R. Haritsa, Krithi Ramamritham, S. Seshadri	Commit processing in distributed real-time database systems.	RTSS	1996	DBLP DOI BibTeX RDF	transaction atomicity, firm-deadline distributed real-time database, uncommitted data, optimistic commit protocol, performance, distributed databases, workloads, simulation model, data distribution, system configurations, commit protocols, commit processing, distributed real-time database systems
25	Stephen P. Hufnagel, James C. Browne	Performance Properties of Vertically Partitioned Object-Oriented Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	object-oriented system design, object-oriented system implementation, vertically partitioned structure, application-independent overheads, conventionally organized systems, layered structures, extended type managers, object semantics, state management functions, object type, type manager boundaries, recovery points, distributed real-time system application, performance evaluation, performance evaluation, software engineering, object-oriented programming, atomicity, object-oriented systems, performance improvement, design concepts, vertical partitioning
25	Mogens Nielsen, Uffe Engberg, Kim S. Larsen	Fully abstract models for a process language with refinement.	REX Workshop	1988	DBLP DOI BibTeX RDF	change of atomicity, noninterleaved models, labelled partial orders, semiwords, concurrency, full abstraction
25	Jean-Pierre Briot, Akinori Yonezawa	Inheritance and Synchronization in Concurrent OOP.	ECOOP	1987	DBLP DOI BibTeX RDF	sub classing, code sharing, distributed systems, synchronization, message passing, inheritance, objects, knowledge sharing, atomicity, delegation, proxies, actors, classes, copy
19	Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun	Transactional predication: high-performance concurrent sets and maps for STM.	PODC	2010	DBLP DOI BibTeX RDF	concurrent map, semantic conflict detection, transactional predication, software transactional memory
19	Sebastian Obermeier 0001, Stefan Böttcher, Martin Hett, Panos K. Chrysanthis, George Samaras	Blocking reduction for distributed transaction processing within MANETs.	Distributed Parallel Databases	2009	DBLP DOI BibTeX RDF	Mobile transaction processing, Adjourn state, Mobile ad-hoc networks, Concurrency control, Validation, Locking, Atomic commit
19	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
19	Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka	Verification of Information Flow in Agent-Based Systems.	MCETECH	2009	DBLP DOI BibTeX RDF	Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic
19	Christoph Reichenbach, Devin Coughlin, Amer Diwan	Program Metamorphosis.	ECOOP	2009	DBLP DOI BibTeX RDF	Refactoring, Program Evolution
19	Tshoganetso Khachana, Anne E. James, Rahat Iqbal	Adaptive user defined transaction approach for CSCW.	CSCWD	2009	DBLP DOI BibTeX RDF
19	Rachid Guerraoui, Ron R. Levy, Bastian Pochon, Jim Pugh	The collective memory of amnesic processes.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	log complexity, Atomic registers, crash recovery, shared-memory emulation
19	Mark Thober, J. Aaron Pendergrass, C. Durward McDonell	Improving coherency of runtime integrity measurement.	STC	2008	DBLP DOI BibTeX RDF	LKIM, coherency, XEN, copy-on-write, integrity measurement
19	Doina Bein, Ajoy Kumar Datta, Chitwan K. Gupta, Lawrence L. Larmore	Local Synchronization on Oriented Rings.	SSS	2008	DBLP DOI BibTeX RDF	Local mutual exclusion, oriented ring, synchronization, transformer, self-stabilization
19	Brahim Ayari, Abdelmajid Khelil, Neeraj Suri	Delay-Aware Mobile Transactions.	SEUS	2008	DBLP DOI BibTeX RDF	mobile database systems, dependability, Transactions
19	Cliff B. Jones, Ken G. Pierce	Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.	ABZ	2008	DBLP DOI BibTeX RDF
19	Jing Li 0062, Huibiao Zhu, Jifeng He 0001	Specifying and Verifying Web Transactions.	FORTE	2008	DBLP DOI BibTeX RDF
19	Feng Chen 0006, Traian-Florin Serbanuta, Grigore Rosu	jPredictor: a predictive runtime analysis tool for java.	ICSE	2008	DBLP DOI BibTeX RDF	predictive runtime analysis, sliced causality, runtime verification
19	Jaswanth Sreeram, Romain Cledat, Tushar Kumar, Santosh Pande	RSTM : A Relaxed Consistency Software Transactional Memory for Multicores.	PACT	2007	DBLP DOI BibTeX RDF
19	Janna Burman, Shay Kutten	Time Optimal Asynchronous Self-stabilizing Spanning Tree.	DISC	2007	DBLP DOI BibTeX RDF
19	Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil	A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
19	Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers	Model checking for E-business control and assurance.	IEEE Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
19	Indrakshi Ray	Applying Semantic Knowledge to Real-Time Update of Access Control Policies.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
19	Sandeep S. Kulkarni, Ali Ebnenasir	The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance
19	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Theoretical foundations for compensations in flow composition languages.	POPL	2005	DBLP DOI BibTeX RDF	process description languages, transactions, compensations
19	Eric Mercer, Michael D. Jones	Model Checking Machine Code with the GNU Debugger.	SPIN	2005	DBLP DOI BibTeX RDF
19	Taoying Liu, Zhiwei Xu 0002, Ninghui Sun, Dan Meng	Destructive Transaction: Human-Oriented Cluster System Management Mechanism.	IPDPS	2005	DBLP DOI BibTeX RDF
19	Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby	Extending JML for Modular Specification and Verification of Multi-threaded Programs.	ECOOP	2005	DBLP DOI BibTeX RDF
19	Sami Bhiri, Claude Godart, Olivier Perrin 0001	Reliable Web Services Composition using a Transactional Approach.	EEE	2005	DBLP DOI BibTeX RDF
19	Vijay A. Saraswat, Radha Jagadeesan	Concurrent Clustered Programming.	CONCUR	2005	DBLP DOI BibTeX RDF
19	Angelo Brayner, José de Aguiar Moraes Filho	Increasing Mobile Transaction Concurrency in Dynamically Configurable Environments.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
19	Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
19	Yi Ren, Quanyuan Wu, Yan Jia 0001, Jianbo Guan, Weihong Han	Transactional Business Coordination and Failure Recovery for Web Services Composition.	GCC	2004	DBLP DOI BibTeX RDF
19	Jan L. G. Dietz	Deriving Use Cases from Business Process Models.	ER	2003	DBLP DOI BibTeX RDF
19	Sandeep S. Kulkarni, Ali Ebnenasir	Enhancing The Fault-Tolerance of Nonmasking Programs.	ICDCS	2003	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
19	Yi Ren, Jianbo Guan, Yan Jia 0001, Weihong Han, Quanyuan Wu	StarOTS: An Effcient Distributed Transaction Recovery Mechanism in the CORBA Component Runtime Environment.	GCC (1)	2003	DBLP DOI BibTeX RDF
19	Tim Kempster, Colin Stirling	Modeling and Model Checking Mobile Phone Payment Systems.	FORTE	2003	DBLP DOI BibTeX RDF
19	Subhendu Chattopadhyay, Lisa Higham, Karen Seyffarth	Dynamic and self-stabilizing distributed matching.	PODC	2002	DBLP DOI BibTeX RDF
19	Jinlei Jiang, Meilin Shi	Implementation of CovaTM.	EDCIS	2002	DBLP DOI BibTeX RDF
19	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
19	Angelo Brayner, Theo Härder	Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems.	CoopIS	2001	DBLP DOI BibTeX RDF
19	Kamel Adi, Mourad Debbabi, Mohamed Mejri	A New Logic for Electronic Commerce Protocols.	AMAST	2000	DBLP DOI BibTeX RDF
19	Sandeep S. Kulkarni, Anish Arora	Automating the Addition of Fault-Tolerance.	FTRTFT	2000	DBLP DOI BibTeX RDF
19	Indrakshi Ray, Indrajit Ray	Failure Analysis of an E-Commerce Protocol Using Model Checking.	WECWIS	2000	DBLP DOI BibTeX RDF
19	Lars Frank	Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	semantic ACID properties, long-lived transactions, CSCW, concurrency control, collaborative writing, distributed groupware
19	Malik Saheb, Ramzi Karoui, Simone Sédillot	Open Nested Transaction: A Support for Increasing Performance and Multi-tier Applications.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
19	Andrzej Cichocki, Marek Rusinkiewicz	Providing Transactional Properties for Migrating Workflows.	DEXA Workshops	1999	DBLP DOI BibTeX RDF
19	Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin	RTCAST: lightweight multicast for real-time process groups.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	RTCAST, real time process groups, lightweight fault tolerant multicast, bounded time message transport, processor crashes, communication failures, communicating processors, membership changes, event triggered approach, fast message delivery time, time triggered protocols, TTP, x-Kernel protocol architecture, RT Mach 3, real-time systems, protocols, fault tolerant computing, message passing, Unix, operating system kernels, communicating processes, membership service
19	Matti A. Hiltunen, Richard D. Schlichting	Modularizing fault-tolerant protocols.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
19	Andrea Asperti, Gian-Luigi Ferrari 0002, Roberto Gorrieri	Implicative Formulae in the "Proofs as Computations" Analogy.	POPL	1990	DBLP DOI BibTeX RDF
19	Tony P. Ng	Using Histories to Implement Atomic Objects.	ACM Trans. Comput. Syst.	1989	DBLP DOI BibTeX RDF
19	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
19	John A. Stankovic, Wei Zhao 0001	On Real-Time Transactions.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF
19	Maurice Herlihy, William E. Weihl	Hybrid Concurrency Control for Abstract Data Types.	PODS	1988	DBLP DOI BibTeX RDF
19	Yuechen Tao, Bo Li 0001, Baochun Li	On Atomicity and Confidentiality Across Blockchains Under Failures.	IEEE Trans. Knowl. Data Eng.	2024	DBLP DOI BibTeX RDF
19	Huaixi Lu, Akshay Jajoo, Kedar S. Namjoshi	Atomicity and Abstraction for Cross-Blockchain Interactions.	CoRR	2024	DBLP DOI BibTeX RDF
19	Xiaoxue Ma, Imran Ashraf, W. K. Chan 0001	Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
19	Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky	Proving Logical Atomicity using Lock Invariants.	CoRR	2023	DBLP DOI BibTeX RDF
19	V. Ironmonger, Nik Ruskuc	Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings.	CoRR	2023	DBLP DOI BibTeX RDF
19	Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara	Sound Atomicity Inference for Data-Centric Synchronization.	CoRR	2023	DBLP DOI BibTeX RDF