Search results for "atomicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan	Accentuating the positive: atomicity inference and enforcement using correct executions.	OOPSLA	2011	DBLP DOI BibTeX RDF
19	Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav	Testing atomicity of composed concurrent operations.	OOPSLA	2011	DBLP DOI BibTeX RDF
19	Kjetil Raaen, Håvard Espeland, Håkon Kvale Stensland, Andreas Petlund, Pål Halvorsen, Carsten Griwodz	A demonstration of a lockless, relaxed atomicity state parallel game server (LEARS).	NETGAMES	2011	DBLP DOI BibTeX RDF
19	Jing Sun 0009, Huiqun Zhao, Wenwen Wang, Gongzhu Hu	Atomicity Maintenance in EPCreport of ALE.	ACIS-ICIS	2011	DBLP DOI BibTeX RDF
19	Alexey Gotsman, Hongseok Yang	Liveness-Preserving Atomicity Abstraction.	ICALP (2)	2011	DBLP DOI BibTeX RDF
19	Guoliang Jin, Linhai Song, Wei Zhang 0022, Shan Lu 0001, Ben Liblit	Automated atomicity-violation fixing.	PLDI	2011	DBLP DOI BibTeX RDF
19	Viet-Trung Tran, Bogdan Nicolae, Gabriel Antoniu, Luc Bougé	Efficient Support for MPI-I/O Atomicity Based on Versioning.	CCGRID	2011	DBLP DOI BibTeX RDF
19	Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler	Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
19	Eslam Al Maghayreh	Block-based atomicity to simplify the verification of distributed applications.	CCECE	2011	DBLP DOI BibTeX RDF
19	Malay K. Ganai	Scalable and precise symbolic analysis for atomicity violations.	ASE	2011	DBLP DOI BibTeX RDF
19	Amitabha Roy 0002, Steven Hand 0001, Tim Harris 0001	Weak atomicity under the x86 memory consistency model.	PPoPP	2011	DBLP DOI BibTeX RDF
19	Jacob Burnim, George C. Necula, Koushik Sen	Specifying and checking semantic atomicity for multithreaded programs.	ASPLOS	2011	DBLP DOI BibTeX RDF
19	Naveen Neelakantam	Hardware atomicity for compiler-directed control speculation		2011	RDF
19	Christophe Giraud 0001, Vincent Verneuil	Atomicity Improvement for Elliptic Curve Scalar Multiplication	CoRR	2010	DBLP BibTeX RDF
19	Andy Carver, Terry A. Halpin	Atomicity and Semantic Normalization.	Int. J. Inf. Syst. Model. Des.	2010	DBLP DOI BibTeX RDF
19	Alina Gavrilut	Erratum to "Non-atomicity and the Darboux property for fuzzy and non-fuzzy Borel/Baire multivalued set functions [Fuzzy Sets and Systems 160 (2009) 1308-1317]".	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
19	Turki F. Al-Somani	Performance Evaluation of Elliptic Curve Projective Coordinates with Parallel GF(p) Field Operations and Side-Channel Atomicity.	J. Comput.	2010	DBLP BibTeX RDF
19	Aditya Kulkarni, Yu David Liu, Scott F. Smith 0001	Task types for pervasive atomicity.	OOPSLA	2010	DBLP DOI BibTeX RDF
19	Christophe Giraud 0001, Vincent Verneuil	Atomicity Improvement for Elliptic Curve Scalar Multiplication.	CARDIS	2010	DBLP DOI BibTeX RDF
19	Francesco Sorrentino 0002, Azadeh Farzan, P. Madhusudan	PENELOPE: weaving threads to expose atomicity violations.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
19	Chao Wang 0001, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta	Trace-Based Symbolic Analysis for Atomicity Violations.	TACAS	2010	DBLP DOI BibTeX RDF
19	Gerhard Weikum	Atomicity.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
19	Gregory D. Speegle	Semantic Atomicity.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
19	Jan Paseka, Zdenka Riecanová	Atomicity of Lattice Effect Algebras and Their Sub-Lattice Effect Algebras.	Kybernetika	2009	DBLP BibTeX RDF
19	Damien Imbs, Michel Raynal	A note on atomicity: Boosting Test&Set to solve consensus.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
19	Brandon Lucia, Joseph Devietti, Luis Ceze, Karin Strauss	Atom-Aid: Detecting and Surviving Atomicity Violations.	IEEE Micro	2009	DBLP DOI BibTeX RDF
19	Ji-Cherng Lin, Tetz C. Huang, Cheng-Zen Yang, Nathan Mou	Quasi-self-stabilization of a distributed system assuming read/write atomicity.	Comput. Math. Appl.	2009	DBLP DOI BibTeX RDF
19	Liqiang Wang, Shiyong Lu, Xubo Fei, Artem Chebotko, H. Victoria Bryant, Jeffrey L. Ram	Atomicity and provenance support for pipelined scientific workflows.	Future Gener. Comput. Syst.	2009	DBLP DOI BibTeX RDF
19	Alina Gavrilut, Anca Croitoru	Non-atomicity for fuzzy and non-fuzzy multivalued set functions.	Fuzzy Sets Syst.	2009	DBLP DOI BibTeX RDF
19	Alina Gavrilut	Non-atomicity and the Darboux property for fuzzy and non-fuzzy Borel/Baire multivalued set functions.	Fuzzy Sets Syst.	2009	DBLP DOI BibTeX RDF
19	Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner	Java Card Performance Optimization of Secure Transaction Atomicity Based on Increasing the Class Field Locality.	SSIRI	2009	DBLP DOI BibTeX RDF	Anti-Tearing, Transaction Mechanism, Java Annotations, Java Card
19	Asieh Salehi Fathabadi, Michael J. Butler	Applying Event-B Atomicity Decomposition to a Multi Media Protocol.	FMCO	2009	DBLP DOI BibTeX RDF
19	Kenneth George Pierce	Enhancing the usability of rely-guarantee conditions for atomicity refinement.		2009	RDF
19		Atomicity.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
19	Wim H. Hesselink	A challenge for atomicity verification.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
19	Cormac Flanagan, Stephen N. Freund	Atomizer: A dynamic atomicity checker for multithreaded programs.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
19	Andy Carver, Terry A. Halpin	Atomicity and Normalization.	EMMSAD	2008	DBLP BibTeX RDF
19	Brandon Lucia, Joseph Devietti, Karin Strauss, Luis Ceze	Atom-Aid: Detecting and Surviving Atomicity Violations.	ISCA	2008	DBLP DOI BibTeX RDF
19	P. Michael Melliar-Smith, Louise E. Moser	Achieving Atomicity for Web Services Using Commutativity of Actions.	J. Univers. Comput. Sci.	2007	DBLP DOI BibTeX RDF
19	Joey W. Coleman, Cliff B. Jones	Atomicity: A Unifying Concept in Computer Science.	J. Univers. Comput. Sci.	2007	DBLP BibTeX RDF
19	Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan	Process Evolution with Atomicity Consistency.	SEAMS	2007	DBLP DOI BibTeX RDF
19	Lukasz Ziarek, Philip Schatz, Suresh Jagannathan	Modular Checkpointing for Atomicity.	TV@FLoC	2006	DBLP DOI BibTeX RDF
19	Jan-Willem Maessen, Arvind	Store Atomicity for Transactional Memory.	TV@FLoC	2006	DBLP DOI BibTeX RDF
19	Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers	Standards and verification for fair-exchange and atomicity in e-commerce transactions.	Inf. Sci.	2006	DBLP DOI BibTeX RDF
19	Sebastian Obermeier 0001, Joos-Hendrik Böse, Stefan Böttcher, Panos K. Chrysanthis, Alex Delis, Le Gruenwald, Anirban Mondal, Aris M. Ouksel, George Samaras, Stratis Viglas	06431 Working Group Summary: Atomicity in Mobile Networks.	Scalable Data Management in Evolving Networks	2006	DBLP BibTeX RDF
19	Peter M. Aarestad, Avery Ching, George K. Thiruvathukal, Alok N. Choudhary	Scalable Approaches for Supporting MPI-IO Atomicity.	CCGRID	2006	DBLP DOI BibTeX RDF
19	Stefan Schulz 0001, Kornél G. Markó, Philipp Daumke, Udo Hahn, Susanne Hanser, Percy Nohama, Roosewelt L. Andrade, Edson José Pacheco, Martin Romacker	Semantic Atomicity and Multilinguality in the Medical Domain: Design Considerations for the MorphoSaurus Subword Lexicon.	LREC	2006	DBLP BibTeX RDF
19	Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, Andrew Robinson	Alternators in read/write atomicity.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
19	Jörg Kienzle	On Atomicity and Software Development.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
19	Jon Burton, Cliff B. Jones	Investigating Atomicity and Observability.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
19	Jon Burton, Cliff B. Jones	Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue.	J. Univers. Comput. Sci.	2005	DBLP BibTeX RDF
19	J. Eliot B. Moss, Ravi Rajwar	Atomicity as a First-Class System Provision.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
19	Jean-Raymond Abrial, Dominique Cansell	Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity).	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
19	Jon Burton	Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
19	Jirí Adámek, Frantisek Plásil	Component composition errors and update atomicity: static analysis.	J. Softw. Maintenance Res. Pract.	2005	DBLP DOI BibTeX RDF
19	Tetz C. Huang	A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity.	J. Comput. Syst. Sci.	2005	DBLP DOI BibTeX RDF
19	Ling Cheung	Randomized Wait-Free Consensus Using an Atomicity Assumption.	OPODIS	2005	DBLP DOI BibTeX RDF	Asynchronous Consensus, Wait-Free Termination, Weak Adversary, Randomized Algorithms, Probabilistic Model Checking
19	Christoph von Praun, Thomas R. Gross	Static Detection of Atomicity Violations in Object-Oriented Programs.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
19	Benoît Chevallier-Mames, Mathieu Ciet, Marc Joye	Low-Cost Solutions for Preventing Simple Side-Channel Analysis: Side-Channel Atomicity.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
19	Cyrille Artho, Klaus Havelund, Armin Biere	Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.	ATVA	2004	DBLP DOI BibTeX RDF
19	Toni Jussila	BMC via Dynamic Atomicity Analysis.	ACSD	2004	DBLP DOI BibTeX RDF
19	Satoshi Itaya, Tomoya Enokido, Makoto Takizawa 0001	Atomicity and causality of multimedia messages in group communication.	ICME	2004	DBLP BibTeX RDF
19	Liqiang Wang, Scott D. Stoller	Run-Time Analysis for Atomicity.	RV@CAV	2003	DBLP DOI BibTeX RDF
19	Benoît Chevallier-Mames, Mathieu Ciet, Marc Joye	Low-Cost Solutions for Preventing Simple Side-Channel Analysis: Side-Channel Atomicity.	IACR Cryptol. ePrint Arch.	2003	DBLP BibTeX RDF
19	Cormac Flanagan, Shaz Qadeer	Types for atomicity.	TLDI	2003	DBLP DOI BibTeX RDF
19	Mikhail Nesterenko, Anish Arora	Stabilization-Preserving Atomicity Refinement.	J. Parallel Distributed Comput.	2002	DBLP DOI BibTeX RDF
19	Lasse Pajunen, Jarmo Korhonen, Juha Puustjärvi	Adaptive Web Transactions: An Approach for Achieving the Atomicity of Composed Web Services.	EuroWeb	2002	DBLP BibTeX RDF
19	Wijnand Derks, Juliane Dehnert, Paul W. P. J. Grefen, Willem Jonker	Customized Atomicity Specification for Transactional Workflows.	CODAS	2001	DBLP BibTeX RDF
19	Juha Puustjärvi	Options: A Way for Achieving Failure Atomicity in the WorkMan System.	DASFAA	2001	DBLP DOI BibTeX RDF
19	Richard Zuber	Atomicity of Some Categorially Polyvalent Modifiers.	LACL	2001	DBLP DOI BibTeX RDF
19	Minwen Ji	Atomicity, Serialization and Recovery in the Island-Based File System.	CLUSTER	2000	DBLP DOI BibTeX RDF
19	Gerhard Weikum	Review - Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce.	ACM SIGMOD Digit. Rev.	1999	DBLP BibTeX RDF
19	Lars Frank	Atomicity Implementation in Multidatabases with High Performance and Availability.	CODAS	1999	DBLP BibTeX RDF
19	Gheorghe Antonoiu, Pradip K. Srimani	Mutual Exclusion Between Neighboring Nodes in an Arbitrary System Graph Tree That Stabilizes Using Read/Write Atomicity.	Euro-Par	1999	DBLP DOI BibTeX RDF
19	Yousef J. Al-Houmaily, Panos K. Chrysanthis	Atomicity with Incompatible Presumptions.	PODS	1999	DBLP DOI BibTeX RDF
19	Gheorghe Antonoiu, Pradip K. Srimani	Mutual Exclusion Between Neighboring Nodes in a Tree That Stabilizes Using Read/Write Atomicity.	Euro-Par	1998	DBLP DOI BibTeX RDF
19	J. D. Tygar	Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce.	VLDB	1998	DBLP BibTeX RDF
19	Gian-Luigi Ferrari 0002	Atomicity and Concurrency Control in Process Calculi.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
19	Vasudha Krishnaswamy, Divyakant Agrawal, John L. Bruno, Amr El Abbadi	Relative Serializability: An Approach for Relaxing the Atomicity of Transactions.	J. Comput. Syst. Sci.	1997	DBLP DOI BibTeX RDF
19	H. James Hoover, Piotr Rudnicki	Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity.	Chic. J. Theor. Comput. Sci.	1996	DBLP BibTeX RDF
19	Kaisa Sere	Procedures and Atomicity Refinement.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
19	Israel Ben-Shaul, George T. Heineman	A three-level atomicity model for decentralized workflow management systems.	Distributed Syst. Eng.	1996	DBLP DOI BibTeX RDF
19	E. Pascal Gribomont	Atomicity Refinement and Trace Reduction Theorems.	CAV	1996	DBLP DOI BibTeX RDF
19	Israel Ben-Shaul, George T. Heineman	A 3-level Atomicity Model for Decentralized Process-Centered Software Engineering Environments.	EWSPT	1996	DBLP DOI BibTeX RDF
19	J. D. Tygar	Atomicity in Electronic Commerce.	PODC	1996	DBLP DOI BibTeX RDF
19	Robert Grimm 0001, Wilson C. Hsieh, Wiebren de Jonge, M. Frans Kaashoek	Atomic Recovery Units: Failure Atomicity for Logical Disks.	ICDCS	1996	DBLP DOI BibTeX RDF
19	Lei Tang	Verifiable Transaction Atomicity for Electronic Payment Protocols.	ICDCS	1996	DBLP DOI BibTeX RDF
19	Lefteris M. Kirousis, Andreas G. Veneris	Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations.	Acta Informatica	1995	DBLP DOI BibTeX RDF
19	Alan D. Fekete, Nancy A. Lynch, William E. Weihl	Hybrid Atomicity for Nested Transactions.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
19	Eric A. Brewer, Frederic T. Chong, Lok T. Liu, Shamik D. Sharma, John Kubiatowicz	Remote Queues: Exposing Message Queues for Optimization and Atomicity.	SPAA	1995	DBLP DOI BibTeX RDF
19	J. W. de Bakker, Erik P. de Vink	Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.	Fundam. Informaticae	1994	DBLP DOI BibTeX RDF
19	Rajeev Rastogi, Marie-Anne Neimat	Enhancing Pre-existing Data Managers with Atomicity and Durability.	ADB	1994	DBLP DOI BibTeX RDF
19	Ahmed Gheith, Karsten Schwan	CHAOS-arc: Kernel Support for Multiweight Objects, Invocations, and Atomicity in Real-Time Multiprocessor Applications.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF
19	Shlomi Dolev, Amos Israeli, Shlomo Moran	Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity.	Distributed Comput.	1993	DBLP DOI BibTeX RDF
19	Oliver Costich, Myong H. Kang	Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Replicated Architecture.	DBSec	1993	DBLP BibTeX RDF
19	Barbara T. Blaustein, Sushil Jajodia, Catherine D. McCollum, LouAnna Notargiacomo	A model of atomicity for multilevel transactions.	S&P	1993	DBLP DOI BibTeX RDF
19	Rachid Guerraoui	Dealing with atomicity in object-based distributed systems.	OOPS Messenger	1992	DBLP DOI BibTeX RDF
19	James H. Anderson, Mohamed G. Gouda	A Criterion for Atomicity.	Formal Aspects Comput.	1992	DBLP DOI BibTeX RDF
19	Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz	Ensuring Transaction Atomicity in Multidatabase Systems.	PODS	1992	DBLP DOI BibTeX RDF
19	Oliver Costich, Sushil Jajodia	Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Kernelized Architecture.	DBSec	1992	DBLP BibTeX RDF