Avi Silberschatz

Affiliations:
  • Yale University, New Haven, Connecticut, USA


According to our database1, Avi Silberschatz authored at least 229 papers between 1976 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 1996, "For superb research contributions in the areas of databases, multimedia systems and concurrency control, outstanding contribution to Computer Science education and outstanding service to the ACM community.".

IEEE Fellow

IEEE Fellow 2000, "For contributions to the development of computer systems dealing with the efficient manipulation and processing of information.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Research Pearl: The ROSI Operating System Interface.
CoRR, 2024

2021
Don't Let RPCs Constrain Your API.
Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

2020
Database System Concepts, Seventh Edition.
McGraw-Hill Book Company, ISBN: 9780078022159, 2020

2019
Integration of Large-Scale Data Processing Systems and Traditional Parallel Database Technology.
Proc. VLDB Endow., 2019

2018
Operating System Concepts, 10th Edition.
Wiley, ISBN: 978-1-118-06333-0, 2018

2016
Multi-View Kernel Consensus For Data Analysis and Signal Processing.
CoRR, 2016

2015
Private Eyes: Secure Remote Biometric Authentication.
Proceedings of the SECRYPT 2015, 2015

2014
Operating System Concepts Essentials, 2nd Edition.
Wiley, ISBN: 978-1-118-80492-6, 2014

Operating System Concepts - International Student Version, 9th Edition.
Wiley, ISBN: 978-1-118-09375-7, 2014

Data Models.
Proceedings of the Computing Handbook, 2014

2013
Learning and verifying quantified boolean queries by example.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Invisible loading: access-driven data transfer from raw files into database systems.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

An Optimistic Concurrency Control Protocol for Replicated Databases.
Proceedings of the Fundamental Problems in Computing, 2013

2012
Playful Query Specification with DataPlay.
Proc. VLDB Endow., 2012

DataPlay: interactive tweaking and example-driven correction of graphical database queries.
Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, 2012

2011
Efficient processing of data warehousing queries in a split execution environment.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Database System Concepts, Sixth Edition.
McGraw-Hill Book Company, ISBN: 978-0-07-352332-3, 2011

2010
HadoopDB in action: building real world applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

2009
HadoopDB: An Architectural Hybrid of MapReduce and DBMS Technologies for Analytical Workloads.
Proc. VLDB Endow., 2009

2008
P4p: provider portal for applications.
Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

Towards an ISP-Compliant, Peer-Friendly Design for Peer-to-Peer Networks.
Proceedings of the NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, 2008

2007
Application of Information Technology: Dynamic Tables: An Architecture for Managing Evolving, Heterogeneous Biomedical Data in Relational Database Management Systems.
J. Am. Medical Informatics Assoc., 2007

2005
On route selection for interdomain traffic engineering.
IEEE Netw., 2005

The Lowell database research self-assessment.
Commun. ACM, 2005

Optimal ISP subscription for Internet multihoming: algorithm design and implication analysis.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

On the Stability of Rational, Heterogeneous Interdomain Route Selection.
Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005

Stable Egress Route Selection for Interdomain Traffic Engineering: Model and Analysis.
Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005

Database System Concepts, 5th Edition.
McGraw-Hill Book Company, ISBN: 978-0-07-295886-7, 2005

Operating system concepts, 7th Edition.
Wiley, ISBN: 978-0-471-69466-3, 2005

2004
Topology discovery in heterogeneous IP networks: the <i>NetInventory</i> system.
IEEE/ACM Trans. Netw., 2004

PORTIA: Privacy, Obligations, and Rights in Technologies of Information Assessment.
IEEE Data Eng. Bull., 2004

Operating systems concepts with Java, 6th Edition.
Wiley, ISBN: 978-0-471-45249-2, 2004

2003
Detection and Recovery Techniques for Database Corruption.
IEEE Trans. Knowl. Data Eng., 2003

Information technology challenges of biodiversity and ecosystems informatics.
Inf. Syst., 2003

2002
Database Systems.
Proceedings of the Encyclopedia of Information Systems, 2002

Algorithms for provisioning virtual private networks in the hose model.
IEEE/ACM Trans. Netw., 2002

Competitive On-line Scheduling of Continuous-Media Streams.
J. Comput. Syst. Sci., 2002

Operating System Concepts, Sixth Edition
John Wiley, ISBN: 0-471-41743-2, 2002

2001
Overcoming Heterogeneity and Autonomy in Multidatabase Systems.
Inf. Comput., 2001

