|
|
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. |
SIGSOFT FSE |
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. |
OOPSLA |
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. |
IEEE Trans. Software Eng. |
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. |
PPoPP |
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. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
102 | Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller |
Automated type-based analysis of data races and atomicity. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
type system, type inference, atomicity, data races |
97 | Serdar Tasiran, Tayfun Elmas |
Rollback Atomicity. |
RV |
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. |
ASPLOS |
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. |
ASPLOS |
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. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
87 | Milo M. K. Martin, Colin Blundell, E Christopher Lewis |
Subtleties of Transactional Memory Atomicity Semantics. |
IEEE Comput. Archit. Lett. |
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. |
PPoPP |
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. |
PLDI |
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. |
ICSE |
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. |
ASE |
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. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
dynamic analysis, reduction, atomicity |
83 | Cormac Flanagan, Shaz Qadeer |
A type and effect system for atomicity. |
PLDI |
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. |
PLDI |
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. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
77 | L. Jean Camp |
An Atomicity-Generating Protocol for Anonymous Currencies. |
IEEE Trans. Software Eng. |
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. |
SIGMOD Conference |
1994 |
DBLP DOI BibTeX RDF |
|
77 | William E. Weihl |
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. |
ACM Trans. Program. Lang. Syst. |
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. |
Atomicity: A Unifying Concept in Computer Science |
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. |
Atomicity: A Unifying Concept in Computer Science |
2006 |
DBLP BibTeX RDF |
|
73 | Lee Chew, David Lie |
Kivati: fast detection and prevention of atomicity violations. |
EuroSys |
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. |
ISCA |
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. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
web services, atomicity, implicit interaction, behavior constraint |
73 | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
Exploiting Purity for Atomicity. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
purity, concurrent programs, reduction, Atomicity |
73 | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
Exploiting purity for atomicity. |
ISSTA |
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. |
GCC (2) |
2003 |
DBLP DOI BibTeX RDF |
|
68 | Rachid Guerraoui |
Atomic Object Composition. |
ECOOP |
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. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
67 | Azadeh Farzan, P. Madhusudan |
Monitoring Atomicity in Concurrent Programs. |
CAV |
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. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Azadeh Farzan, P. Madhusudan |
Causal Atomicity. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan |
SideTrack: generalizing dynamic atomicity analysis. |
PADTAD |
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. |
SIGSOFT FSE |
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. |
IEEE Trans. Software Eng. |
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. |
Euro-Par, Vol. I |
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. |
ENC |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami |
Detecting Atomicity Errors in Message Passing Programs. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Arvind, Jan-Willem Maessen |
Memory Model = Instruction Reordering + Store Atomicity. |
ISCA |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Cormac Flanagan |
Verifying Commit-Atomicity Using Model-Checking. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Cormac Flanagan, Stephen N. Freund |
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). |
IPDPS |
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. |
ICPP |
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. |
ISW |
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. |
WDAG |
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 |
Atomicity: A Unifying Concept in Computer Science |
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. |
Atomicity: A Unifying Concept in Computer Science |
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 |
Atomicity in System Design and Execution |
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. |
Atomicity in System Design and Execution |
2004 |
DBLP BibTeX RDF |
|
55 | Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc |
Towards transactional memory semantics for C++. |
SPAA |
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. |
RSFDGrC |
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. |
IEEE Micro |
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. |
Memory System Performance and Correctness |
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. |
WWW |
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. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
transactions, concurrent programming, atomicity, objective caml |
54 | Cormac Flanagan, Stephen N. Freund, Marina Lifshin |
Type inference for atomicity. |
TLDI |
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. |
PPoPP |
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. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
Autonomous Coordination, Atomicity, Heterogeneous system |
54 | Lars Frank |
Atomicity Implementation in Mobile Computing. |
DEXA Workshops |
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. |
ACM Trans. Database Syst. |
1983 |
DBLP DOI BibTeX RDF |
transaction, atomicity, breakpoint |
49 | Robert J. Stroud, Zhixue Wu |
Using Metaobject Protocols to Implement Atomic Data Types. |
ECOOP |
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. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
automatic lock generation, parallel programming, transactional memory |
48 | Azadeh Farzan, P. Madhusudan |
The Complexity of Predicting Atomicity Violations. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Rachid Guerraoui, Marko Vukolic |
A Scalable and Oblivious Atomicity Assertion. |
CONCUR |
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. |
International Conference on Computational Science (3) |
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. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber |
Proving Atomicity: An Assertional Approach. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
48 | John Hatcliff, Robby, Matthew B. Dwyer |
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Mikhail Nesterenko, Anish Arora |
Stabilization-Preserving Atomicity Refinement. |
DISC |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Paul Ammann, Sushil Jajodia, Indrakshi Ray |
Ensuring Atomicity of Multilevel Transactions. |
S&P |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
Hybrid Atomicity for Nested Transactions. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
45 | Tao Huang 0001, Xiaoning Ding, Jun Wei 0001 |
An application-semantics-based relaxed transaction model for internetware. |
Sci. China Ser. F Inf. Sci. |
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. |
ISCA |
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. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Debmalya Biswas, Ashwin Jiwane, Blaise Genest |
Atomicity for XML Databases. |
XSym |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Zdenek Letko, Tomás Vojnar, Bohuslav Krena |
AtomRace: data race and atomicity violation detector and healer. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney |
Retrenchment and the Atomicity Pattern. |
SEFM |
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. |
WAIM |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit |
Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency. |
Self-Stabilizing Systems |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Claudio Masolo, Laure Vieu |
Atomicity vs. Infinite Divisibility of Space. |
COSIT |
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. |
Formal Aspects Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
37 | David B. Lomet |
Transactions: From Local Atomicity to Atomicity in the Cloud. |
Dependable and Historic Computing |
2011 |
DBLP DOI BibTeX RDF |
|
35 | Yong-Jik Kim, James H. Anderson |
Adaptive mutual exclusion with local spinning. |
Distributed Comput. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
TrustBus |
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. |
OPODIS |
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. |
REX Workshop |
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. |
ASPLOS |
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. |
SSIRI |
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. |
IEEE Micro |
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. |
ACM Trans. Program. Lang. Syst. |
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. |
SPAA |
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. |
Distributed Comput. |
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. |
POPL |
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. |
IEEE Trans. Computers |
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. |
ESOP |
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. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Charles P. Wright, Richard P. Spillane, Gopalan Sivathanu, Erez Zadok |
Extending ACID semantics to the file system. |
ACM Trans. Storage |
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][ >>] |
|