| The structuring of systems using upcalls |
| Full text |
Pdf
(745 KB)
|
| Source
|
ACM Symposium on Operating Systems Principles
archive
Proceedings of the tenth ACM symposium on Operating systems principles
table of contents
Orcas Island, Washington, United States
Pages: 171 - 180
Year of Publication: 1985
ISBN:0-89791-174-1
Also published in ...
|
|
Author
|
|
David D. Clark
|
Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA
|
|
| Sponsor |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 19, Downloads (12 Months): 128, Citation Count: 74
|
|
|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
 |
2
|
|
 |
3
|
|
| |
4
|
leO. Pfercnee Model Of Open Systems Interconncction. Technical Report IS0/TC97/SC16 4798, ISO, 1982.
|
| |
5
|
|
| |
6
|
B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
|
 |
7
|
|
| |
8
|
Neumann, P. G., etal, A Provably Secure Operating System. Technical Report Final Report of SRI Project 2581, SRI, Menlo Park, CA, June, 1975.
|
| |
9
|
|
 |
10
|
|
| |
11
|
Teitelman, Warren. he Cedar Programming Environment: A Midterm Report and Examination. Technical Report CSL-83-11, P83-00012, Xerox Corporation, Pals Alto, CA, June, 1984.
|
CITED BY 74
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jörg Cordsen , Thomas Garnatz , Michael Sander , Anne Gerischer , Marco Dimas Gubitoso , Ute Haack , Wolfgang Schröder-Preikschat, Vote for Peace: Implementation and Performance of a Parallel Operating System, IEEE Parallel & Distributed Technology: Systems & Technology, v.5 n.2, p.16-27, April 1997
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dick Mays , Richard J. LeBlanc, Jr., The cyclefree methodology: a simple approach to building reliable, robust, real-time systems, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Douglas P. Ghormley , David Petrou , Steven H. Rodrigues , Thomas E. Anderson, SLIC: an extensibility system for commodity operating systems, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.4-4, June 15-19, 1998, New Orleans, Louisiana
|
|
|
Ömer Erdem Demir , Prémkumar Dévanbu , Eric Wohlstadter , Stefan Tai, An aspect-oriented approach to bypassing middleware layers, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
|
|
|
David Andersen , Deepak Bansal , Dorothy Curtis , Srinivasan Seshan , Hari Balakrishnan, System support for bandwidth management and content adaptation in internet applications, Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, p.15-15, October 22-25, 2000, San Diego, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|