Andrew S. Tanenbaum

Softw. Qual. J., 2016

A brief introduction to distributed systems.

[BibT_eX]

[DOI]

Computing, 2016

Lessons learned from 30 years of MINIX.

[BibT_eX]

[DOI]

Commun. ACM, 2016

Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

HSFI: Accurate Fault Injection Scalable to Large Code Bases.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

A NEaT Design for Reliable and Scalable Network Stacks.

[BibT_eX]

[DOI]

Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies, 2016

2015

Speculative Memory Checkpointing.

[BibT_eX]

[DOI]

Dirk Vogt

Armando Miraglia

Georgios Portokalidis

Andy Tanenbaum

Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015

A Methodology to Efficiently Compare Operating System Stability.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Lightweight Memory Checkpointing.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Techniques for efficient in-memory checkpointing.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2014

Towards a Flexible, Lightweight Virtualization Alternative.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Systems and Storage, 2014

On Sockets and System Calls: Minimizing Context Switches for the Socket API.

[BibT_eX]

[DOI]

Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

Mutable checkpoint-restart: automating live update for generic server programs.

[BibT_eX]

[DOI]

Calin Iorgulescu

Proceedings of the 15th International Middleware Conference, 2014

Putting the Pieces Together: The Construction of a Reliable Virtualizing Object-Based Storage Stack.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Computing and Networking, 2014

Evaluating Distortion in Fault Injection Experiments.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments.

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013

When Slower Is Faster: On Heterogeneous Multicores for Reliable Systems.

[BibT_eX]

[DOI]

Tomás Hrubý

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Transaction-Based Process Crash Recovery of File System Namespace Modules.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

EDFI: A Dependable Fault Injection Tool for Dependability Benchmarking Experiments.

[BibT_eX]

[DOI]

Anton Kuijsten

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Cache, cache everywhere, flushing all hits down the sink: On exclusivity in multilevel, hybrid caches.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Symposium on Mass Storage Systems and Technologies, 2013

Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer.

[BibT_eX]

[DOI]

Proceedings of the Lucky LISA: Proceedings of the 27th Large Installation System Administration Conference, 2013

Battling Bad Bits with Checksums in the Loris Page Cache.

[BibT_eX]

[DOI]

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

File-Level, Host-Side Flash Caching with Loris.

[BibT_eX]

[DOI]

Sharan Santhanam

Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013

Practical automated vulnerability monitoring using program state invariants.

[BibT_eX]

[DOI]

Lorenzo Cavallaro

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Safe and automatic live update for operating systems.

[BibT_eX]

[DOI]

Anton Kuijsten

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Enhanced Operating System Security Through Efficient and Fine-grained Address Space Randomization.

[BibT_eX]

[DOI]

Anton Kuijsten

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Integrated System and Process Crash Recovery in the Loris Storage Stack.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Networking, 2012

Integrating flash-based SSDs into the storage stack.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Symposium on Mass Storage Systems and Technologies, 2012

Safe and automated state transfer for secure and reliable live update.

[BibT_eX]

[DOI]

Richard van Heuven van Staereling

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

Keep net working - on a dependable and fast networking stack.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011

Efficient, Modular Metadata Management with Loris.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Networking, Architecture, and Storage, 2011

Flexible, modular file volume virtualization in Loris.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Symposium on Mass Storage Systems and Technologies, 2011

Integrated end-to-end dependability in the Loris storage stack.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Systems Security at VU University Amsterdam.

[BibT_eX]

[DOI]

Lorenzo Cavallaro

Proceedings of the First SysSec Workshop 2011, 2011

Computer networks, 5th Edition.

[BibT_eX]

[DOI]

David Wetherall

Pearson, ISBN: 0132553171, 2011

2010

MINIX 3: Status Report and Current Research.

[BibT_eX]

[DOI]

Classifying RFID attacks and defenses.

[BibT_eX]

[DOI]

Aikaterini Mitrokotsa

Inf. Syst. Frontiers, 2010

Loris - A Dependable, Modular File-Based Storage Stack.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Block-level RAID Is Dead.

[BibT_eX]

[DOI]

Proceedings of the 2nd USENIX Workshop on Hot Topics in Storage and File Systems, 2010

We Crashed, Now What?

[BibT_eX]

[DOI]

Lorenzo Cavallaro

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

2009

Enhancing a dependable multiserver operating system with temporal protection via resource reservations.

[BibT_eX]

[DOI]

Real Time Syst., 2009

Constructing secure mobile agent systems using the agent operating system.

[BibT_eX]

[DOI]