Efficiently Monitoring Bandwidth and Latency in IP Networks.
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

Design and Evaluation of Redistribution Strategies for Wide-Area Commodity Distribution.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000
Improving Predictability of Transaction Execution Times in Real-time Databases.
Real Time Syst., 2000

Guest Editorial: Continuous Media Databases.
Multim. Tools Appl., 2000

New directions in services management.
Bell Labs Tech. J., 2000

Signaled Receiver Processing.
Proceedings of the General Track: 2000 USENIX Annual Technical Conference, 2000

Building appliances out of components using Pebble.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Topology Discovery in Heterogeneous IP Networks.
Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

Performance Analysis of Storage Systems.
Proceedings of the Performance Evaluation: Origins and Directions, 2000

Applied Operating System Concepts, First Edition
John Wiley, ISBN: 0-471-36508-4, 2000

1999
User-level billing and accounting in IP networks.
Bell Labs Tech. J., 1999

PANACE: A System That Uses Database Technology to Manage Networks.
Proceedings of the Databases in Telecommunications, 1999

The Pebble Component-Based Operating System.
Proceedings of the 1999 USENIX Annual Technical Conference, 1999

Retrofitting Quality of Service into a Time-Sharing Operating System.
Proceedings of the 1999 USENIX Annual Technical Conference, 1999

Update Propagation Protocols For Replicated Databases.
Proceedings of the SIGMOD 1999, 1999

DataBlitz Storage Manager: Main Memory Database Performance for Critical Applications.
Proceedings of the SIGMOD 1999, 1999

Disk Scheduling with Quality of Service Guarantees.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Scheduling and Data Replication to Improve Tape Jukebox Performance.
Proceedings of the 15th International Conference on Data Engineering, 1999

Using Codewords to Protect Database Data from a Class of Software Errors.
Proceedings of the 15th International Conference on Data Engineering, 1999

Pebble: A Component-based Operating System for Embedded Applications.
Proceedings of the USENIX Workshop on Embedded Systems 1999, 1999

1998
Garbage Collection in Object-Oriented Databases Using Transactional Cyclic Reference Counting.
VLDB J., 1998

On Periodic Resource scheduling for Continuous-Media Databases.
VLDB J., 1998

Ensuring Consistency in Multidatabases by Preserving Two-Level Serializability.
ACM Trans. Database Syst., 1998

On Correctness of Nonserializable Executions.
J. Comput. Syst. Sci., 1998

Distributed Multi-Level Recovery in Main-Memory Databases.
Distributed Parallel Databases, 1998

Sunrise: A real-time event-processing system.
Bell Labs Tech. J., 1998

On the Discovery of Interesting Patterns in Association Rules.
Proceedings of the VLDB'98, 1998

Information, Communication, and Money: For What Can We Charge and How Can We Meter It?
Proceedings of the VLDB'98, 1998

A Database System for Real-Time Event Aggregation in Telecommunication.
Proceedings of the VLDB'98, 1998


The Eclipse Operating System: Providing Quality of Service via Reservation Domains.
Proceedings of the 1998 USENIX Annual Technical Conference, 1998

Throughput-Competitive Admission Control for Continuous Media Databases.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Cyclic Association Rules.
Proceedings of the Fourteenth International Conference on Data Engineering, 1998

Operating System Concepts, 5th Edition.
Addison-Wesley-Longman, ISBN: 978-0-201-54262-2, 1998

1997
Concurrency Control in Hierarchical Multidatabase Systems.
VLDB J., 1997

Database Systems - Breaking Out of the Box.
SIGMOD Rec., 1997

Architecture Issues In Multimedia Storage Systems.
SIGMETRICS Perform. Evaluation Rev., 1997

The Architecture of the Dalí Main-Memory Storage Manager.
Multim. Tools Appl., 1997

A Counter-Example to an Algorithm for the Generalized Input-Output Construct of CSP.
Inf. Process. Lett., 1997

Database Research Faces the Information Explosion.
Commun. ACM, 1997

The architecture of the Dalí main memory storage manager.
Bell Labs Tech. J., 1997

Resource Scheduling in Enhanced Pay-Per-View Continuous Media Databases.
Proceedings of the VLDB'97, 1997

Logical and Physical Versioning in Main Memory Databases.
Proceedings of the VLDB'97, 1997

Lightweight Security Primitives for E-Commerce.
Proceedings of the 1st USENIX Symposium on Internet Technologies and Systems, 1997

