CLU reference manual
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
The Recovery Manager of the System R Database Manager
ACM Computing Surveys (CSUR)
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performing remote operations efficiently on a local computer network
Communications of the ACM
Grapevine: an exercise in distributed computing
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Recovery semantics for a DB/DC system
ACM '73 Proceedings of the ACM annual conference
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Consistency in a partitioned network: a survey
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
Comparing how atomicity mechanisms support replication
ACM SIGOPS Operating Systems Review
KNOs: KNowledge acquisition, dissemination, and manipulation Objects
ACM Transactions on Information Systems (TOIS)
ACM Transactions on Graphics (TOG)
High-performance operating system primitives for robotics and real-time control systems
ACM Transactions on Computer Systems (TOCS)
Reference models, window systems, and concurrency
ACM SIGGRAPH Computer Graphics
ACM Transactions on Information Systems (TOIS)
Nested transactions and read-write locking
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A probe-based monitoring scheme for an object-oriented distributed operating system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Language support for changeable large real time systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A weighted voting algorithm for replicated directories
Journal of the ACM (JACM)
CHAOS- kernel support for objects in the real-time domain
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Recovery management in QuickSilver
ACM Transactions on Computer Systems (TOCS)
Programming and debugging distributed real-time applications in Ada
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
A pragmatic system for shared persistent objects
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A system for parallel programming
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Quorum consensus in nested transaction systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A theory of reliability in database systems
Journal of the ACM (JACM)
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed programming in Argus
Communications of the ACM
Remote pipes and procedures for efficient distributed communication
ACM Transactions on Computer Systems (TOCS)
Synchronizing Transactions on Objects
IEEE Transactions on Computers
Verification of Concurrent Control Flow in Distributed Computer Systems
IEEE Transactions on Software Engineering
A Language and System for the Construction and Tuning of Parallel Programs
IEEE Transactions on Software Engineering
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
ACM Transactions on Computer Systems (TOCS)
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
AVANCE: an object management system
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Reliable servers: design and implementation in avalon/C++
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Parallelizing a database programming language
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Granularity of modules in object-based concurrent systems
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Experience with Charlotte: Simplicity and Function in a Distributed Operating System
IEEE Transactions on Software Engineering
Timestamp-Based Orphan Elimination
IEEE Transactions on Software Engineering
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Invited talk: modular architectures for distributed and databases systems
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The impact of recovery on concurrency control
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Distributed Ada-approach and implementation
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Using histories to implement atomic objects
ACM Transactions on Computer Systems (TOCS)
Configuration support for system description, construction and evolution
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Failure Transparency in Remote Procedure Calls
IEEE Transactions on Computers
HyperIntelligence: the next frontier
Communications of the ACM
Concurrency and availability as dual properties of replicated atomic data
Journal of the ACM (JACM)
Linguistic support for atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing Remote Evaluation
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
COOL: kernel support for object-oriented environments
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Specification level interoperability
ICSE '90 Proceedings of the 12th international conference on Software engineering
Specification-level interoperability
Communications of the ACM - Special issue on software engineering
An architecture for distributed knowledge based-systems
ACM SIGMIS Database
Language and distributed system support for complex organizational services
COCS '91 Proceedings of the conference on Organizational computing systems
ACM Transactions on Database Systems (TODS)
Spawn: A Distributed Computational Economy
IEEE Transactions on Software Engineering
Experiences in integrating distributed shared memory with virtual memory management
ACM SIGOPS Operating Systems Review
Dealing with atomicity in object-based distributed systems
ACM SIGPLAN OOPS Messenger
An abstract model of rollback recovery control in distributed systems
ACM SIGOPS Operating Systems Review
On the correctness of orphan management algorithms
Journal of the ACM (JACM)
Adaptable concurrency control for atomic data types
ACM Transactions on Computer Systems (TOCS)
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
HOPL-II The second ACM SIGPLAN conference on History of programming languages
ACM SIGPLAN OOPS Messenger
Lightweight recoverable virtual memory
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Concurrent compacting garbage collection of a persistent heap
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A general abstract representation for the study of concurrent programs
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Lightweight recoverable virtual memory
ACM Transactions on Computer Systems (TOCS) - Special issue on operating systems principles
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Composing first-class transactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A run time support system for multiprocessor machines
ICS '90 Proceedings of the 4th international conference on Supercomputing
Implementing a distributed fault-tolerant embedded system in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
Transaction synchronisation in object bases
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Comparing how atomicity mechanisms support replication
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Distributed version management for read-only actions (extended abstract)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Replication and fault-tolerance in the ISIS system
Proceedings of the tenth ACM symposium on Operating systems principles
Reliable object storage to support atomic actions
Proceedings of the tenth ACM symposium on Operating systems principles
REQUEST II — a distributed database system for local area networks
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Pros and cons of operating system transactions for data base systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Language concepts using dynamic and distributed objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
Static checking of interprocess communication in ECSP
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
RAID: a robust and adaptable distributed system
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
Replication, reconfiguration, and the Argus mail repository
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
Using dynamic atomic actions to build fault tolerant systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Atomic data abstractions in a distributed collaborative editing system
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Flexible Robust Programming in Distributed Object Systems
IEEE Transactions on Knowledge and Data Engineering
Specifying Graceful Degradation
IEEE Transactions on Parallel and Distributed Systems
A Service Acquisition Mechanism for Server-Based Heterogeneous Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment
IEEE Transactions on Parallel and Distributed Systems
Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing
IEEE Transactions on Software Engineering
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience
IEEE Transactions on Software Engineering
Designing an Agent Synthesis System for Cross-RPC Communication
IEEE Transactions on Software Engineering
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems
IEEE Transactions on Software Engineering
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications
IEEE Transactions on Software Engineering
CSCW '86 Proceedings of the 1986 ACM conference on Computer-supported cooperative work
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
A Theory of Timestamp-Based Concurrency Control for Nested Transactions
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
STDL - A Portable Language for Transaction Processing
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Concurrency Features for the Trellis/Owl Language
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Concurrency Control in Transactional Drago
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Data-dependent concurrency control and recovery (Extended Abstract)
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Software for interactive on-line conferences
COCS '84 Proceedings of the second ACM-SIGOA conference on Office information systems
Interoperable Databases: A Programming Language Approach
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Language support for lightweight transactions
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Transaction management in Hermes
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A service acquisition mechanism for the client/service model in cygnus
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
A concurrency control protocol for nested transactions
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Kill-safe synchronization abstractions
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Finding and preventing run-time error handling mistakes
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
History of programming languages---II
AtomCaml: first-class atomicity via rollback
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
A transactional object calculus
Science of Computer Programming
Autolocker: synchronization inference for atomic sections
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploiting distributed version concurrency in a transactional memory cluster
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Exceptions and side-effects in atomic blocks
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
The Atomos transactional programming language
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Dynamic state restoration using versioning exceptions
Higher-Order and Symbolic Computation
An object-oriented environment for OIS applications
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Performance of concurrent servers generated automatically from sequential servers
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Exceptional situations and program reliability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming with Live Distributed Objects
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
An SR approach to multiway rendezvous
Computer Languages
Containment domains: a scalable, efficient, and flexible resilience scheme for exascale systems
SC '12 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Containment domains: A scalable, efficient and flexible resilience scheme for exascale systems
Scientific Programming - Selected Papers from Super Computing 2012
Hi-index | 0.04 |