ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
The structure of the “THE”-multiprogramming system
Full text PdfPdf (853 KB)
Source
Communications of the ACM archive
Volume 11 ,  Issue 5  (May 1968) table of contents
Pages: 341 - 346  
Year of Publication: 1968
ISSN:0001-0782
Author
Edsger W. Dijkstra  Technological Univ., Eindhoven, The Netherlands
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 82,   Downloads (12 Months): 859,   Citation Count: 303
Additional Information:

cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/363095.363143
What is a DOI?

CITED BY  304
J. L. Pruitt , W. W. Case, Architecture of a real time operating system, ACM SIGOPS Operating Systems Review, v.9 n.5, p.51-59, November 1975
Yvonne Coady , Gregor Kiczales , Mike Feeley , Greg Smolyn, Using aspectC to improve the modularity of path-specific customization in operating system code, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
Leslie J. Waguespack, A structural computer system resource model for teaching computer organization, ACM SIGCSE Bulletin, v.17 n.1, p.63-67, Mar. 1985
R. C. Varney, Process selection in a hierarchical operating system, Proceedings of the third ACM symposium on Operating systems principles, p.106-108, October 18-20, 1971, Palo Alto, California, United States
A. N. Habermann , Lawrence Flon , Lee Cooprider, Modularization and hierarchy in a family of operating systems, Communications of the ACM, v.19 n.5, p.266-272, May 1976
Daniel E. Jones, Structured programming and FORTRAN, Proceedings of the 14th annual Southeast regional conference, April 22-24, 1976, Birmingham, Alabama
A. Dniestrowski , J. M. Guillaume , R. Mortier, Software engineering in avionics applications, Proceedings of the 3rd international conference on Software engineering, p.124-131, May 10-12, 1978, Atlanta, Georgia, United States
Kjell W. Nielsen , Ken Shumate, Designing large real-time systems with Ada, Communications of the ACM, v.30 n.8, p.695-715, Aug. 1987
Stephen W. Smoliar, Meditations on style, ACM SIGCSE Bulletin, v.8 n.3, p.75-77, July 1976
Mauro Morsiani , Renzo Davoli, Learning operating systems structure and implementation through the MPS computer system simulator, ACM SIGCSE Bulletin, v.31 n.1, p.63-67, March 1999
Jonathan Allen, A course in computer structures, ACM SIGARCH Computer Architecture News, v.4 n.4, p.28-32, January 1976
Yolande Berbers , Pierre Verbaeten, A hierarchical description of the Hermix distributed operating system, Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES, p.98-106, May 04-06, 1988, Cannes, France
James M. Torson, Interactive image cube visualization and analysis, Proceedings of the 1989 Chapel Hill workshop on Volume visualization, p.33-38, May 1989, Chapel Hill, Noth Carolina, United States
E. A. Feustel, Tagged architecture and the semantics of programming languages: Extensible types, ACM SIGARCH Computer Architecture News, v.4 n.4, p.147-150, January 1976
William J. Lennon , Eric L. Baatz , Sandra L. Colussi , Kenneth E. Kinnear, Jr., Using a distributed mini-computer network to automate a biochemical laboratory, ACM SIGPLAN Notices, v.11 n.4, p.156-162, April 1976
A. Birrell , J. Guttag , J. Horning , R. Levin, Synchronization primitives for a multiprocessor: a formal specification, ACM SIGOPS Operating Systems Review, v.21 n.5, p.94-102, Nov. 1987
Joshua Turner, The structure of modular program, Communications of the ACM, v.23 n.5, p.272-277, May 1980
Harvey Glass, On the use of personal computers in teaching the principles of concurrent processing (abstract only), Proceedings of the 15th annual conference on Computer Science, p.430, February 1987, St. Louis, Missouri, United States
Ken Shumate, Layered virtual machine/object-oriented design, Proceedings of the fifth Washington Ada symposium on Ada, p.177-190, July 1988, Tyson's Corner, Virginia, United States
Saul Rosen , John M. Steele , R. E. Wagner, PROCSY: The Purdue Remote On-line Console System, Proceedings of the 1971 26th annual conference, p.253-262, January 1971
B. P. Buckles, Formal module level specifications, Proceedings of the 1977 annual conference, p.138-144, January 1977
P. G. Sorenson, Interprocess communication in real-time systems, ACM SIGOPS Operating Systems Review, v.7 n.4, p.1-7, October 1973
Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, ACM SIGPLAN Notices, v.13 n.8, p.245-272, August 1978
Baowen Xu, Tagged semaphores, ACM SIGOPS Operating Systems Review, v.34 n.3, p.11-15, July 2000
C. Bétourné , J. Boulenger , J. Ferrié , C. Kaiser , S. Krakowiak , J. Mossière, Process management and resource sharing in the multiaccess system in ESOPE, Communications of the ACM, v.13 n.12, p.727-733, Dec. 1970
Michale J. Spier , Thomas N. Hastings , David N. Cutler, An experimental implementation of the kernel/domain architecture, ACM SIGOPS Operating Systems Review, v.7 n.4, p.8-21, October 1973
George M. Stabler , Ingrid Carlbom , Ken Magel, A microprogrammed satellite graphics system, ACM SIGPLAN Notices, v.9 n.8, p.121-129, August 1974
E. G. Coffman , M. Elphick , A. Shoshani, System Deadlocks, ACM Computing Surveys (CSUR), v.3 n.2, p.67-78, June 1971
Ronald R. Willis>, Computer system modelling: A test bed for new software technologies, Proceedings of the 7th conference on Winter simulation, p.427-437, January 14-16, 1974, Washington, DC
Henry C. Lucas, Jr., On the failure to implement structured programming and other techniques, Proceedings of the 1975 annual conference, p.291-293, January 1975
Richard C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing Surveys (CSUR), v.4 n.3, p.179-196, Sept. 1972
Saul Rosen, Programming systems and languages 1965-1975, Communications of the ACM, v.15 n.7, p.591-600, July 1972
Geoffrey H. Kuenning, Minimal multitasking operating systems for real-time controllers, ACM SIGSMALL Newsletter, v.7 n.2, p.20-27, October 1981
Brian N. Bershad , David D. Redell , John R. Ellis, Fast mutual exclusion for uniprocessors, ACM SIGPLAN Notices, v.27 n.9, p.223-233, Sept. 1992
David D. Clark, The structuring of systems using upcalls, ACM SIGOPS Operating Systems Review, v.19 n.5, p.171-180, Dec. 1-4, 1985
Arie A. Kaufman, System design and implementation of BGRAF2, ACM SIGGRAPH Computer Graphics, v.12 n.3, p.87-92, August 1978
Charles M. Shub, A project for a course in operating systems, ACM SIGCSE Bulletin, v.15 n.1, p.25-30, February 1983
K. Y. Lee, Status of graduate software engineering education, Proceedings of the ACM '81 conference, p.179-183, January 1981
R. L. Ashenhurst, Curriculum recommendations for graduate professional programs in information systems, Communications of the ACM, v.15 n.5, p.363-398, May 1972
Jay Nelson, Structured programming using processes, Proceedings of the 2004 ACM SIGPLAN workshop on Erlang, p.54-64, September 22-22, 2004, Snowbird, Utah, USA
B. Randell, Software engineering in 1968, Proceedings of the 4th international conference on Software engineering, p.1-10, September 17-19, 1979, Munich, Germany
K. S. Shankar , C. S. Chandersekaran, Data flow, abstraction levels and specifications for communications switching systems, Proceedings of the 2nd international conference on Software engineering, p.585-591, October 13-15, 1976, San Francisco, California, United States
Gregor V. Bochmann, Hierarchical language definition, ACM SIGPLAN Notices, v.8 n.9, p.50-51, September 1973
Guy L. Steele, Jr., Multiprocessing compactifying garbage collection, Communications of the ACM, v.18 n.9, p.495-508, Sept. 1975
Paniti Netinant , Tzilla Elrad , Mohamed E. Fayad, A layered approach to building open aspect-oriented systems: a framework for the design of on-demand system demodularization, Communications of the ACM, v.44 n.10, p.83-85, Oct. 2001
D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972
B. L. Clark , J. J. Horning, The System Language for Project SUE, ACM SIGPLAN Notices, v.6 n.9, p.79-88, October 1971
Barbara H. Liskov, The design of the Venus operating system, Communications of the ACM, v.15 n.3, p.144-149, March 1972
Michael D. Schroeder , David D. Clark , Jerome H. Saltzer, The Multics kernel design project, ACM SIGOPS Operating Systems Review, v.11 n.5, p.43-56, November 1977
A. Shoshani , A. J. Bernstein, Synchronization in a parallel-accessed data base, Communications of the ACM, v.12 n.11, p.604-607, Nov. 1969
Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
Søren Lauesen, A large semaphore based operating system, Communications of the ACM, v.18 n.7, p.377-389, July 1975
A. Nico Habermann, Synchronization of communicating processes, Communications of the ACM, v.15 n.3, p.171-176, March 1972
John B. Goodenough, Structured exception handling, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.204-224, January 20-22, 1975, Palo Alto, California
Thomas W. Malone , Kevin Crowston, The interdisciplinary study of coordination, ACM Computing Surveys (CSUR), v.26 n.1, p.87-119, March 1994
Peter J. Denning, Fault Tolerant Operating Systems, ACM Computing Surveys (CSUR), v.8 n.4, p.359-389, Dec. 1976
John R. White , Leon Presser, A tool for enforcing system structure, Proceedings of the annual conference, p.114-118, August 27-29, 1973, Atlanta, Georgia, United States
John H. Howard, Jr., Mixed solutions for the deadlock problem, Communications of the ACM, v.16 n.7, p.427-430, July 1973
Peter J. Denning, ACM president's letter: are operating systems obsolete?, Communications of the ACM, v.25 n.4, p.225-227, April 1982
E. L. Burke, A computer architecture for system performance monitoring, Proceeding of the 1973 ACM SIGME symposium, p.161-169, January 1973
Norman Loongsung Soong, The design of program logic, Proceedings of the 13th conference on Design automation, p.354-365, June 28-30, 1976, San Francisco, California, United States
Philip Gilbert , W. J. Chandler, Interference between communicating parallel processes, Communications of the ACM, v.15 n.6, p.427-437, June 1972
Ronald R. Willis, Structured model development techniques, Proceedings of the 2nd symposium on Simulation of computer systems, p.133-144, June 04-06, 1974, Gaithersburg, Maryland, United States
J. Daniel Couger, Curriculum recommendations for undergraduate programs in information systems, Communications of the ACM, v.16 n.12, p.727-749, Dec. 1973
Barbara Liskov, A history of CLU, ACM SIGPLAN Notices, v.28 n.3, p.133-147, March 1993
Brian N. Bershad , Edward D. Lazowska , Henry M. Levy , David B. Wagner, An open enviornment for building parallel programming systems, ACM SIGPLAN Notices, v.23 n.9, p.1-9, Sept. 1988
R. J. Lipton, Limitations of synchronization primitives with conditional branching and global variables, Proceedings of the sixth annual ACM symposium on Theory of computing, p.230-241, April 30-May 02, 1974, Seattle, Washington, United States
Leslie Lamport, A new solution of Dijkstra's concurrent programming problem, Communications of the ACM, v.17 n.8, p.453-455, Aug. 1974
George Milne , Robin Milner, Concurrent Processes and Their Syntax, Journal of the ACM (JACM), v.26 n.2, p.302-321, April 1979
Stuart R. Faulk , David L. Parnas, On synchronization in hard-real-time systems, Communications of the ACM, v.31 n.3, p.274-287, March 1988
Walter F. Tichy, Programming-in-the-large: past, present, and future, Proceedings of the 14th international conference on Software engineering, p.362-367, May 11-15, 1992, Melbourne, Australia
Guy L. Steele, Jr., Making asynchronous parallelism safe for the world, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.218-231, December 1989, San Francisco, California, United States
Richard W. Conn , Richard H. Yamamoto, A model highlighting the security of operating systems, Proceedings of the 1974 annual conference, p.174-179, January 1974
W. C. Lynch, Operating system performance, Communications of the ACM, v.15 n.7, p.579-585, July 1972
David Garlan, Research directions in software architecture, ACM Computing Surveys (CSUR), v.27 n.2, p.257-261, June 1995
G. Weck , B. Wiesner, Design and implementation of a portable database system for small computers, ACM SIGSMALL Newsletter, v.7 n.2, p.162-173, October 1981
P. J. Courtois, On time and space decomposition of complex structures, Communications of the ACM, v.28 n.6, p.590-603, June 1985
M. Hozumi , Y. Sekine , H. Ejima, A method of large-scale software development, Proceedings of the 7th international conference on Software engineering, p.520-527, March 26-29, 1984, Orlando, Florida, United States
Peter A. Buhr , Michel Fortier , Michael H. Coffin, Monitor classification, ACM Computing Surveys (CSUR), v.27 n.1, p.63-107, March 1995
William E. Riddle, Hierarchical modeling of operating system structure and behavior, Proceedings of the ACM annual conference, p.1105-1127, August 01-01, 1972, Boston, Massachusetts, United States
Gérald Belpaire , Jean Pierre Wilmotte, Semantic aspects of concurrent processes, ACM SIGPLAN Notices, v.8 n.9, p.42-45, September 1973
B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, ACM SIGPLAN Notices, v.23 n.7, p.260-267, July 1988
Joel F. Bartlett, A NonStop kernel, ACM SIGOPS Operating Systems Review, v.15 n.5, p.22-29, December 1981
B. C. Hodges , J. P. Ryan, A system for automatic software evaluation, Proceedings of the 2nd international conference on Software engineering, p.617-623, October 13-15, 1976, San Francisco, California, United States
Vincent Russo , Gary Johnston , Roy Campbell, Process management and exception handling in multiprocessor operating systems using object-oriented design techniques, ACM SIGPLAN Notices, v.23 n.11, p.248-258, Nov. 1988
Xiaoming Liu , Christoph Kreitz , Robbert van Renesse , Jason Hickey , Mark Hayden , Kenneth Birman , Robert Constable, Building reliable, high-performance communication systems from components, ACM SIGOPS Operating Systems Review, v.33 n.5, p.80-92, Dec. 1999
Subhash C. Agrawal , Jeffrey P. Buzen, The aggregate server method for analyzing serialization delays in computer systems, ACM Transactions on Computer Systems (TOCS), v.1 n.2, p.116-143, May 1983
K. Ekanadham , A. J. Bernstein, Some new transitions in hierarchical level structures, ACM SIGOPS Operating Systems Review, v.12 n.4, p.34-38, October 1978
Niklaus Wirth, On multiprogramming, machine coding, and computer organization, Communications of the ACM, v.12 n.9, p.489-498, Sept. 1969
David L. Parnas, Designing software for ease of extension and contraction, Proceedings of the 3rd international conference on Software engineering, p.264-277, May 10-12, 1978, Atlanta, Georgia, United States
Shi-Kuo Chang, Data base decomposition in a hierarchical computer system, Proceedings of the 1975 ACM SIGMOD international conference on Management of data, May 14-16, 1975, San Jose, California
R. S. Fabry, Dynamic verification of operating system decisions, Communications of the ACM, v.16 n.11, p.659-668, Nov. 1973
Paul C. Clark , Lance J. Hoffman, BITS: a smartcard protected operating system, Communications of the ACM, v.37 n.11, p.66-70, Nov. 1994
B. Randell, System structure for software fault tolerance, ACM SIGPLAN Notices, v.10 n.6, p.437-449, June 1975
John H. Howard, Jr., A large-scale dual operating system, Proceedings of the annual conference, p.242-248, August 27-29, 1973, Atlanta, Georgia, United States
Richard C. Holt, Some deadlock properties of computer systems, Proceedings of the third ACM symposium on Operating systems principles, p.64-71, October 18-20, 1971, Palo Alto, California, United States
Paul Constantine Anagnostopoulos, Organizing computer systems for learnability and useability, Conference record of the 6th annual workshop on Microprogramming, p.65-70, September 24-25, 1973, College Park, Maryland, United States
Robert Bernecky, APL: A prototyping language, ACM SIGAPL APL Quote Quad, v.16 n.4, p.221-228, 1986
P. J. Courtois, Decomposability, instabilities, and saturation in multiprogramming systems, Communications of the ACM, v.18 n.7, p.371-377, July 1975
P. J. Courtois , F. Heymans , D. L. Parnas, Concurrent control with “readers” and “writers”, Communications of the ACM, v.14 n.10, p.667-668, Oct. 1971
David Garlan , J. Frits Habermann , David Notkin, Nico Habermann's research: a brief retrospective, Proceedings of the 16th international conference on Software engineering, p.149-153, May 16-21, 1994, Sorrento, Italy
John B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, v.18 n.12, p.683-696, Dec. 1975
David Garlan, Software architecture: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.91-101, June 04-11, 2000, Limerick, Ireland
D. Notkin , W. G. Griswold, Extension and software development, Proceedings of the 10th international conference on Software engineering, p.274-283, April 11-15, 1988, Singapore
Václav Rajlich, Paradigms for design and implementation in ADA, Communications of the ACM, v.28 n.7, p.718-727, July 1985
B. Liskov , D. Curtis , P. Johnson , R. Scheifer, Implementation of Argus, ACM SIGOPS Operating Systems Review, v.21 n.5, p.111-122, Nov. 1987
Randy J. Raynor , John M. Gwynn, Jr., Minimization of supervisor conflict for multiprocessor computer systems, ACM SIGSIM Simulation Digest, v.7 n.4, p.61-69, July 1976
J. J. Horning , B. Randell, Process Structuring, ACM Computing Surveys (CSUR), v.5 n.1, p.5-30, March 1973
D. L. Parnas , W. R. Price, The design of the virtual memory aspects of a virtual machine, Proceedings of the workshop on virtual computer systems, p.184-190, March 26-27, 1973, Cambridge, Massachusetts, United States
Bruce I. Blum, A taxonomy of software development methods, Communications of the ACM, v.37 n.11, p.82-94, Nov. 1994
Leslie Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.872-923, May 1994
Michael Goldweber, Enhancing the operating systems course using the MPS or chip hardware simulator, Journal of Computing Sciences in Colleges, v.16 n.1, p.40-43, Oct 2000
Rym Mili , Ali Mili, Teaching a first course on data structures: a software engineering approach, ACM SIGCSE Bulletin, v.26 n.1, p.21-25, March 1994
N. Kamibayashi , H. Ogawana , K. Nagayama , H. Aiso, Heart: An operating system nucleus machine implemented by firmware, ACM SIGPLAN Notices, v.17 n.4, p.195-204, April 1982
B. P. Buckles , G. C. Hintze, Levels of abstraction and compilers, Proceedings of the annual conference, p.419-423, October 20-22, 1976, Houston, Texas, United States
P. J. Brown, Programming and Documenting Software Projects, ACM Computing Surveys (CSUR), v.6 n.4, p.213-220, Dec. 1974
Ralph L. London, The current state of proving programs correct, Proceedings of the ACM annual conference, p.39-46, August 01-01, 1972, Boston, Massachusetts, United States
Theodore A. Linden, Operating System Structures to Support Security and Reliable Software, ACM Computing Surveys (CSUR), v.8 n.4, p.409-445, Dec. 1976
P. Guillier , D. Slosberg, An architecture with comprehensive facilities of inter-process synchronization and communication, Proceedings of the 7th annual symposium on Computer Architecture, p.264-270, May 06-08, 1980, La Baule, United States
Manfred Ruschitzka, An operating systems implementation project for an undergraduate course, ACM SIGCSE Bulletin, v.9 n.1, p.77-84, Feb 1977
W. K. Giloi , P. Behr, Hierarchical function distribution - a design principle for advanced multicomputer architectures, ACM SIGARCH Computer Architecture News, v.11 n.3, p.318-325, June 1983
Malcolm Atkinson , Ronald Morrison, Orthogonally persistent object systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.3, July 1995
John F. Schrage, Educator's view of structured concepts, Proceedings of the ACM 1980 annual conference, p.327-341, January 1980
M. Elizabeth C. Hull , R. M. McKeag, Communicating Sequential Processes for Centralized and Distributed Operating System Design, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.175-191, April 1984
D. L. Bayer , H. Lycklama, MERT - a multi-environment real-time operating system, ACM SIGOPS Operating Systems Review, v.9 n.5, p.33-42, November 1975
C. William Higginbotham , Ralph Morelli, A system for teaching concurrent programming, ACM SIGCSE Bulletin, v.23 n.1, p.309-316, Mar. 1991
Anoop Gupta , Andrew Tucker , Shigeru Urushibara, The impact of operating system scheduling policies and synchronization methods of performance of parallel applications, ACM SIGMETRICS Performance Evaluation Review, v.19 n.1, p.120-132, May 1991
Leon Presser, Multiprogramming Coordination, ACM Computing Surveys (CSUR), v.7 n.1, p.21-44, March 1975
Lawrence Robinson, Specification techniques, Proceedings of the 13th conference on Design automation, p.470-478, June 28-30, 1976, San Francisco, California, United States
André A.S. Danthine , Joseph Bremer, Communication protocols in a network context, ACM SIGOPS Operating Systems Review, v.9 n.3, p.87-92, July 1975
Kenneth R. Wadland, Operating system projects for undergraduates, ACM SIGCSE Bulletin, v.12 n.1, p.75-80, February 1980
H. F. Tibbals, A structure for interprocess communication in a data communications handler, Proceedings of the annual conference, p.356-360, October 20-22, 1976, Houston, Texas, United States
Peter J. Denning, ACM president's letter: computer architecture: some old ideas that haven't quite made it yet, Communications of the ACM, v.24 n.9, p.553-554, Sept. 1981
Karl N. Levitt, The application of program-proving techniques to the verification of synchronization processes, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
Marvin V. Zelkowitz, It is not time to define "structured programming", ACM SIGOPS Operating Systems Review, v.8 n.2, p.7-8, April 1974
Richard C. Holt, Some deadlock properties of computer systems, ACM SIGOPS Operating Systems Review, v.6 n.1/2, June 1972
Sun Zhongxiu , Xie Li , Fei Xianglin , Yi Wenguo , Tan Yaoming, An introduction to DJS200/XT1, ACM SIGOPS Operating Systems Review, v.14 n.3, p.70-74, July 1980
Per Brinch Hansen, Short-term scheduling in multiprogramming systems, ACM SIGOPS Operating Systems Review, v.6 n.1/2, June 1972
D. L. Parnas, Evaluation criteria for abstract machines with unknown applications, ACM SIGARCH Computer Architecture News, v.4 n.3, September 1975
Edsger W. Dijkstra, The structure of the "The" multiprogramming system, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
Jean Bacon, An approach to distributed software systems, ACM SIGOPS Operating Systems Review, v.15 n.4, p.62-74, October 1981
David L. Parnas, On a "buzzword": hierarchical structure, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
David L. Parnas, On the criteria to be used in decomposing systems into modules, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Peter J. Denning, Principles of computer system organization, ACM SIGCSE Bulletin, v.2 n.3, p.45-55, November 1970
C. Bétourné , J. Boulenger , J. Ferrié , C. Kaiser , J. Kott , S. Krakowiak , J. Mossière, Process management and resource sharing in the multiaccess system "ESOPE", Proceedings of the second symposium on Operating systems principles, October 20-22, 1969, Princeton, New Jersey
Nobuyoshi Terashima, The hierarchical language system, ACM SIGPLAN Notices, v.12 n.9, p.103-113, September 1977
J. C. King, Abstract machines and software design, ACM SIGPLAN Notices, v.8 n.9, p.86-88, September 1973
Eshrat Arjomandi , Ivan Kalas , William O'Farrell, Concurrency abstractions in a C++ class library, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing, October 24-28, 1993, Toronto, Ontario, Canada
Richard A. Zahniser, Levels of abstraction in the system life cycle, ACM SIGSOFT Software Engineering Notes, v.8 n.1, p.6-12, January 1983
P. A. Janson, Using type-extension to organize virtual-memory mechanisms, ACM SIGOPS Operating Systems Review, v.15 n.4, p.6-38, October 1981
Michael J. Fischer , Michael Merritt, Appraising two decades of distributed computing theory research, Distributed Computing, v.16 n.2-3, p.239-247, September 2003
Michael J. Spier , Elliott I. Organick, The multics interprocess communication facility, Proceedings of the second symposium on Operating systems principles, October 20-22, 1969, Princeton, New Jersey
Peter Tandler, The BEACH application model and software framework for synchronous collaboration in ubiquitous computing environments, Journal of Systems and Software, v.69 n.3, p.267-296, 15 January 2004
David Lorge Parnas, Why Software Jewels Are Rare, Computer, v.29 n.2, p.57-60, February 1996
Chris A. Vissers, Interface, a dispersed architecture, ACM SIGARCH Computer Architecture News, v.4 n.4, p.98-104, January 1976
J. M. Yohe, Comments on the topic “programming, and its implication on programming languages”, Proceedings of the 1975 annual conference, p.219-220, January 1975
Per Brinch Hansen, Short-term scheduling in multiprogramming systems, Proceedings of the third ACM symposium on Operating systems principles, p.101-105, October 18-20, 1971, Palo Alto, California, United States
D. L. Parnas , D. P. Siewiorek, Use of the concept of transparency in the design of hierarchically structured systems, Communications of the ACM, v.18 n.7, p.401-408, July 1975
W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974
Michael D. Schroeder , Jerome H. Saltzer, A hardware architecture for implementing protection rings, Communications of the ACM, v.15 n.3, p.157-170, March 1972
Per Brinch Hansen, Concurrent Programming Concepts, ACM Computing Surveys (CSUR), v.5 n.4, p.223-245, Dec. 1973
Peter J. Denning, Third Generation Computer Systems, ACM Computing Surveys (CSUR), v.3 n.4, p.175-216, Dec. 1971
Michéle Pierre , Philippe Pierre, GESOP: A relational data base using generalized arrays and data-base primitives, ACM SIGAPL APL Quote Quad, v.9 n.4, p.102-109, June 1979
Edward P. Farrell , Noordin Ghani , Philip C. Treleaven, A concurrent computer architecture and a ring based implementation, Proceedings of the 6th annual symposium on Computer architecture, p.1-11, April 23-25, 1979
William B. Easton, Process synchronization without long-term interlock, Proceedings of the third ACM symposium on Operating systems principles, p.95-100, October 18-20, 1971, Palo Alto, California, United States
J. D. Bagley , E. R. Floto , S. C. Hsieh , V. Watson, Sharing data and services in a virtual machine system, ACM SIGOPS Operating Systems Review, v.9 n.5, p.82-88, November 1975
F. Koushanfar , A. Davare , D. T. Nguyen , M. Potkonjak , A. Sangiovanni-Vincentelli, Low power coordination in wireless ad-hoc networks, Proceedings of the 2003 international symposium on Low power electronics and design, August 25-27, 2003, Seoul, Korea
David L. Parnas, The secret history of information hiding, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
K. Ranai, Design requirements of a single-user operating system, ACM SIGSMALL/PC Notes, v.12 n.2, p.8-14, May 1986
Kenneth A. Reek, The well-tempered semaphore: theme with variations, ACM SIGCSE Bulletin, v.34 n.1, March 2002
J. L. Keedy, On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, v.13 n.1, p.5-9, January 1979
Don Batory , Sean O'Malley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.4, p.355-398, Oct. 1992
Susan Owicki , Leslie Lamport, Proving Liveness Properties of Concurrent Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.455-495, July 1982
André Schiper , Gérard Dalang , Jorge Eggli , Imad Mattini , Roland Simon, A paged - operating - system project, ACM SIGCSE Bulletin, v.16 n.1, p.34-41, February 1984
B. Randell , P. Lee , P. C. Treleaven, Reliability Issues in Computing System Design, ACM Computing Surveys (CSUR), v.10 n.2, p.123-165, June 1978
David A. Fisher, A survey of control structures in programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972
Ka-Wing Wong, Knowledge-based OOP, ACM SIGICE Bulletin, v.22 n.1, p.20-23, July 1996
H. Ossher, A Case Study in Structure Specification: a Grid Description of Scribe, IEEE Transactions on Software Engineering, v.15 n.11, p.1397-1416, November 1989
P. E. Lauer , M. W. Shields, Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts, ACM SIGPLAN Notices, v.13 n.12, p.41-59, December 1978
Anna Hac, Modeling distributed file systems, ACM SIGMETRICS Performance Evaluation Review, v.19 n.4, p.22-27, May 1992
S. J. Pratt, The alchemy model: a model for homogeneous and heterogeneous distributed computing system, ACM SIGOPS Operating Systems Review, v.20 n.2, p.25-37, April 1986
J. E. Shemer , A. J. Collmeyer, Database sharing: A study of interference, roadblock and deadlock, Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control, p.147-163, January 1972
C. V. Ramamoorthy , Yutaka Usuda , Atul Prakash , W. T. Tsai, The Evolution Support Environment System, IEEE Transactions on Software Engineering, v.16 n.11, p.1225-1234, November 1990
Don Batory , Bart J. Geraci, Composition Validation and Subjectivity in GenVoca Generators, IEEE Transactions on Software Engineering, v.23 n.2, p.67-82, February 1997
William G. Griswold , David Notkin, Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool, IEEE Transactions on Software Engineering, v.21 n.4, p.275-287, April 1995
Rick Kazman , Gregory Abowd , Len Bass , Paul Clements, Scenario-Based Analysis of Software Architecture, IEEE Software, v.13 n.6, p.47-55, November 1996
Paul Abrahams, "Structured programming" considered harmful, ACM SIGPLAN Notices, v.10 n.4, April 1975
Wendy Bartlett , Lisa Spainhower, Commercial Fault Tolerance: A Tale of Two Systems, IEEE Transactions on Dependable and Secure Computing, v.1 n.1, p.87-96, January 2004
Isao Miyamoto, “Software reliability in online real time environment”, ACM SIGPLAN Notices, v.10 n.6, p.194-203, June 1975
James E. Tomayko, Anecdotes, IEEE Annals of the History of Computing, v.13 n.1, p.91-100, January 1991
Max K. Agoston, An operating system for the INTEL MDS system: the kernel, ACM SIGMINI Newsletter, v.3 n.2, p.7-9, April 1977
Trevor Turton, The management of operating system state data, ACM SIGOPS Operating Systems Review, v.14 n.2, p.21-24, April 1980
Anna Hác, A survey of techniques for the modeling of serialization delays in computer systems, ACM SIGMETRICS Performance Evaluation Review, v.12 n.4, p.54-56, Winter 1984-1985
Peter J. Denning, Principles of computer system organization, Proceedings of the first SIGCSE technical symposium on Education in computer science, p.45-55, January 1970
Paul A. Karger , Mary Ellen Zurko , Douglas W. Bonin , Andrew H. Mason , Clifford E. Kahn, A Retrospective on the VAX VMM Security Kernel, IEEE Transactions on Software Engineering, v.17 n.11, p.1147-1165, November 1991
W. R. Bevier, Kit: A Study in Operating System Verification, IEEE Transactions on Software Engineering, v.15 n.11, p.1382-1396, November 1989
Constantine Lazos, Functional distribution of the workload of a linked computer system and its simulation, ACM SIGMETRICS Performance Evaluation Review, v.6 n.3, p.5-14, Summer 1977
F. T. Baker, Structured programming in a production programming environment, ACM SIGPLAN Notices, v.10 n.6, p.172-185, June 1975
Roberto Lopez-Herrejon , Don Batory , Christian Lengauer, A disciplined approach to aspect composition, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
R. C. Varney, Process selection in a hierarchical operating system, ACM SIGOPS Operating Systems Review, v.6 n.1/2, June 1972
Barbara Liskov , Stephen Zilles, Specification techniques for data abstractions, ACM SIGPLAN Notices, v.10 n.6, p.72-87, June 1975
Éric Tanter , Jacques Noyé , Denis Caromel , Pierre Cointe, Partial behavioral reflection: spatial and temporal selection of reification, ACM SIGPLAN Notices, v.38 n.11, November 2003
Joann M. Paul , Donald E. Thomas , Andrew S. Cassidy, High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.10 n.3, p.431-461, July 2005
Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996
Michael Goldweber , Renzo Davoli , Mauro Morsiani, The Kaya OS project and the μMPS hardware emulator, Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, June 27-29, 2005, Caparica, Portugal
Norman L. Soong, The existence of kernel functions for logical wire connections, ACM SIGDA Newsletter, v.11 n.2, p.18-29, September 1981
Barbara Liskov, A history of CLU, History of programming languages---II, ACM Press, New York, NY, 1996
Peter A. Buhr , Ashif S. Harji, Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1270-1343, November 2005
M. N. Matelan, A model of real time control system production, ACM SIGDA Newsletter, v.6 n.2, p.14-61, June 1976
Peter S. Browne, Computer security: a survey, ACM SIGMIS Database, v.4 n.3, p.1-12, Fall 1972
Ronald R. Willis, Structured model development techniques, ACM SIGSIM Simulation Digest, v.5 n.4, p.41-52, July 1974
Thuy D. Nguyen , Timothy E. Levin , Cynthia E. Irvine, TCX project: high assurance for secure embedded systems, ACM SIGBED Review, v.2 n.2, p.23-26, April 2005
John F. Fedak, A concurrent microprogramming facility, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
Robert G. Estell, "Software life cycle <u>management</u>", ACM SIGCSIM Installation Management Review, v.5 n.2, p.2-15, August 1976
Scotte Zinn , Michael Coffin, Efficient event generation for detecting races, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering, October 24-28, 1993, Toronto, Ontario, Canada
William B. Easton, Process synchronization without long-term interlock, ACM SIGOPS Operating Systems Review, v.6 n.1/2, June 1972
Gary D. Knott, A proposal for certain process management and intercommunication primitives, ACM SIGOPS Operating Systems Review, v.8 n.4, p.7-44, October 1974
David Lorge Parnas , Jan Madey , Michal Iglewski, Precise Documentation of Well-Structured Programs, IEEE Transactions on Software Engineering, v.20 n.12, p.948-976, December 1994
William G. Griswold , Robert Boyer , Steven W. Brown , Tan Minh Truong, A component architecture for an extensible, highly integrated context-aware computing infrastructure, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , Nathan C. Burnett , Timothy E. Denehy , Thomas J. Engle , Haryadi S. Gunawi , James A. Nugent , Florentina I. Popovici, Transforming policies into mechanisms with infokernel, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
Frederick G. Sayward, A correctness criterion for CSP parallel programs, ACM SIGPLAN Notices, v.10 n.9, September 1975
Ashok R. Saxena , Thomas H. Bredt, A structured specification of a hierarchical operating system, ACM SIGPLAN Notices, v.10 n.6, p.310-318, June 1975
E. J. Neuhold, Towards the formal description of operating systems, ACM SIGPLAN Notices, v.8 n.9, p.123-126, September 1973
William G. Griswold, Teaching Software Engineering in a Compiler Project Course, Journal on Educational Resources in Computing (JERIC), v.2 n.4, p.3-es, December 2002
Constantine Lazos, Functional distribution of the workload of a linked computer system and its simulation, ACM SIGSIM Simulation Digest, v.8 n.4, p.41-50, Summer 1977
A. S. Noetzel, The design of a meta-system, Proceedings of the May 18-20, 1971, spring joint computer conference, May 18-20, 1971, Atlantic City, New Jersey
Christophe Haro , Christian Proust, A multitasking executive for operating systems courses, ACM SIGOPS Operating Systems Review, v.27 n.3, p.97-107, July 1993
Dan Tsafrir , Yoav Etsion , Dror G. Feitelson, Secretly monopolizing the CPU without superuser privileges, Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium, p.1-18, August 06-10, 2007, Boston, MA
Yasuhiko Yokote , Fumio Teraoka , Atsushi Mitsuzawa , Nobuhisa Fujinami , Mario Tokoro, The muse object architecture: a new operating system structuring concept, ACM SIGOPS Operating Systems Review, v.25 n.2, p.22-46, April 1991
Jack B. Dennis, Bibliography, Record of the Project MAC conference on concurrent systems and parallel computation, ACM, New York, NY, 1970
Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985
Glenn Ricart , Ashok K. Agrawala, An optimal algorithm for mutual exclusion in computer networks, Communications of the ACM, v.24 n.1, p.9-17, Jan. 1981
Claude Kaiser , Jean-François Pradat-Peyre , Sami Évangelista , Pierre Rousseau, Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement, ACM SIGAda Ada Letters, v.XXVI n.2, August 2006
Peter G. Neumann, System and network trustworthiness in perspective, Proceedings of the 13th ACM conference on Computer and communications security, p.1-5, October 30-November 03, 2006, Alexandria, Virginia, USA
Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, History of programming languages I, ACM Press, New York, NY, 1978
Peter Müller , Arnd Poetzsch-Heffter , Gary T. Leavens, Modular invariants for layered object structures, Science of Computer Programming, v.62 n.3, p.253-286, 15 October 2006
Jia Liu , Don Batory , Christian Lengauer, Feature oriented refactoring of legacy applications, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
F. C. García López , N. L. Frías Arrocha, An efficient synchronization model for OpenMP, Journal of Parallel and Distributed Computing, v.66 n.11, p.1359-1365, November 2006
George E. Brown , Richard H. Eckhouse, Jr. , Robert P. Goldberg, Operating system enhancement through microprogramming, ACM SIGMICRO Newsletter, v.7 n.1, p.28-33, March 1976
E. F. Miller , G. E. Lindamood, Structured programming: top-down approach, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
D. L. Parnas, On the criteria to be used in decomposing systems into modules, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
Aaron B. Brown , Anupam Chanda , Rik Farrow , Alexandra Fedorova , Petros Maniatis , Michael L. Scott, The many faces of systems research: and how to evaluate them, Proceedings of the 10th conference on Hot Topics in Operating Systems, p.26-26, June 12-15, 2005, Santa Fe, NM
Farinaz Koushanfar , Abhijit Davare , David T. Nguyen , Alberto Sangiovanni-Vincentelli , Miodrag Potkonjak, Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints, ACM Transactions on Embedded Computing Systems (TECS), v.6 n.3, p.16-es, July 2007
Mark Vroblefski , Andrew Chen , Benjamin Shao , Matthew Swinarski, Managing user relationships in hierarchies for information system security, Decision Support Systems, v.43 n.2, p.408-419, March, 2007
David C. Toll , Paul A. Karger , Elaine R. Palmer , Suzanne K. McIntosh , Sam Weber, The Caernarvon secure embedded operating system, ACM SIGOPS Operating Systems Review, v.42 n.1, January 2008
Eran Gabber , Christopher Small , John Bruno , José Brustoloni , Avi Silberschatz, The pebble component-based operating system, Proceedings of the Annual Technical Conference on 1999 USENIX Annual Technical Conference, p.20-20, June 06-11, 1999, Monterey, California
J. A. Clapp, The application of microprogramming technology, ACM SIGMICRO Newsletter, v.3 n.1, p.8-47, April 1972
Edmund L. Burke, Synthesis of a software security system, Proceedings of the 1974 annual ACM conference, January 01-01, 1974
Dan Tsafrir, The context-switch overhead inflicted by hardware interrupts (and the enigma of do-nothing loops), Experimental computer science on Experimental computer science, p.3-3, June 13-14, 2007, San Diego
Katsuya Hakozaki , Takenori Makino , Masayuki Mizuma , Mamoru Umemura , Shigeki Hiyoshi, A conceptual design of a generalized database subsystem, Proceedings of the third international conference on Very large data bases, p.246-253, October 06-08, 1977, Tokyo, Japan
Stephen Brookes, A semantics for concurrent separation logic, Theoretical Computer Science, v.375 n.1-3, p.227-270, May, 2007
Richard C. Holt, Models and algorithms for deadlock in computer systems, ACM SIGOPS Operating Systems Review, v.5 n.1, p.4-8, March 1971
Dror G. Feitelson , Tokunbo O. S. Adeshiyan , Daniel Balasubramanian , Yoav Etsion , Gabor Madl , Esteban P. Osses , Sameer Singh , Karlkim Suwanmongkol , Minhui Xie , Stephen R. Schach, Fine-grain analysis of common coupling and its application to a Linux case study, Journal of Systems and Software, v.80 n.8, p.1239-1255, August, 2007
Luciano Floridi, On the intrinsic value of informationobjects and the infosphere, Ethics and Information Technology, v.4 n.4, p.287-304, 2002
A. N. Habermann, Prevention of system deadlocks, Communications of the ACM, v.12 n.7, p.373-ff., July 1969
V. W. Setzer , Andrea Zisman, New Concurrency Control Algorithms for Accessing and Compacting B-Trees, Proceedings of the 20th International Conference on Very Large Data Bases, p.238-248, September 12-15, 1994
Dennis Kafura, Scheduling tasks with critical sections, Proceedings of the 1977 annual conference, p.381-385, January 1977
Ed Seidewitz , Mike Stark, Toward a general object-oriented software development methodology, ACM SIGAda Ada Letters, v.VII n.4, p.54-67, July/Aug. 1987
David Sung, Engineering processes in managing software system development, ACM SIGCPR Computer Personnel, v.7 n.3, p.7-13, Winter 1977
Dennis E. Hamilton, We have met the enemy and she is us: a mixup'd search for software engineering, ACM SIGSOFT Software Engineering Notes, v.6 n.2, p.18-22, April 1981
Software Engineering Notes Staff, Abstracts in software engineering: part 2, ACM SIGSOFT Software Engineering Notes, v.2 n.1, p.6-14, January 1977
Pierre Castori, Semaphores revisited with MMS, ACM SIGOPS Operating Systems Review, v.29 n.3, p.49-63, July 1995
Robert Freiburghouse , Barbara Liskov, Report of session on structured programming, ACM SIGPLAN Notices, v.8 n.9, p.5-10, September 1973
Ami Litman, The DUNIX distributed operating system, ACM SIGOPS Operating Systems Review, v.22 n.1, p.42-51, Jan., 1988
A. C. L. Barnard, Software engineering in an academic computer science curriculum, ACM SIGCSE Bulletin, v.7 n.3, p.62-70, Sept. 1975
J. Archer Harris, A microprogramming project for a course in computer systems, ACM SIGCSE Bulletin, v.20 n.2, p.43-49, June, 1988
Juan Hernández , Juan Antonio Sanchez, RT-MODULA2: an embedded in MODULA2 language for writing concurrent and real time programs, ACM SIGPLAN Notices, v.27 n.2, p.26-36, Feb. 1992
Hayden Melton , Ewan Tempero, An empirical study of cycles among classes in Java, Empirical Software Engineering, v.12 n.4, p.389-415, August 2007
Éric Tanter , Rodolfo Toledo , Guillaume Pothier , Jacques Noyé, Flexible metaprogramming and AOP in Java, Science of Computer Programming, v.72 n.1-2, p.22-30, June, 2008
R. R. Linde , C. Weissman , C. E. Fox, The ADEPT-50 time-sharing system, Proceedings of the November 18-20, 1969, fall joint computer conference, November 18-20, 1969, Las Vegas, Nevada
K. C. Sevcik , J. W. Atwood , M. S. Grushcow , R. C. Holt , J. J. Horning , D. Tsichritzis, Project SUE as a learning experience, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
John J. Donovan , Rafael Fessel , Stuart G. Greenberg , Louis M. Gutentag, An experimental VM/370 based information system, Proceedings of the 1st International Conference on Very Large Data Bases, September 22-24, 1975, Framingham, Massachusetts
D. Tsichritzis, Computational processes, Record of the Project MAC conference on concurrent systems and parallel computation, ACM, New York, NY, 1970
Lucia C. Sekino, Multiple concurrent updates, Proceedings of the 1st International Conference on Very Large Data Bases, September 22-24, 1975, Framingham, Massachusetts
Dan Tsafrir, The context-switch overhead inflicted by hardware interrupts (and the enigma of do-nothing loops), Proceedings of the 2007 workshop on Experimental computer science, p.4-es, June 13-14, 2007, San Diego, California
Bryan D. Payne , Reiner Sailer , Ramón Cáceres , Ron Perez , Wenke Lee, A layered approach to simplified access control in virtualized systems, ACM SIGOPS Operating Systems Review, v.41 n.4, July 2007
AspectC2C: a symmetric aspect extension to the C language, ACM SIGPLAN Notices, v.43 n.2, p.25-32, February 2008
Barry Demchak , Vina Ermagan , Claudiu Farcas , Emilia Farcas , Ingolf H. Krüger , Massimiliano Menarini, Rich services: addressing challenges of ultra-large-scale software-intensive systems, Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, p.29-32, May 10-11, 2008, Leipzig, Germany
G. Estrin , R. R. Muntz , R. C. Uzgalis, Modeling, measurement and computer power, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
T. A. Linden, A summary of progress toward proving program correctness, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
B. H. Liskov, A design methodology for reliable software systems, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
R. M. Balzer, PORTS: a method for dynamic interprogram communication and job control, Proceedings of the May 18-20, 1971, spring joint computer conference, May 18-20, 1971, Atlantic City, New Jersey
Andries Van Dam , George M. Stabler, Intelligent satellites for interactive graphics, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
John J. Donovan , Louis M. Gutentag , Stuart E. Madnick , Grant N. Smith, An application of a generalized management information system to energy policy and decision making: the user's view, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California
Alan F. Sweet , Arthur E. Oldehoeft, Automated control of concurrency in multi-user hierarchical information systems, Proceedings of the June 13-16, 1977, national computer conference, June 13-16, 1977, Dallas, Texas
Dines Bjørner, Finite state automation: definition of data communication line control procedures, Proceedings of the November 17-19, 1970, fall joint computer conference, November 17-19, 1970, Houston, Texas
Clay McFarland, A language-oriented computer design, Proceedings of the November 17-19, 1970, fall joint computer conference, November 17-19, 1970, Houston, Texas
C. W. Rose, LOGOS and the software engineer, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
R. L. Davis , S. Zucker , C. M. Campbell, A building block approach to multiprocessing, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
F. J. Corbató , J. H. Saltzer , C. T. Clingen, Multics: the first seven years, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
J. E. Stockenberg , P. C. Anagnostopoulos , R. E. Johnson , R. G. Munck , G. M. Stabler , A. van Dam, Operating system design considerations for microprogrammed mini-computer satellite systems, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
Ronald M. Rutledge, Installation management: the next ten years, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
David L. Retz , Bruce W. Schafer, Structure of the ELF operating system, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York
William Gorman, On the use of generalized executive system software, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
Paul F. King , Arthur J. Collmeyer, Database sharing: an efficient mechanism for supporting concurrent processes, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
Michael L. Coleman, ACCNET: a corporate computer network, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
Richard R. Linde, Operating system penetration, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California
David L. Retz, Operating system design considerations for the packet-switching environment, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California
Peter J. Denning , Walter F. Tichy , Edward D. Lazowska , Jochen Liedtke, Operating systems, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
David Lorge Parnas, Document based rational software development, Knowledge-Based Systems, v.22 n.3, p.132-141, April, 2009
David Lorge Parnas, Component Interface Documentation: What do we Need and Why do we Need it?, Proceeding of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, p.3-21, May 28, 2006
Yutaka Kanayama, Concurrent programming of intelligent robots, Proceedings of the Eighth international joint conference on Artificial intelligence, p.834-838, August 08-12, 1983, Karlsruhe, West Germany

INDEX TERMS

Keywords:
cooperating sequential processes, input-output buffering, multiprocessing, multiprogramming, multiprogramming system, operating system, processor sharing, program verification, real-time debugging, synchronizing primitives, system hierarchy, system levels, system structure

Collaborative Colleagues:
Edsger W. Dijkstra: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player