Storage and Retrieval of Multimedia Objects.
Proceedings of the 7th International Workshop on Research Issues in Data Engineering (RIDE '97) High Performance Database Management for Large-Scale Applications, 1997

Move-to-Rear List Scheduling: A New Scheduling Algorithm for Providing QoS Guarantees.
Proceedings of the Fifth ACM International Conference on Multimedia '97, 1997

Multimedia support for databases.
Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), 1997

Periodic Retrieval of Videos from Disk Arrays.
Proceedings of the Thirteenth International Conference on Data Engineering, 1997

New and Forgotten Dreams in Database Research (Panel).
Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Database System Concepts, 3rd Edition.
McGraw-Hill Book Company, ISBN: 0-07-044756-X, 1997

Data Models.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
What Makes Patterns Interesting in Knowledge Discovery Systems.
IEEE Trans. Knowl. Data Eng., 1996

Database Research: Achievements and Opportunities Into the 21st Century.
SIGMOD Rec., 1996

On the Design of a Low-Cost Video-on-Demand Storage System.
Multim. Syst., 1996

Strategic Directions in Database Systems - Breaking Out of the Box.
ACM Comput. Surv., 1996

Data Models.
ACM Comput. Surv., 1996

Modeling Skewed Distribution Using Multifractals and the '80-20' Law.
Proceedings of the VLDB'96, 1996

Recovering scalable spin locks.
Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

Fault-tolerant Architectures for Continuous Media Servers.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Random I/O Scheduling in Online Tertiary Storage Systems.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Bifocal Sampling for Skew-Resistant Join Size Estimation.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

On the Modeling and Performance Characteristics of a Serpentine Tape Drive.
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1996

Efficient and Acurate Cost Models for Parallel Query Optimization.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Buffer Replacement Algorithms for Multimedia Storage Systems.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1996

On the Storage and Retrieval of Continous Media Data (Abstract).
Proceedings of the Beherrschung von Informationssystemen, 1996

The Storage and Retrieval of Continuous Media Data.
Proceedings of the Multimedia Database System: Issues and Research Direction, 1996

1995
Databases with Deadline and Contingency Constraints.
IEEE Trans. Knowl. Data Eng., 1995

Mapping Datalog Program Execution to Networks of Procesors.
IEEE Trans. Knowl. Data Eng., 1995

A Disk-Based Storage Architecture for Movie on Demand Servers.
Inf. Syst., 1995

The CORDS Multidatabase Project.
IBM Syst. J., 1995

Disk Striping in Video Server Environments.
IEEE Data Eng. Bull., 1995

Research Issues in Multimedia Storage Servers.
ACM Comput. Surv., 1995

Scientific Journals: Extinction or Explosion? (Panel).
Proceedings of the VLDB'95, 1995

Recoverable user-level mutual exclusion.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

View Maintenance Issues for the Chronicle Data Model.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

On Subjective Measures of Interestingness in Knowledge Discovery.
Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95), 1995

Demand Paging for Video-on-Demand Servers.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1995

A Framework for the Storage and Retrieval of Continous Media Data.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1995

Exploiting Transaction Semantics in Multidatabase Systems.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

On the Storage and Retrieval of Continiuous Media Data.
Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

Autonomous Transaction Managers in Responsive Computing.
Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995

Transaction Management in Multidatabase Systems.
Proceedings of the Modern Database Systems: The Object Model, 1995

1994
A Low-Cost Storage Server for Movie on Demand Databases.
Proceedings of the VLDB'94, 1994

Challenges for Global Information Systems.
Proceedings of the VLDB'94, 1994

Dalí: A High Performance Main Memory Storage Manager.
Proceedings of the VLDB'94, 1994

Virtual computers-a new paradigm for distributed operating systems.
Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

Adaptive Commitment for Distributed Real-Time Transactions.
Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994

On the Storage and Retrieval of Continuous Media Data.
Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994

Operating System Concepts, 4th edition.
Addison-Wesley, ISBN: 0-201-50480-4, 1994

1993
Report of the Workshop on Semantic Heterogeneity and Interoperation in Multidatabase Systems.
SIGMOD Rec., 1993

Transcending the Serializability Requirement.
IEEE Data Eng. Bull., 1993

Performance Evaluation of Two Multidatabase Transaction Management Algorithms.
Comput. Syst., 1993

Recovering from Main-Memory Lapses.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Scalable and Non-Intrusive Load Sharing in Owner-Based Distributed Systems.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

On Correctness of Non-serializable Executions.
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Strict Histories in Object-Based Database Systems.
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

System-Wide Multiresolution.
Proceedings of the NGITS' 93, 1993

