researchr - search publication operating system

researchr

You are not signed in
Sign in
Sign up

5227 publication results matching 'operating system'

A principled approach to operating system construction in Haskell
… that is a suitable basis for building operating systems in Haskell. The interface includes … IA32 hardware using the Glasgow Haskell Compiler (GHC) runtime system. We show how …, including a simple separation kernel and a demonstration system in which the kernel …
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach. ICFP 2005: 116-128 [doi]
A structural approach to the maintenance of structure-oriented environments
… A serious problem for programming environments and operating systems is that existing software becomes invalid when the environment or operating system is replaced by a new release. Unfortunately, there has been no systematic treatment …
Staudt, Barbara J, Krueger, Charles W, Garlan, David. In Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments. 1987: [doi]
Operating SystemsRaphael A. Finkel. ACM Comput. Surv., 28(1):201-203, 1996.
Operating SystemsSteve Chapin, Joachim Worringen. ijhpca, 15(2):115-123, 2001.
Operating systemsRichard R. Muntz. Computer, 7(6):21, 1974. [doi]
Programming the Be Operating System: Writing Programs for the Be Operating SystemDan Parks Sydow. O Reilly, 1999.
The Need for Customizable Operating SystemsGregor Kiczales, John Lamping, Chris Maeda, David Keppel, Dylan McNamee. hotos 1993: 165-169
Workshop on Workstation Operating Systems1993.
Portability and the UNIX Operating SystemDaniel A. Cañas, Laura M. Esquivel. sigops, 22(2):6-23, 1988.
Graphos: a graphic operating systemDaniel A. Cañas. sigcse 1987: 201-205 [doi]
CHORUS Distributed Operating SystemMarc Rozier, Vadim Abrossimov, François Armand, I. Boule, Michel Gien, Marc Guillemont, F. Herrmann, Claude Kaiser, S. Langlois, P. Leonard, W. Neuhauser. csys, 1(4):305-370, 1988.
An Overview of the NetWare Operating SystemDrew Major, Greg Minshall, Kyle Powell. usenix 1994: 355-372
The Trio Operating SystemPer Brinch Hansen, Jon Fellows. SPE, 10(11):943-948, 1980.
The Visi On Operating SystemWilliam T. Coleman III, Scott Warren. DEBU, 6(3):21-30, 1983. [doi]
Operating Systems, An Advanced CourseMichael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle, editors, Volume 60 of Lecture Notes in Computer Science, Springer, 1978.
The DOOM operating systemPeter den Haan. sigopsE 1986: [doi]
The LOCUS Distributed Operating SystemBruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel. sosp 1983: 49-70
On the Correctness of Operating System KernelsMauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul. tphol 2005: 1-16 [doi]
A Guide To Operating System LiteratureJeffrey A. Brumfield. sigops, 20(2):38-42, 1986.
Operating system penetrationRichard R. Linde. afips 1975: 361-368 [doi]

Sign in or sign up to see more results.

runs on WebDSL