Conferences in DBLP
Arthur J. Bernstein , Paul K. Harter Jr. Proving Real-Time Properties of Programs with Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby Design and Verification of Secure Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Joel F. Bartlett A NonStop Kernel. [Citation Graph (17, 0)][DBLP ] Conf ] Hugh C. Lauer Observations on the Development of an Operating System. [Citation Graph (0, 0)][DBLP ] Conf ] M. Fridrich , William J. Older The Felix File System. [Citation Graph (0, 0)][DBLP ] Conf ] James G. Mitchell , Jeremy Dion A Comparison of Two Network-Based File Servers. [Citation Graph (1, 0)][DBLP ] Conf ] Liba Svobodova A Reliable Object-Oriented Data Repository for a Distributed Computer System. [Citation Graph (3, 0)][DBLP ] Conf ] A. J. Herbert , Roger M. Needham Sequencing Computation Steps in a Network. [Citation Graph (0, 0)][DBLP ] Conf ] Richard F. Rashid , George G. Robertson Accent: A Communication Oriented Network Operating System Kernel. [Citation Graph (2, 0)][DBLP ] Conf ] Alfred Z. Spector Performing Remore Operations Efficiently on a Local Computer Network (Summary). [Citation Graph (0, 0)][DBLP ] Conf ] Özalp Babaoglu , William N. Joy Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits. [Citation Graph (1, 0)][DBLP ] Conf ] Richard W. Carr , John L. Hennessy WSClock - A Simple and Effective Algorithm for Virtual Memory Management. [Citation Graph (1, 0)][DBLP ] Conf ] Mahadev Satyanarayanan A Study of File Sizes and Functional Lifetimes. [Citation Graph (3, 0)][DBLP ] Conf ] Matt Bishop Hierarchical Take-Grant Protection Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David K. Gifford Cryptographic Sealing for Information Secrecy and Authentication (Summary). [Citation Graph (0, 0)][DBLP ] Conf ] George W. Cox , William M. Corwin , Konrad K. Lai , Fred J. Pollack A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin C. Kahn , William M. Corwin , T. Don Dennis , Herman D'Hooge , David E. Hubka , Linda A. Hutchins , John T. Montague , Fred J. Pollack iMAX: A Multiprocessor Operating System for an Object-Based Computer. [Citation Graph (1, 0)][DBLP ] Conf ] Fred J. Pollack , Kevin C. Kahn , Roy M. Wilkinson The iMAX-432 Object Filing System. [Citation Graph (1, 0)][DBLP ] Conf ] Edward D. Lazowska , Henry M. Levy , Guy T. Almes , Michael J. Fischer , Robert J. Fowler , Stephen C. Vestal The Architecture of the Eden System. [Citation Graph (0, 0)][DBLP ] Conf ] Gottfried W. R. Luderer , H. Che , J. P. Haggerty , Peter A. Kirslis , W. T. Marshall A Distributed UNIX System Based on a Virtual Circuit Switch. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald J. Popek , Bruce J. Walker , Johanna M. Chow , David A. Edwards , Gerard Rudisin , Greg Thiel LOCUS - A Network Transparent, High Reliability Distributed System. [Citation Graph (9, 0)][DBLP ] Conf ] Andrew Birrell , Roy Levin , Roger M. Needham , Michael D. Schroeder Gravevine: An Exercise in Distributed Computing (summary). [Citation Graph (1, 0)][DBLP ] Conf ] Norman K. Meyrowitz , Margaret Moser BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 