Kernel Support for Recoverable-Persistent Virtual Memory.
Proceedings of the USENIX MACH III Symposium, Santa Fe, New Mexico, USA, April 19-21, 1993, 1993

Efficient Global Transaction Management in Multidatabase Systems.
Proceedings of the 3rd International Conference on Database Systems for Advanced Applications (DASFAA), 1993

1992
Transaction Management Issues in a Failure-Prone Multidatabase System Environment
VLDB J., 1992

Overview of Multidatabase Transaction Management
VLDB J., 1992

Incremental Recovery in Main Memory Database Systems.
IEEE Trans. Knowl. Data Eng., 1992

Parallel Bottom-Up Processing of Datalog Queries.
J. Log. Program., 1992

A Multi-Resolution Relational Data Model.
Proceedings of the 18th International Conference on Very Large Data Bases, 1992

The Concurrency Control Problem in Multidatabases: Characteristics and Solutions.
Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

Relaxing Serializability in Multidatabase Systems.
Proceedings of the RIDE-TQP '92, 1992

Strong Recoverability in Multidatabase Systems.
Proceedings of the RIDE-TQP '92, 1992

Ensuring Transaction Atomicity in Multidatabase Systems.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

A Transaction Model for Multidatabase Systems.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991
On Rigorous Transaction Scheduling.
IEEE Trans. Software Eng., 1991

Decomposability and its Role in Parallel Logic Program Evaluation.
J. Log. Program., 1991

Failure-Resilient Transaction Management in Multidatabases.
Computer, 1991

Database Systems: Achievements and Opportunities.
Commun. ACM, 1991

Addendum to Null Values in Nested Relational Databases.
Acta Informatica, 1991

An Optimistic Commit Protocol for Distributed Transaction Management.
Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991

A Theory of Relaxed Atomicity (Extended Abstract).
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Non-Serializable Executions in Heterogeneous Distributed Database Systems.
Proceedings of the First International Conference on Parallel and Distributed Information Systems (PDIS 1991), 1991

Unilateral Commit: A New Paradigm for Reliable Distributed Transaction Processing.
Proceedings of the Seventh International Conference on Data Engineering, 1991

An Analysis Technique for Transitive Closure Algorithms: A Statistical Approach.
Proceedings of the Seventh International Conference on Data Engineering, 1991

Deadlock problems in a multidatabase environment.
Proceedings of the Compcon Spring '91, San Francisco, 1991

Database System Concepts, 2nd Edition.
McGraw-Hill Book Company, 1991

Operating System Concepts, 3rd Edition.
Addison-Wesley, ISBN: 978-0-201-51379-0, 1991

1990
Database Systems: Achievements and Opportunities - The "Lagunita" Report of the NSF Invitational Workshop on the Future of Database System Research held in Palo Alto, California, February 22-23, 1990.
SIGMOD Rec., 1990

On the Interconnection Constants of Hopfield Nets.
Formal Aspects Comput., 1990

Distributed File Systems: Concepts and Examples.
ACM Comput. Surv., 1990

Triggered Real-Time Databases with Consistency Constraints.
Proceedings of the 16th International Conference on Very Large Data Bases, 1990

A Formal Approach to Recovery by Compensating Transactions.
Proceedings of the 16th International Conference on Very Large Data Bases, 1990

A Framework for the Parallel Processing of Datalog Queries.
Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

Reliable Transaction Management in a Multidatabase System.
Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

Data-value Partitioning and Virtual Messages.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

Log-driven backups: A recovery scheme for large memory database systems.
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

Multidatabase performance evaluation.
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

1989
Null Values in Nested Relational Databases.
Acta Informatica, 1989

1988
Extended Algebra and Calculus for Nested Relational Databases.
ACM Trans. Database Syst., 1988

PICASSO: a Graphical Query Language.
Softw. Pract. Exp., 1988

Distributed Processing of Logic Programs.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Multidatabase Update Issues.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

An Axiomatic Approach to Deciding Query Safety in Deductive Databases.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

1987
An Update Mechanism for Multidatabase Systems.
IEEE Data Eng. Bull., 1987

Safety of Recursive Horn Clauses With Infinite Relations.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986
Mapping Homogeneous Graphs on Linear Arrays.
IEEE Trans. Computers, 1986

Safety of Recursive Horn Clauses With Function Symbols.
Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

Annotations for Distributed Programming in Logic.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Database System Concepts, 1st Edition.
McGraw-Hill Book Company, ISBN: 0-07-100529-3, 1986

