Thomas Thüm - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged operating system

Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience ReportScholz, Wolfgang, Thomas Thüm, Sven Apel, Christian Lengauer. In Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD). 2011:

Keynote: The Impact of Operating Systems on Modern CPU Designs (and Vice Versa)Chris Schläger. arcs 2008: 5 [doi]

An Executable Code Authorization Model for Secure Operating SystemChen Zemao, Wu Xiaoping, Tang Weimin. isecs 2008: 292-295 [doi]

On the Correctness of Operating System KernelsMauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul. tphol 2005: 1-16 [doi]

Give your bootstrap the boot: using the operating system to boot the operating systemRonald Minnich. cluster 2004: 439-448 [doi]

Exploration of process interaction in operating systems: a pipe-fork simulatorSteven Robbins. sigcse 2002: 351-355 [doi]

Network and Operating System Support for Digital Audio and Video, 12th International Workshop, NOSSDAV 2002, Miami Beach, Florida, USA, May 12-14, 2002, ProceedingsACM, 2002.

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, GermanyIEEE Computer Society, 2001.

Network and Operating System Support for Digital Audio and Video, 11th International Workshop, NOSSDAV 2001, Port Jefferson, NY, USA, June 25-26, 2001, ProceedingsACM, 2001.

TWLinuX : Operating System Support for Optimistic Parallel Discrete Event SimulationSubramania Sharma, Matthew Thazhuthaveetil. hipc 2001: 262-271 [doi]

Workshop on Hot Topics in Operating Systems1999.

Self-Paging in the Nemesis Operating SystemSteven M. Hand. osdi 1999: 73-86 [doi]

Using a Distributed Single Address Space Operating System to Support Modern Cluster ComputingAlan Skousen, Donald Miller. hicss 1999: [doi]

Workshop on Hot Topics in Operating Systems1999.

WebRes: Towards a Web Operating SystemOliver Krone, Simon Schubiger. kivs 1999: 418-429

Network and Operating System Support for Digital Audio and Video, 5th International Workshop, NOSSDAV 95, Durham, New Hampshire, USA, April 19-21, 1995, ProceedingsThomas D. C. Little, Riccardo Gusella, editors, Volume 1018 of Lecture Notes in Computer Science, Springer, 1995.

An Overview of the NetWare Operating SystemDrew Major, Greg Minshall, Kyle Powell. usenix 1994: 355-372

On the Use of A Multi-Threaded Operating System for an Efficient Parallel Implementation of the ML-EM Algorithm for PET Image ReconstructionKoen Bastiaens, Ignace Lemahieu, Paul Desmedt. apdc 1994: 31-39

Operating System Concepts, 4th editionAbraham Silberschatz, Peter Galvin. Addison-Wesley, 1994.

The Need for Customizable Operating SystemsGregor Kiczales, John Lamping, Chris Maeda, David Keppel, Dylan McNamee. hotos 1993: 165-169

Workshop on Workstation Operating Systems1993.

Distributed operating systems anno 1992. What have we learned so far?Andrew S. Tanenbaum. dse, 1(1):3-10, 1993. [doi]

Network and Operating System Support for Digital Audio and Video, Second International Workshop, Heidelberg, Germany, November 18-19, 1991, ProceedingsRalf Guido Herrtwich, editor, Volume 614 of Lecture Notes in Computer Science, Springer, 1992.

Exploiting Operating System Support for Dynamic Page Placement on a NUMA Shared Memory MultiprocessorRichard P. LaRowe Jr., James T. Wilkes, Carla Schlatter Ellis. ppopp 1991: 122-132

Using Petri nets to introduce operating system conceptsJohn M. Jeffrey. sigcse 1991: 324-329 [doi]

Technical Summary of the Second IEEE Workshop on Workstation Operating SystemsLuis-Felipe Cabrera. sigmetrics, 18(4):25-32, 1991.

Self-Assessment Procedure XX: Operating SystemsJohn Rosenberg, Akkihebbal L. Ananda, B. Srinivasan. CACM, 33(2):190-201, 1990.

Moving BITnet users from one operating system to another: problems & solutionsBen Hawkins. siguccs 1990: 173-176 [doi]

Why Aren t Operating Systems Getting Faster As Fast as Hardware?John K. Ousterhout. usenix 1990: 247-256

The MARUTI Hard Real-Time Operating SystemShem-Tov Levi, Satish K. Tripathi, Scott D. Carson, Ashok K. Agrawala. sigops, 23(3):90-105, 1989.

A Simulation Study of Resource Addressing Methods for a Distributed Operating SystemJadwiga Indulska, Andrzej M. Goscinski. wi, 31(6):244-254, 1989.

Key Research Directions in Distributed Operating SystemsHermann Schmutz. pdos 1990: 199

Multiple Operating Systems on One Processor ComplexTerry L. Borden, James P. Hennessy, James W. Rymarczyk. IBMSJ, 28(1):104-123, 1989.

Portability and the UNIX Operating SystemDaniel A. Cañas, Laura M. Esquivel. sigops, 22(2):6-23, 1988.

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.

Graphos: a graphic operating systemDaniel A. Cañas. sigcse 1987: 201-205 [doi]

Process Management in a Distributed Operating SystemSape J. Mullender. dfg 1988: 38-51

Preface to Special Issue on Operating System PrincilesAnita K. Jones. tocs, 4(2):109, 1986.

The DOOM operating systemPeter den Haan. sigopsE 1986: [doi]

GALAXY: A Distributed Real-Time Operating System Supporting High AvailabilityA. Kung, R. Kung. rtss 1985: 79-87

Formal Specification of a Multi-Level Secure Operating SystemTanya Korelsky, David Sutherland. sp 1984: 209-218

The Visi On Operating SystemWilliam T. Coleman III, Scott Warren. DEBU, 6(3):21-30, 1983. [doi]

The LOCUS Distributed Operating SystemBruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel. sosp 1983: 49-70

The Trio Operating SystemPer Brinch Hansen, Jon Fellows. SPE, 10(11):943-948, 1980.

Operating system conceptual model for ease of extensionMamoru Maekawa. ibm 1982: 175-205

Presentation and Correction of Errors in Operating System MeasurementsPaul Bourret, Patrice Cros. TSE, 6(4):395-398, 1980.

An Operating Non-SystemG. Yuval. sigops, 10(3):9-10, 1976.

Handling Difficult Faults in Operating SystemsRoger M. Needham. sosp 1971: 55-57

Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating SystemJoseph Winograd, S. J. Morganstein, R. Herman. sosp 1971: 149-155

BLNSYS - a 1401 operating system with Braille capabilitiesJoseph B. Landwehr, Charles McLaughlin, H. Mueller, M. Lichstein, Seymour V. Pollack. CACM, 8(5):300-303, 1965. [doi]

runs on WebDSL