Benno J. Overeinder

Reinier J. Timmer

Int. J. Intell. Inf. Database Syst., 2009

Trustworthy Voting: From Machine to System.

[BibT_eX]

[DOI]

Nathanael Paul

Computer, 2009

Dealing with Driver Failures in the Storage Stack.

[BibT_eX]

[DOI]

Jorrit N. Herder

Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Cooperative Update: A New Model for Dependable Live Update.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Hot Topics in Software Upgrades, 2009

Fault isolation for device drivers.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

The Design of a Trustworthy Voting System.

[BibT_eX]

[DOI]

Nathanael Paul

Proceedings of the Twenty-Fifth Annual Computer Security Applications Conference, 2009

Modern operating systems, 3rd Edition.

[BibT_eX]

[DOI]

Pearson Prentice-Hall, ISBN: 0138134596, 2009

Moderne Betriebssysteme, 3. Auflage.

[BibT_eX]

Pearson Studium, ISBN: 978-3-8273-7342-7, 2009

2008

Turning Teenagers into Stores.

[BibT_eX]

[DOI]

Ron Gerrits

Computer, 2008

Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability).

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Classification of RFID Attacks.

[BibT_eX]

Aikaterini Mitrokotsa

Proceedings of the RFID Technology - Concepts, Applications, Challenges, Proceedings of the 2nd International Workshop on RFID Technology, 2008

Floodgate: A Micropayment Incentivized P2P Content Delivery Network.

[BibT_eX]

[DOI]

Erik Zentveld

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Enforcing DRM policies across applications.

[BibT_eX]

[DOI]

Gabriela Gheorghe

Proceedings of the 8th ACM Workshop on Digital Rights Management, 2008

Modern operating systems, 3rd Edition.

[BibT_eX]

Pearson Education, ISBN: 978-0-13-600663-3, 2008

Verteilte Systeme - Prinzipien und Paradigmen, 2. Auflage.

[BibT_eX]

[DOI]

Pearson Studium, 2008

2007

Roadmap to a Failure-Resilient Operating System.

[BibT_eX]

[DOI]

A Virtual Machine Based Information Flow Control System for Policy Enforcement.

[BibT_eX]

[DOI]

Patrick N. D. Simpson

Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, 2007

Design and implementation of a secure wide-area object middleware.

[BibT_eX]

[DOI]

Comput. Networks, 2007

A Secure Jailing System for Confining Untrusted Applications.

[BibT_eX]

Ádám Balogh

Rutger F. H. Hofman

Proceedings of the SECRYPT 2007, 2007

A Hybrid PKI-IBC Based Ephemerizer System.

[BibT_eX]

[DOI]

Muhammad Torabi Dashti

Proceedings of the New Approaches for Security, 2007

Guarding security sensitive content using confined mobile agents.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Failure Resilience for Device Drivers.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Distributed systems - principles and paradigms, 2nd Edition.

[BibT_eX]

Pearson Education, ISBN: 978-0-13-239227-3, 2007

2006

Modular System Programming in MINIX 3.

[BibT_eX]

[DOI]

A wide-area Distribution Network for free software.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2006

File size distribution on UNIX systems: then and now.

[BibT_eX]

[DOI]

Jorrit N. Herder

ACM SIGOPS Oper. Syst. Rev., 2006

MINIX 3: a highly reliable, self-repairing operating system.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2006

The Evolution of RFID Security.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2006

RFID malware: Design principles and examples.

[BibT_eX]

[DOI]

Patrick N. D. Simpson

Pervasive Mob. Comput., 2006

RFID malware: truth vs. myth.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2006

Reverse SSL: Improved Server Performance and DoS Resistance for SSL Handshakes.

[BibT_eX]

[DOI]

Kemal Bicakci

IACR Cryptol. ePrint Arch., 2006

Can We Make Operating Systems Reliable and Secure?

[BibT_eX]

[DOI]

Jorrit N. Herder

Computer, 2006

Taking Sensor Networks from the Lab to the Jungle.

[BibT_eX]

[DOI]

Chandana Gamage

Computer, 2006

Towards a Secure Application-Semantic Aware Policy Enforcement Architecture.

[BibT_eX]

[DOI]

Srijith K. Nair

Proceedings of the Security Protocols, 2006

An Identity-based Ring Signature Scheme with Enhanced Privacy.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Is Your Cat Infected with a Computer Virus?.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Pervasive Computing and Communications (PerCom 2006), 2006

A Platform for RFID Security and Privacy Administration (Awarded Best Paper!).

[BibT_eX]

[DOI]

