|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 865 occurrences of 426 keywords
|
|
|
Results
Found 709 publication records. Showing 709 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
132 | Chang-Seo Park, Koushik Sen |
Randomized active atomicity violation detection in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 135-145, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
atomicity violation detection, concurrency, dynamic analysis, random testing |
112 | Florian T. Schneider, Vijay Menon 0002, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai |
Dynamic optimization for efficient strong atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 181-194, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
virtual machines, code generation, transactional memory, compiler optimizations, dynamic optimizations, strong atomicity |
112 | Liqiang Wang, Scott D. Stoller |
Runtime Analysis of Atomicity for Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(2), pp. 93-110, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, Concurrent programming, atomicity, data race, testing and debugging |
112 | Liqiang Wang, Scott D. Stoller |
Accurate and efficient runtime detection of atomicity errors in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 137-146, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, atomicity, serializability, data race |
106 | Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu 0001 |
Atomicity Analysis of Service Composition across Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(1), pp. 2-28, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
102 | Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller |
Automated type-based analysis of data races and atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 83-94, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type system, type inference, atomicity, data races |
97 | Serdar Tasiran, Tayfun Elmas |
Rollback Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 188-201, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
93 | Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001 |
AVIO: detecting atomicity violations via access interleaving invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 37-48, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation |
87 | Soyeon Park, Shan Lu 0001, Yuanyuan Zhou 0001 |
CTrigger: exposing atomicity violation bugs from their hiding places. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 25-36, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software testing, concurrency bug |
87 | Yu David Liu, Xiaoqi Lu, Scott F. Smith 0001 |
Coqa: Concurrent Objects with Quantized Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 260-275, 2008, Springer, 978-3-540-78790-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
87 | Milo M. K. Martin, Colin Blundell, E Christopher Lewis |
Subtleties of Transactional Memory Atomicity Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 5(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
83 | Martín Abadi, Tim Harris 0001, Mojtaba Mehrara |
Transactional memory with strong atomicity using off-the-shelf memory protection hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 185-196, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, stm, memory protection, strong atomicity |
83 | Cormac Flanagan, Stephen N. Freund, Jaeheon Yi |
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 293-303, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability |
83 | Chunyang Ye, S. C. Cheung 0001, W. K. Chan 0001 |
Publishing and composition of atomicity-equivalent services for B2B collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 351-360, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
process collaboration, public view, process algebra, atomicity |
83 | Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller |
Optimized run-time race detection and atomicity checking using partial discovered types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 233-242, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
performance, type system, atomicity, data races |
83 | Cormac Flanagan, Stephen N. Freund |
Atomizer: a dynamic atomicity checker for multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 256-267, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dynamic analysis, reduction, atomicity |
83 | Cormac Flanagan, Shaz Qadeer |
A type and effect system for atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 338-349, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multithreading, atomicity, race conditions, static checking |
80 | Tatiana Shpeisman, Vijay Menon 0002, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha |
Enforcing isolation and ordering in STM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 78-88, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
weak atomicity, virtual machines, code generation, transactional memory, compiler optimizations, isolation, ordering, escape analysis, strong atomicity |
77 | Azadeh Farzan, P. Madhusudan, Francesco Sorrentino 0002 |
Meta-analysis for Atomicity Violations under Nested Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 248-262, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
77 | L. Jean Camp |
An Atomicity-Generating Protocol for Anonymous Currencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(3), pp. 272-278, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
transaction security, fault tolerance, Reliability, electronic commerce |
77 | Aidong Zhang, Marian H. Nodine, Bharat K. Bhargava, Omran A. Bukhres |
Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota, USA, May 24-27, 1994., pp. 67-78, 1994, ACM Press, 978-0-89791-639-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
77 | William E. Weihl |
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 11(2), pp. 249-283, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
74 | Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky |
06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Atomicity: A Unifying Concept in Computer Science ![In: Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
74 | Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky |
06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Atomicity: A Unifying Concept in Computer Science ![In: Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
73 | Lee Chew, David Lie |
Kivati: fast detection and prevention of atomicity violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010, pp. 307-320, 2010, ACM, 978-1-60558-577-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
kivati, watchpoint, atomicity violation |
73 | Brandon Lucia, Luis Ceze, Karin Strauss |
ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 37th International Symposium on Computer Architecture (ISCA 2010), June 19-23, 2010, Saint-Malo, France, pp. 222-233, 2010, ACM, 978-1-4503-0053-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations |
73 | Chunyang Ye, S. C. Cheung 0001, W. K. Chan 0001, Chang Xu 0001 |
Detection and resolution of atomicity violation in service composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 235-244, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
web services, atomicity, implicit interaction, behavior constraint |
73 | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
Exploiting Purity for Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(4), pp. 275-291, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
purity, concurrent programs, reduction, Atomicity |
73 | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
Exploiting purity for atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 221-231, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
purity, concurrent programs, reduction, atomicity |
68 | Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai |
Research of Satisfying Atomic and Anonymous Electronic Commerce Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 319-326, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
68 | Rachid Guerraoui |
Atomic Object Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 118-138, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
67 | Qichang Chen, Liqiang Wang, Zijiang Yang 0006, Scott D. Stoller |
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 425-439, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
67 | Azadeh Farzan, P. Madhusudan |
Monitoring Atomicity in Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 52-65, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Zongtao Zhao, Jun Wei 0001, Li Lin, Xiaoning Ding |
A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 275-278, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Azadeh Farzan, P. Madhusudan |
Causal Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 315-328, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan |
SideTrack: generalizing dynamic atomicity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability |
63 | Chunyang Ye, S. C. Cheung 0001, W. K. Chan 0001, Chang Xu 0001 |
Local analysis of atomicity sphere for B2B collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 186-196, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
process collaboration, privacy, process algebra, atomicity |
63 | Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie |
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(10), pp. 950-961, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
QuickSilver distributed file system, Starburst relational database manager, atomic properties, mutual consistency, client-server transactions, recoverable data structures, shadow copies, concurrency, relational databases, distributed databases, transaction processing, atomicity, network operating systems, stable storage, transaction systems |
58 | Ajay D. Kshemkalyani |
A Framework for Viewing Atomic Events in Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 496-505, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
58 | Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini |
Verifying Atomicity Requirements of Services Coordination Using B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Ninth Mexican International Conference on Computer Science, ENC 2008, 6-10 October 2008, Mexicali, Baja California, Mexico, pp. 238-248, 2008, IEEE Computer Society, 978-0-7695-3439-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami |
Detecting Atomicity Errors in Message Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 3-6 December 2007, Adelaide, Australia, pp. 193-200, 2007, IEEE Computer Society, 0-7695-3049-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Arvind, Jan-Willem Maessen |
Memory Model = Instruction Reordering + Store Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 33rd International Symposium on Computer Architecture (ISCA 2006), June 17-21, 2006, Boston, MA, USA, pp. 29-40, 2006, IEEE Computer Society, 0-7695-2608-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Cormac Flanagan |
Verifying Commit-Atomicity Using Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 252-266, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Cormac Flanagan, Stephen N. Freund |
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Wei-keng Liao, Alok N. Choudhary, Kenin Coloma, George K. Thiruvathukal, Lee Ward, Eric Russell, Neil Pundit |
Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 32nd International Conference on Parallel Processing (ICPP 2003), 6-9 October 2003, Kaohsiung, Taiwan, pp. 239-, 2003, IEEE Computer Society, 0-7695-2017-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
58 | Shouhuai Xu, Moti Yung, Gendu Zhang, Hong Zhu 0004 |
Money Conservation via Atomicity in Fair Off-Line E-Cash. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISW ![In: Information Security, Second International Workshop, ISW'99, Kuala Lumpur, Malaysia, November 1999, Proceedings, pp. 14-31, 1999, Springer, 3-540-66695-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
58 | 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) |
WDAG ![In: Distributed Algorithms, 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993, Proceedings, pp. 54-68, 1993, Springer, 3-540-57271-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
55 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum (eds.) |
Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Atomicity: A Unifying Concept in Computer Science ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
55 | Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter 0001, David Taylor, Irfan Zakiuddin |
06121 Report: Break Out Session on Guaranteed Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Atomicity: A Unifying Concept in Computer Science ![In: Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
55 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum (eds.) |
Atomicity in System Design and Execution, 25.04. - 30.04.2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Atomicity in System Design and Execution ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
55 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues |
The Atomic Manifesto: a Story in Four Quarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Atomicity in System Design and Execution ![In: Atomicity in System Design and Execution, 25.04. - 30.04.2004, 2004, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
55 | Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc |
Towards transactional memory semantics for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 49-58, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
synchronization, c++, transactional memory, atomicity, serializability |
55 | Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai |
Research of Atomic and Anonymous Electronic Commerce Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 711-714, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fair blind signature, fair anonymity, atomicity, payment system |
54 | Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001 |
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 27(1), pp. 26-35, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reliability, testing, debugging, concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation |
54 | Benjamin Hindman, Dan Grossman |
Atomicity via source-to-source translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance and Correctness ![In: Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006, pp. 82-91, 2006, ACM, 1-59593-578-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, transactional memory, concurrent programming, atomicity |
54 | Sami Bhiri, Olivier Perrin 0001, Claude Godart |
Ensuring required failure atomicity of composite Web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005, pp. 138-147, 2005, ACM, 1-59593-046-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
failure atomicity, reliable Web services compositions, transactional models |
54 | Michael F. Ringenburg, Dan Grossman |
AtomCaml: first-class atomicity via rollback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 92-104, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
transactions, concurrent programming, atomicity, objective caml |
54 | Cormac Flanagan, Stephen N. Freund, Marina Lifshin |
Type inference for atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 47-58, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
concurrency, reduction, type inference, atomicity |
54 | Liqiang Wang, Scott D. Stoller |
Static analysis of atomicity for programs with non-blocking synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 61-71, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking |
54 | Yongdong Tan, Isao Kaji, Kinji Mori |
Autonomous Coordination for Atomicity of Transaction in Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 145-150, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Autonomous Coordination, Atomicity, Heterogeneous system |
54 | Lars Frank |
Atomicity Implementation in Mobile Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 105-113, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
client/server technology, fault tolerance, mobile computing, atomicity, multidatabases, ACID properties |
54 | Nancy A. Lynch |
Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 8(4), pp. 484-502, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
transaction, atomicity, breakpoint |
49 | Robert J. Stroud, Zhixue Wu |
Using Metaobject Protocols to Implement Atomic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings, pp. 168-189, 1995, Springer, 3-540-60160-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
48 | Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai |
Using data structure knowledge for efficient lock generation and strong atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 281-292, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
automatic lock generation, parallel programming, transactional memory |
48 | Azadeh Farzan, P. Madhusudan |
The Complexity of Predicting Atomicity Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 155-169, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Rachid Guerraoui, Marko Vukolic |
A Scalable and Oblivious Atomicity Assertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 52-66, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram |
A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 244-252, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Xiaoning Ding, Jun Wei 0001, Tao Huang 0001 |
User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 168-184, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber |
Proving Atomicity: An Assertional Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings, pp. 152-168, 2005, Springer, 3-540-29163-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | John Hatcliff, Robby, Matthew B. Dwyer |
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 175-190, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Mikhail Nesterenko, Anish Arora |
Stabilization-Preserving Atomicity Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 13th International Symposium, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings, pp. 254-268, 1999, Springer, 3-540-66531-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Paul Ammann, Sushil Jajodia, Indrakshi Ray |
Ensuring Atomicity of Multilevel Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1996 IEEE Symposium on Security and Privacy, May 6-8, 1996, Oakland, CA, USA, pp. 74-84, 1996, IEEE Computer Society, 0-8186-7417-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
Hybrid Atomicity for Nested Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings, pp. 216-230, 1992, Springer, 3-540-56039-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
45 | Tao Huang 0001, Xiaoning Ding, Jun Wei 0001 |
An application-semantics-based relaxed transaction model for internetware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(6), pp. 774-791, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
relaxed atomicity, relaxed transaction mode, service composition, internetware |
44 | Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles |
Hardware atomicity for reliable software speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA, pp. 174-185, 2007, ACM, 978-1-59593-706-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, optimization, checkpoint, atomicity, speculation, isolation |
39 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Software Transactional Memory on Relaxed Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 321-336, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Debmalya Biswas, Ashwin Jiwane, Blaise Genest |
Atomicity for XML Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies, 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings, pp. 180-187, 2009, Springer, 978-3-642-03554-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Zdenek Letko, Tomás Vojnar, Bohuslav Krena |
AtomRace: data race and atomicity violation detector and healer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008, pp. 7, 2008, ACM, 978-1-60558-052-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney |
Retrenchment and the Atomicity Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 37-46, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Yi Ren, Quanyuan Wu, Yan Jia 0001, Jianbo Guan |
An Efficient Hierarchical Failure Recovery Algorithm Ensuring Semantic Atomicity for Workflow Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management: 5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004, pp. 664-671, 2004, Springer, 3-540-22418-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit |
Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-Stabilizing Systems ![In: Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings, pp. 102-112, 2003, Springer, 3-540-40453-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Claudio Masolo, Laure Vieu |
Atomicity vs. Infinite Divisibility of Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 235-250, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ontology of space, axiomatic theories of space, qualitative spatial reasoning, spatial data representation |
37 | Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney |
Atomicity failure and the retrenchment atomicity pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 25(3), pp. 439-464, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
37 | David B. Lomet |
Transactions: From Local Atomicity to Atomicity in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependable and Historic Computing ![In: Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday, pp. 38-52, 2011, Springer, 978-3-642-24540-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
35 | Yong-Jik Kim, James H. Anderson |
Adaptive mutual exclusion with local spinning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 19(3), pp. 197-236, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Adaptive mutual exclusion, Read/write atomicity, Time complexity, Shared-memory systems, Local spinning |
35 | Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward, Eric Russell, Neil Pundit |
Scalable Design and Implementations for MPI Parallel Overlapping I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(11), pp. 1264-1276, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
atomic I/O, file atomicity, file consistency, overlapping I/O, MPI, cache coherence, MPI I/O |
35 | Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger |
Anonymous Payment in a Fair E-Commerce Protocol with Verifiable TTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustBus ![In: Trust, Privacy and Security in Digital Business: Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings, pp. 60-69, 2005, Springer, 3-540-28224-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Electronic coins, Anonymity, Atomicity, Fair exchange, Verifiability |
35 | Sandeep S. Kulkarni, Umamaheswaran Arumugam |
Transformations for Write-All-with-Collision Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 7th International Conference, OPODIS 2003 La Martinique, French West Indies, December 10-13, 2003 Revised Selected Papers, pp. 184-197, 2003, Springer, 3-540-22667-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Model conversions, Preserving stabilization, Atomicity refinement, Write-all-with-collision model, Read/Write model |
35 | Jeannette M. Wing |
Verifying Atomic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 731-758, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types |
34 | Naveen Neelakantam, David R. Ditzel, Craig B. Zilles |
A real system evaluation of hardware atomicity for software speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 29-38, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
optimization, checkpoint, atomicity, speculation, dynamic translation |
34 | Yong Li, Yu Zhang 0086, Yiyun Chen, Ming Fu |
On the Verification of Strong Atomicity in Programs Using STM. ![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. 123-131, 2009, IEEE Computer Society, 978-0-7695-3758-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, proof-carrying code, strong atomicity |
34 | Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles |
Hardware Atomicity: An Effective Abstraction for Reliable Software Speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 28(1), pp. 21-31, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java, optimization, architecture, compiler, checkpoint, atomicity, speculation, isolation, compiler-architecture interactions |
34 | Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer |
Types for atomicity: Static checking and inference for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(4), pp. 20:1-20:53, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type systems, concurrent programs, type inference, Atomicity |
34 | Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc |
Practical weak-atomicity semantics for java stm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, June 14-16, 2008, pp. 314-325, 2008, ACM, 978-1-59593-973-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
weak atomicity, java, transactional memory, memory models, programming language semantics |
34 | Ajay D. Kshemkalyani |
Causality and Atomicity in Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(4), pp. 169-189, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Distributed system, Concurrency, Distributed computation, Synchronization, Time, Atomicity, Causality, Global predicates |
31 | Katherine F. Moore, Dan Grossman |
High-level small-step operational semantics for transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 51-62, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity |
31 | William E. Weihl |
Commutativity-Based Concurrency Control for Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(12), pp. 1488-1505, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial |
29 | Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan |
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 394-409, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis |
Self-stabilizing minimum-degree spanning tree within one from the optimal degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-11, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Charles P. Wright, Richard P. Spillane, Gopalan Sivathanu, Erez Zadok |
Extending ACID semantics to the file system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 3(2), pp. 4:1-4:42, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
File system transactions, ptrace monitors, recoverable memory, databases, file systems |
Displaying result #1 - #100 of 709 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|