1985
Beyond Two-Phase Locking
J. ACM, April, 1985

Lock Conversion in Non-Two-Phase Locking Protocols.
IEEE Trans. Software Eng., 1985

4.2BSD and 4.3BSD as Examples of the UNIX System.
ACM Comput. Surv., 1985

Error Propagation and Recovery in Concurrent Environments.
Comput. J., 1985

The MR Diagram - A Model for Conceptual Database Design.
Proceedings of the VLDB'85, 1985

1984
Compatibility and Commutativity of Lock Modes
Inf. Control., April, 1984

Cell: A Distributed Computing Modularization Concept.
IEEE Trans. Software Eng., 1984

On the Heterogeneous Guard Locking Protocol.
Comput. J., 1984

Concurrency Control in Graph Protocols by Using Edge Locks.
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

A Failure Tolerant Centralized Mutual Exclusion Algorithm.
Proceedings of the 4th International Conference on Distributed Computing Systems, 1984

Eliminating Cascading Rollback in Structured Database.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983
Locking Protocols: From Exclusive to Shared Locks
J. ACM, October, 1983

A Case for Non-Two-Phase Locking Protocols that Ensure Atomicity.
IEEE Trans. Software Eng., 1983

Extending CSP to Allow Dynamic Resource Management.
IEEE Trans. Software Eng., 1983

Access-Right Expressions.
ACM Trans. Program. Lang. Syst., 1983

An Effective Implementation for the Generalized Input-Output Construct of CSP.
ACM Trans. Program. Lang. Syst., 1983

Obtaining Progressive Protocols for a Simple Multiversion Database Model.
Proceedings of the 9th International Conference on Very Large Data Bases, October 31, 1983

On Mapping Homogeneous Graphs on a Linear Array-Processor Model.
Proceedings of the International Conference on Parallel Processing, 1983

1982
A Family of Locking Protocols for Database Systems that Are Modeled by Directed Graphs.
IEEE Trans. Software Eng., 1982

On the Generalized Critical Region Construct.
ACM SIGOPS Oper. Syst. Rev., 1982

On the Static Access-Control Mechanism in Concurrent Pascal.
Comput. J., 1982

An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols.
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

Compatibility and Commutativity in Non-two-phase Locking Protocols.
Proceedings of the ACM Symposium on Principles of Database Systems, 1982

A Multi-Version Concurrency Scheme With No Rollbacks.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

A Biased Non-Two-Phase Locking Protocol.
Proceedings of the Second International Conference on Databases: Improving Database Usability and Responsiveness, 1982

1981
On the Access-control Mechanism of the Program Component Manager.
Softw. Pract. Exp., 1981

An extension to the language-based access-control mechanism of Jones and Liskov.
ACM SIGPLAN Notices, 1981

A note on the distributed program component cell.
ACM SIGPLAN Notices, 1981

On the synchronization mechanism of the ADA language.
ACM SIGPLAN Notices, 1981

Port Directed Communication.
Comput. J., 1981

A Characterization of Database Graphs Admitting a Simple Locking Protocol.
Acta Informatica, 1981

A Theory of Correct Locking Protocols for Database Systems
Proceedings of the Very Large Data Bases, 1981

Deadlock Removal Using Partial Rollback in Database Systems.
Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29, 1981

1980
The external consistency of abstract data types.
ACM SIGPLAN Notices, 1980

Consistency in Hierarchical Database Systems.
J. ACM, 1980

Non-Two-Phase Locking Protocols with Shared and Exclusive Locks.
Proceedings of the Sixth International Conference on Very Large Data Bases, 1980

1979
Communication and Synchronization in Distributed Systems.
IEEE Trans. Software Eng., 1979

Comments on "Communicating Sequential Processes".
ACM Trans. Program. Lang. Syst., 1979

On the Safety of the IO Primitive in Concurrent PASCAL.
Comput. J., 1979

Controlling Concurrency Using Locking Protocols (Preliminary Report)
Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

1978
Capability Managers.
IEEE Trans. Software Eng., 1978

Conditions for the Equivalence of Synchronous and Asynchronous Systems.
IEEE Trans. Software Eng., 1978

Remarks on "Some Comments on Concurrent Readers and Writers" by Reidar Conradi.
Acta Informatica, 1978

Serializability in multi-level monitor environments.
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977
Extending Concurrent Pascal to Allow Dynamic Resource Management.
IEEE Trans. Software Eng., 1977

1976
Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract).
Proceedings of the 2nd International Conference on Software Engineering, 1976


  Loading...