Proceedings of the 20th Conference on Systems Administration (LISA 2006), 2006

Security for the Mythical Air-Dropped Sensor Network.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

Construction of a Highly Dependable Operating System.

[BibT_eX]

[DOI]

Proceedings of the Sixth European Dependable Computing Conference, 2006

Reorganizing UNIX for Reliability.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, 2006

Structured computer organization, 5th Edition.

[BibT_eX]

Pearson Education, ISBN: 978-0-13-148521-1, 2006

Operating systems - design and implementation, 3rd Edition.

[BibT_eX]

Albert S. Woodhull

Pearson Education, ISBN: 978-0-13-142938-3, 2006

Computerarchitektur - Strukturen, Konzepte, Grundlagen, 5th Edition.

[BibT_eX]

[DOI]

Pearson Education, ISBN: 978-3-8273-7151-5, 2006

2005

Enabling DRM-Preserving Digital Content Redistribution.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on E-Commerce Technology (CEC 2005), 2005

Keep on Blockin' in the Free World: Personal Access Control for Low-Cost RFID Tags.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2005

Keynote speech.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

How to incorporate revocation status information into the trust metrics for public-key certification.

[BibT_eX]

[DOI]

Kemal Bicakci

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Securely Replicated Web Documents.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

RFID Guardian: A Battery-Powered Mobile Device for RFID Privacy Management.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 10th Australasian Conference, 2005

Counting Abuses Using Flexible Off-line Credentials.

[BibT_eX]

[DOI]

Kemal Bicakci

Proceedings of the Information Security and Privacy, 10th Australasian Conference, 2005

2004

Safe and Private Data Sharing with Turtle: Friends Team-Up and Beat the System.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2004

Support for multi-level security policies in DRM architectures.

[BibT_eX]

[DOI]

Proceedings of the New Security Paradigms Workshop 2004, 2004

A DRM security architecture for home networks.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Workshop on Digital Rights Management 2004, Washington, 2004

Symmetric Key Authentication Services Revisited.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy: 9th Australasian Conference, 2004

Computerarchitektur - Strukturen, Konzepte, Grundlagen, 4. Auflage.

[BibT_eX]

[DOI]

James R. Goodman

Pearson Studium, ISBN: 978-3-8273-7148-5, 2004

2003

Enforcing Security Policies for Distributed Objects Applications.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2003

A Certificate Revocation Scheme for a Large-Scale Highly Replicated Distributed System.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

Secure Data Replication over Untrusted Hosts.

[BibT_eX]

[DOI]

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

Computernetzwerke, 4. Auflage.

[BibT_eX]

Pearson Studium, ISBN: 978-3-8273-7046-4, 2003

Verteilte Systeme - Grundlagen und Paradigmen.

[BibT_eX]

[DOI]

Pearson Studium, ISBN: 978-3-8273-7057-0, 2003

2002

Dynamically Selecting Optimal Distribution Strategies for Web Documents.

[BibT_eX]

[DOI]

Guillaume Pierre

IEEE Trans. Computers, 2002

Access control, reverse access control and replication control in a world wide distributed system.

[BibT_eX]

[DOI]

Chandana Gamage

Proceedings of the Advanced Communications and Multimedia Security, 2002

A Security Architecture for Object-Based Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

Computer networks, 4th Edition.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-038488-1, 2002

Moderne Betriebssysteme, 2. überarbeitete Auflage.

[BibT_eX]

Pearson Studium, ISBN: 978-3-8273-7019-8, 2002

2001

Scalable Human-Friendly Resource Names.

[BibT_eX]

[DOI]

Gerco Ballintijn

IEEE Internet Comput., 2001

Encapsulating distribution by remote objects.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2001

Differentiated strategies for replicating Web documents.

[BibT_eX]

[DOI]

Comput. Commun., 2001

Efficient Tracking of Mobile Objects in Globe.

[BibT_eX]

[DOI]

Comput. J., 2001

A Law-Abiding Peer-to-Peer Network for Free-Software Distribution.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001

Mansion, A Distributed Multi-Agent System.

[BibT_eX]

[DOI]

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

Modern operating systems, 2nd Edition.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-031358-4, 2001

Computerarchitektur - Strukturen, Konzepte, Grundlagen, 4. Auflage.

[BibT_eX]

James R. Goodman

Pearson Studium, ISBN: 978-3-8273-7016-7, 2001

2000

The Distributed ASCI Supercomputer Project.

[BibT_eX]

[DOI]

Stan J. A. van Gisbergen

Arjan J. C. van Gemund

