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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 19-34, 2011, ACM, 978-1-4503-0940-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 51-64, 2011, ACM, 978-1-4503-0940-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: 10th Annual Workshop on Network and Systems Support for Games, NetGames 2011, Ottawa, Ontario, Canada, October 6-7, 2011, pp. 1-3, 2011, IEEE, 978-1-4577-1932-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Jing Sun 0009, Huiqun Zhao, Wenwen Wang, Gongzhu Hu |
Atomicity Maintenance in EPCreport of ALE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 10th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2011, 16-18 May, 2011, Sanya, Hainan Island, China, pp. 224-229, 2011, IEEE Computer Society, 978-0-7695-4401-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Alexey Gotsman, Hongseok Yang |
Liveness-Preserving Atomicity Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II, pp. 453-465, 2011, Springer, 978-3-642-22011-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Guoliang Jin, Linhai Song, Wei Zhang 0022, Shan Lu 0001, Ben Liblit |
Automated atomicity-violation fixing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, pp. 389-400, 2011, ACM, 978-1-4503-0663-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2011, Newport Beach, CA, USA, May 23-26, 2011, pp. 514-523, 2011, IEEE Computer Society, 978-0-7695-4395-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pp. 328-342, 2011, Springer, 978-3-642-20397-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Eslam Al Maghayreh |
Block-based atomicity to simplify the verification of distributed applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, CCECE 2011, Niagara Falls, Ontario, Canada, 8-11 May, 2011, pp. 887-891, 2011, IEEE, 978-1-4244-9788-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Malay K. Ganai |
Scalable and precise symbolic analysis for atomicity violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011, pp. 123-132, 2011, IEEE Computer Society, 978-1-4577-1638-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Amitabha Roy 0002, Steven Hand 0001, Tim Harris 0001 |
Weak atomicity under the x86 memory consistency model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2011, San Antonio, TX, USA, February 12-16, 2011, pp. 291-292, 2011, ACM, 978-1-4503-0119-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Jacob Burnim, George C. Necula, Koushik Sen |
Specifying and checking semantic atomicity for multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011, pp. 79-90, 2011, ACM, 978-1-4503-0266-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Naveen Neelakantam |
Hardware atomicity for compiler-directed control speculation ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
19 | Christophe Giraud 0001, Vincent Verneuil |
Atomicity Improvement for Elliptic Curve Scalar Multiplication ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1002.4569, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Andy Carver, Terry A. Halpin |
Atomicity and Semantic Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Syst. Model. Des. ![In: Int. J. Inf. Syst. Model. Des. 1(2), pp. 23-39, 2010. The full citation details ...](Pics/full.jpeg) |
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]". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 161(19), pp. 2612-2613, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 5(1), pp. 99-109, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Aditya Kulkarni, Yu David Liu, Scott F. Smith 0001 |
Task types for pervasive atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, pp. 671-690, 2010, ACM, 978-1-4503-0203-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Christophe Giraud 0001, Vincent Verneuil |
Atomicity Improvement for Elliptic Curve Scalar Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Application, 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010. Proceedings, pp. 80-101, 2010, Springer, 978-3-642-12509-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Sorrentino 0002, Azadeh Farzan, P. Madhusudan |
PENELOPE: weaving threads to expose atomicity violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010, pp. 37-46, 2010, ACM, 978-1-60558-791-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Chao Wang 0001, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta |
Trace-Based Symbolic Analysis for Atomicity Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 328-342, 2010, Springer, 978-3-642-12001-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Gerhard Weikum |
Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 143-146, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Gregory D. Speegle |
Semantic Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 2588-2591, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jan Paseka, Zdenka Riecanová |
Atomicity of Lattice Effect Algebras and Their Sub-Lattice Effect Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 45(6), pp. 1040-1051, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
19 | Damien Imbs, Michel Raynal |
A note on atomicity: Boosting Test&Set to solve consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 109(12), pp. 589-591, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Brandon Lucia, Joseph Devietti, Luis Ceze, Karin Strauss |
Atom-Aid: Detecting and Surviving Atomicity Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 29(1), pp. 73-83, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 57(2), pp. 184-194, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 25(5), pp. 568-576, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Alina Gavrilut, Anca Croitoru |
Non-atomicity for fuzzy and non-fuzzy multivalued set functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 160(14), pp. 2106-2116, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Alina Gavrilut |
Non-atomicity and the Darboux property for fuzzy and non-fuzzy Borel/Baire multivalued set functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 160(9), pp. 1308-1317, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2009, pp. 342-347, 2009, IEEE Computer Society, 978-0-7695-3758-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, pp. 89-104, 2009, Springer, 978-3-642-17070-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kenneth George Pierce |
Enhancing the usability of rely-guarantee conditions for atomicity refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
19 | |
Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Algorithms ![In: Encyclopedia of Algorithms - 2008 Edition, 2008, Springer, 978-0-387-30770-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Wim H. Hesselink |
A challenge for atomicity verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 71(1), pp. 57-72, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Cormac Flanagan, Stephen N. Freund |
Atomizer: A dynamic atomicity checker for multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 71(2), pp. 89-109, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Andy Carver, Terry A. Halpin |
Atomicity and Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMSAD ![In: Proceedings of the 13th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2008, held in conjunction with the CAiSE 2008 Conference, Montpellier, France, June 16-17, 2008, pp. 40-54, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Brandon Lucia, Joseph Devietti, Karin Strauss, Luis Ceze |
Atom-Aid: Detecting and Surviving Atomicity Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 35th International Symposium on Computer Architecture (ISCA 2008), June 21-25, 2008, Beijing, China, pp. 277-288, 2008, IEEE Computer Society, 978-0-7695-3174-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | P. Michael Melliar-Smith, Louise E. Moser |
Achieving Atomicity for Web Services Using Commutativity of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 13(8), pp. 1094-1109, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Joey W. Coleman, Cliff B. Jones |
Atomicity: A Unifying Concept in Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 13(8), pp. 1042-1043, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
19 | Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan |
Process Evolution with Atomicity Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAMS ![In: 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007, Minneapolis Minnesota, USA, May 20-26, 2007, pp. 19, 2007, IEEE Computer Society, 0-7695-2973-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
Modular Checkpointing for Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TV@FLoC ![In: Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006, pp. 85-115, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jan-Willem Maessen, Arvind |
Store Atomicity for Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TV@FLoC ![In: Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006, pp. 117-137, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 176(8), pp. 1045-1066, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Data Management in Evolving Networks ![In: Scalable Data Management in Evolving Networks, 22.10. - 27.10.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Peter M. Aarestad, Avery Ching, George K. Thiruvathukal, Alok N. Choudhary |
Scalable Approaches for Supporting MPI-IO Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore, pp. 35-42, 2006, IEEE Computer Society, 0-7695-2585-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Fifth International Conference on Language Resources and Evaluation, LREC 2006, Genoa, Italy, May 22-28, 2006., pp. 1684-1687, 2006, European Language Resources Association (ELRA). The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, Andrew Robinson |
Alternators in read/write atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 93(5), pp. 207-215, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jörg Kienzle |
On Atomicity and Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(5), pp. 687-702, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jon Burton, Cliff B. Jones |
Investigating Atomicity and Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(5), pp. 661-686, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(5), pp. 634-635, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | J. Eliot B. Moss, Ravi Rajwar |
Atomicity as a First-Class System Provision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(5), pp. 651-660, 2005. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(5), pp. 744-770, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jon Burton |
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(5), pp. 771-802, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek, Frantisek Plásil |
Component composition errors and update atomicity: static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Maintenance Res. Pract. ![In: J. Softw. Maintenance Res. Pract. 17(5), pp. 363-377, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Tetz C. Huang |
A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 71(1), pp. 70-85, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ling Cheung |
Randomized Wait-Free Consensus Using an Atomicity Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers, pp. 47-60, 2005, Springer, 3-540-36321-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 3(6), pp. 103-122, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(6), pp. 760-768, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Cyrille Artho, Klaus Havelund, Armin Biere |
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 150-164, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Toni Jussila |
BMC via Dynamic Atomicity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 197-206, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Satoshi Itaya, Tomoya Enokido, Makoto Takizawa 0001 |
Atomicity and causality of multimedia messages in group communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2004 IEEE International Conference on Multimedia and Expo, ICME 2004, 27-30 June 2004, Taipei, Taiwan, pp. 229-232, 2004, IEEE Computer Society, 0-7803-8603-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Liqiang Wang, Scott D. Stoller |
Run-Time Analysis for Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 191-209, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2003, pp. 237, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Cormac Flanagan, Shaz Qadeer |
Types for atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, pp. 1-12, 2003, ACM, 1-58113-649-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Mikhail Nesterenko, Anish Arora |
Stabilization-Preserving Atomicity Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 62(5), pp. 766-791, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroWeb ![In: The Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, St Anne's College, Oxford, UK. 17-18 December 2002, 2002, BCS. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Wijnand Derks, Juliane Dehnert, Paul W. P. J. Grefen, Willem Jonker |
Customized Atomicity Specification for Transactional Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODAS ![In: Proceedings of the Third International Symposium on Cooperative Database Systems and Applications, CODAS 2001, Beijing, China, April 23-24, 2001. , pp. 155-164, 2001, IEEE Computer Society, 0-7695-1128-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | Juha Puustjärvi |
Options: A Way for Achieving Failure Atomicity in the WorkMan System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, Proceedings of the 7th International Conference on Database Systems for Advanced Applications (DASFAA 2001), 18-20 April 2001 - Hong Kong, China, pp. 268-275, 2001, IEEE Computer Society, 0-7695-0996-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Richard Zuber |
Atomicity of Some Categorially Polyvalent Modifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings, pp. 296-310, 2001, Springer, 3-540-42273-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Minwen Ji |
Atomicity, Serialization and Recovery in the Island-Based File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th - December 1st, 2000, Technische Universität Chemnitz, Saxony, Germany, pp. 369-370, 2000, IEEE Computer Society, 0-7695-0896-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Gerhard Weikum |
Review - Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGMOD Digit. Rev. ![In: ACM SIGMOD Digit. Rev. 1, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Lars Frank |
Atomicity Implementation in Multidatabases with High Performance and Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODAS ![In: The Proceedings of the Second International Symposium on Cooperative Database Systems for Advanced Applications, CODAS 1999, Wollongong, Australia, March 27-28, 1999., pp. 204-215, 1999, Springer, 9814021644. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 823-830, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Yousef J. Al-Houmaily, Panos K. Chrysanthis |
Atomicity with Incompatible Presumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania, USA, pp. 306-315, 1999, ACM Press, 1-58113-062-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 545-553, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | J. D. Tygar |
Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: VLDB'98, Proceedings of 24rd International Conference on Very Large Data Bases, August 24-27, 1998, New York City, New York, USA, pp. 1-12, 1998, Morgan Kaufmann, 1-55860-566-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
19 | Gian-Luigi Ferrari 0002 |
Atomicity and Concurrency Control in Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 29(4), pp. 341-368, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 55(2), pp. 344-354, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | H. James Hoover, Piotr Rudnicki |
Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Chic. J. Theor. Comput. Sci. ![In: Chic. J. Theor. Comput. Sci. 1996, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | Kaisa Sere |
Procedures and Atomicity Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 60(2), pp. 67-74, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Israel Ben-Shaul, George T. Heineman |
A three-level atomicity model for decentralized workflow management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Syst. Eng. ![In: Distributed Syst. Eng. 3(4), pp. 239-249, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | E. Pascal Gribomont |
Atomicity Refinement and Trace Reduction Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 311-322, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Israel Ben-Shaul, George T. Heineman |
A 3-level Atomicity Model for Decentralized Process-Centered Software Engineering Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSPT ![In: Software Process Technology, 5th European Workshop, EWSPT '96, Nancy, France, October 9-11, 1996, Proceedings, pp. 61-64, 1996, Springer, 3-540-61771-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | J. D. Tygar |
Atomicity in Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26, 1996, pp. 8-26, 1996, ACM, 0-89791-800-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 16th International Conference on Distributed Computing Systems, Hong Kong, May 27-30, 1996, pp. 26-37, 1996, IEEE Computer Society, 0-8186-7398-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Lei Tang |
Verifiable Transaction Atomicity for Electronic Payment Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 16th International Conference on Distributed Computing Systems, Hong Kong, May 27-30, 1996, pp. 261-269, 1996, IEEE Computer Society, 0-8186-7398-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 32(2), pp. 155-170, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
Hybrid Atomicity for Nested Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 149(1), pp. 151-178, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: 7th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '95, Santa Barbara, California, USA, July 17-19, 1995, pp. 42-53, 1995, ACM, 0-89791-717-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | J. W. de Bakker, Erik P. de Vink |
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 20(1/2/3), pp. 3-34, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Rajeev Rastogi, Marie-Anne Neimat |
Enhancing Pre-existing Data Managers with Atomicity and Durability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADB ![In: Applications of Databases, First International Conference, ADB-94, Vadstena, Sweden, June 21-23, 1994, Proceedings, pp. 429-443, 1994, Springer, 3-540-58183-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 11(1), pp. 33-72, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 7(1), pp. 3-16, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Oliver Costich, Myong H. Kang |
Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Replicated Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Database Security, VII: Status and Prospects, Proceedings of the IFIP WG11.3 Working Conference on Database Security, Lake Guntersville, Alabama, USA, 12-15 September, 1993, pp. 329-355, 1993, North-Holland, 0-444-81833-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
19 | Barbara T. Blaustein, Sushil Jajodia, Catherine D. McCollum, LouAnna Notargiacomo |
A model of atomicity for multilevel transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1993 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993, pp. 120-134, 1993, IEEE Computer Society, 0-8186-3370-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Rachid Guerraoui |
Dealing with atomicity in object-based distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPS Messenger ![In: OOPS Messenger 3(3), pp. 10-13, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | James H. Anderson, Mohamed G. Gouda |
A Criterion for Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 4(3), pp. 273-298, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz |
Ensuring Transaction Atomicity in Multidatabase Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA, pp. 164-175, 1992, ACM Press, 0-89791-519-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Oliver Costich, Sushil Jajodia |
Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Kernelized Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Database Security, VI: Status and Prospects. Results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August 1992, pp. 249-266, 1992, North-Holland, 0-444-89889-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|