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 |
|