Peter M. W. Knijnenburg

ACM SIGOPS Oper. Syst. Rev., 2000

The Globe Distribution Network.

[BibT_eX]

[DOI]

Proceedings of the Freenix Track: 2000 USENIX Annual Technical Conference, 2000

Disallowing Unauthorized State Changes of Distributed Shared Objects.

[BibT_eX]

Proceedings of the Information Security for Global Information Infrastructures, 2000

Computernetzwerke, 3. Auflage.

[BibT_eX]

Pearson Studium, ISBN: 978-3-8273-7011-2, 2000

1999

Globe: a wide area distributed system.

[BibT_eX]

[DOI]

Philip Homburg

IEEE Concurr., 1999

A scalable middleware solution for advanced wide-area Web services.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1999

A Security Design for a Wide-Area Distributed System.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology, 1999

From Remote Objects to Physically Distributed Objects.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

1998

Locating objects in wide-area systems.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 1998

Algorithmic Design of the Globe Wide-Area Location Service.

[BibT_eX]

[DOI]

Comput. J., 1998

Replicated invocations in wide-area systems.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

A Framework for Consistent, Replicated Web Objects.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

Report on the Seventh ACM SIGOPS European Workshop.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1997

Hawk: a Runtime System for Partitioned Objects*.

[BibT_eX]

[DOI]

Saniya Ben Hassen

Parallel Algorithms Appl., 1997

1996

An architecture for a wide area distributed system.

[BibT_eX]

[DOI]

Philip Homburg

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

An Evaluation of the Amoeba Group Communication System.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Computer Networks, 3rd Edition.

[BibT_eX]

[DOI]

Prentice-Hall international editions, Prentice Hall, ISBN: 0-13-394248-1, 1996

1995

A comparison of three microkernels.

[BibT_eX]

[DOI]

J. Supercomput., 1995

Paramecium: an extensible object-based kernel.

[BibT_eX]

[DOI]

Leendert van Doorn

Philip Homburg

Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

Verteilte Betriebssysteme.

[BibT_eX]

Prentice Hall, ISBN: 978-3-930436-23-1, 1995

Moderne Betriebssysteme, 2. Auflage.

[BibT_eX]

Hanser Studien-Bücher der Informatik, Hanser, ISBN: 978-3-446-18402-2, 1995

Distributed operating systems.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-143934-4, 1995

1994

Object-based approach to programming distributed systems.

[BibT_eX]

[DOI]

Concurr. Pract. Exp., 1994

Using Active Messages to Support Shared Objects.

[BibT_eX]

[DOI]

Leendert van Doorn

Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

1993

FLIP: An Internetwork Protocol for Supporting Distributed Systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1993

Distributed operating systems anno 1992. What have we learned so far?

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1993

Group communication in Amoeba and its applications.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1993

Using Group Communication to Implement a Fault-Tolerant Directory Service.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

Programming a Distributed System Using Shared Objects.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on High Performance Distributed Computing, 1993

Panel - The Virtual Heterogeneous Supercomputer: Can It Be Built?

[BibT_eX]

Proceedings of the Second International Symposium on High Performance Distributed Computing, 1993

1992

Orca: A Language For Parallel Programming of Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1992

A Comparison of Two Paradigms for Distributed Shared Memory.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1992

FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract).

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1992

Replication techniques for speeding up parallel applications on distributed systems.

[BibT_eX]

[DOI]

Concurr. Pract. Exp., 1992

Parallel Programming Using Shared Objects and Broadcasting.

[BibT_eX]

[DOI]

Computer, 1992

An experimental comparison of remote procedure call and group communication.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Modern Operating Systems

[BibT_eX]

Prentice-Hall, ISBN: 0-13-588187-0, 1992

Computer-Netzwerke.

[BibT_eX]

Wolfram's Anwender- und Programmierhandbücher, Wolfram's Verlag, ISBN: 978-3-925328-79-4, 1992

1991

Fault Tolerance Using Group Communication.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1991

A Comparison of Two Distributed Systems: Amoeba and Sprite.

[BibT_eX]

[DOI]

Comput. Syst., 1991

The Amoeba distributed operating system - A status report.

[BibT_eX]

[DOI]

Comput. Commun., 1991

Distributed Programming with Shared Data.

[BibT_eX]

[DOI]

Comput. Lang., 1991

Group communication in the Amoeba distributed operating system.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990

Orca: a language for distributed programming.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1990

Amoeba: A Distributed Operating System for the 1990s.

[BibT_eX]

[DOI]

Computer, 1990

Experiences with the Amoeba Distributed Operating System.

[BibT_eX]

[DOI]

Commun. ACM, 1990

Experience with Distributed Programming in ORCA.

[BibT_eX]

[DOI]

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

Structured computer organization, 3rd Edition.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-852872-0, 1990

1989

The Performance of the Amoeba Distributed Operating system.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1989

The design of very fast portable compilers.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1989

An Efficient Reliable Broadcast Protocol.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1989

Programming Languages for Distributed Computing Systems.

[BibT_eX]

[DOI]

Jennifer G. Steiner

ACM Comput. Surv., 1989

On the Design of the Amoeba Configuration Manager.

[BibT_eX]

[DOI]

Erik H. Baalbergen

Proceedings of the 2nd International Workshop on Software Configuration Management, 1989

The Evolution of a Distributed Operating System.

[BibT_eX]

[DOI]

Proceedings of the Process in Distributed Operating Systems and Distributed Systems Management, 1989

The Design of a High-Performance File Server.

[BibT_eX]

[DOI]

Annita N. Wilschut

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

Performance of the World's Fastest Distributed Operating System.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1988

Functional specialization in distributed operating systems.

[BibT_eX]

[DOI]

Gregory J. Sharp

Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

Voting with Ghosts.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

Computer Networks, Second Edition.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-166836-2, 1988

1987

Two Access Methods Using Compact Binary Trees.

[BibT_eX]

[DOI]

Wiebren de Jonge

Reind P. van de Riet

IEEE Trans. Software Eng., 1987

A Unic Clone with Source Code for Operating Systems Courses.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1987

Reliability Issues in Distributed Operating Systems.

[BibT_eX]

Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

Connecting RPC-Based Distributed Systems Using Wide-Area Networks.

[BibT_eX]

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

Operating systems: design and implementation.

[BibT_eX]

[DOI]

Prentice-Hall software series, Prentice-Hall, ISBN: 0136373313, 1987

1986

Language- and Machine-Independent Global Optimization on Intermediate Code.

[BibT_eX]

[DOI]

Comput. Lang., 1986

The Design of a Capability-Based Distributed Operating System.

[BibT_eX]

[DOI]

Comput. J., 1986

Making distributed systems palatable.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

Using Sparse Capabilities in a Distributed Operating System.

[BibT_eX]

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985

Distributed Operating Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1985

A Distributed File Service Based on Optimistic Concurrency Control.

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM Symposium on Operating System Principles, 1985

1984

Immediate Files.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1984

Does anybody out there want to write HALF of a compiler?

[BibT_eX]

[DOI]

Ed Keizer

ACM SIGPLAN Notices, 1984

Protection and Resource Control in Distributed Operating Systems.

[BibT_eX]

[DOI]

Comput. Networks, 1984

1983

A Practicel Tool Kit for Making Portable Compilers.

[BibT_eX]

[DOI]

Commun. ACM, 1983

1982

Using Peephole Optimization on Intermediate Code.

[BibT_eX]

[DOI]

Johan W. Stevenson

ACM Trans. Program. Lang. Syst., 1982

Operating System Requirements for Distributed Data Base Systems.

[BibT_eX]

Proceedings of the Second International Symposium on Distributed Data Bases, 1982

1981

An Overview of the Amoeba Distributed Operating System.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1981

Network Protocols.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1981

Computer Networks

[BibT_eX]

Prentice-Hall, ISBN: 0-13-165183-8, 1981

1979

A Method for Implementing Paged, Segmented Virtual Memories on Microprogrammable Computers.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1979

Efficient encoding of machine instructions.

[BibT_eX]

[DOI]

Johan W. Stevenson

SIGARCH Comput. Archit. News, 1979

1978

Guidelines for Software Portability.

[BibT_eX]

[DOI]

Paul Klint

A. P. Wim Böhm

Softw. Pract. Exp., 1978

Review of Processor architecture by S. H. Lavington. NCC Publications, Manchester 1976.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1978

A Comparison of PASCAL and ALGOL 68.

[BibT_eX]

[DOI]

Comput. J., 1978

Implications of Structured Programming for Machine Architecture.

[BibT_eX]

[DOI]

Commun. ACM, 1978

1977

Ambiguous machine architecture and program efficiency.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1977

Corrigenda: "A Tutorial on Algol 68".

[BibT_eX]

[DOI]

ACM Comput. Surv., 1977

1976

A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1976

In defense of program testing or correctness proofs considered harmful.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1976

A Tutorial on Algol 68.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1976

1973

The People's Time Sharing System.

[BibT_eX]

[DOI]