Log in

Relevant bibliographies by topics / Computers - Operating Systems / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Computers - Operating Systems.

Dissertations / Theses on the topic 'Computers - Operating Systems'

Author: Grafiati

Published: 4 June 2021

Last updated: 2 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Computers - Operating Systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Neugebauer, Rolf. "Decentralising resource management in operating systems." Thesis, University of Glasgow, 2003. http://theses.gla.ac.uk/4118/.

Full text

Abstract:

This dissertation explores operating system mechanisms to allow resource-aware applications to be involved in the process of managing resources under the premise that these applications (1) potentially have some (implicit) notion of their future resource demands and (2) can adapt their resource demands. The general idea is to provide feedback to resource-aware applications so that they can proactively participate in the management of resources. This approach has the benefit that resource management policies can be removed from central entities and the operating system has only to provide mecha

APA, Harvard, Vancouver, ISO, and other styles

2

Baumann, Andrew Computer Science &amp Engineering Faculty of Engineering UNSW. "Dynamic update for operating systems." Awarded by:University of New South Wales. Computer Science and Engineering, 2007. http://handle.unsw.edu.au/1959.4/28356.

Full text

Abstract:

Patches to modern operating systems, including bug fixes and security updates, and the reboots and downtime they require, cause tremendous problems for system users and administrators. The aim of this research is to develop a model for dynamic update of operating systems, allowing a system to be patched without the need for a reboot or other service interruption. In this work, a model for dynamic update based on operating system modularity is developed and evaluated using a prototype implementation for the K42 operating system. The prototype is able to update kernel code and data structures, e

APA, Harvard, Vancouver, ISO, and other styles

3

Rogers, David T. "A framework for dynamic subversion." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FRogers.pdf.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2003.<br>Thesis advisor(s): Cynthia E. Irvine, Roger R. Schell. Includes bibliographical references (p. 105-107). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

4

Watson, Robert Nicholas Maxwell. "New approaches to operating system security extensibility." Thesis, University of Cambridge, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609485.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Roth, Christopher. "A distributed password scheme for network operating systems." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02Jun%5FRoth.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Grossman, Michael D. "A computer simulation of processor scheduling in UNIX 4.2BSD /." Online version of thesis, 1987. http://hdl.handle.net/1850/10295.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Dodge, Catherine A. "Recommendations for secure initialization routines in operating systems /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/04Dec%5FDodge.pdf.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, December 2004.<br>Thesis Advisor(s): Cynthia E. Irvine, Thuy D. Nguyen. Includes bibliographical references (p. 107-109) Also available online.

APA, Harvard, Vancouver, ISO, and other styles

8

Forbes, Harold C. "Operating system principles and constructs for dynamic multi-processor real-time control systems." Diss., Georgia Institute of Technology, 1996. http://hdl.handle.net/1853/8165.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Goktepe, Meftun. "Windows XP Operating System security analysis." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02sep%5FGoktepe.pdf.

Full text

Abstract:

Thesis (M.S. in Information Technology Management)--Naval Postgraduate School, September 2002.<br>Thesis advisor(s): Richard Harkins, Cynthia Irvine. Includes bibliographical references (p. 105-107). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

10

Swift, Michael M. "Improving the reliability of commodity operating systems /." Thesis, Connect to this title online; UW restricted, 2005. http://hdl.handle.net/1773/7019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Goel, Ashvin. "Operating system support for low-latency streaming /." Full text open access at:, 2003. http://content.ohsu.edu/u?/etd,194.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Murray, Jessica L. "An exfiltration subversion demonstration." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FMurray.pdf.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2003.<br>Thesis advisor(s): Cynthia E. Irvine, Roger R. Schell. Includes bibliographical references (p. 83-92). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

13

Purdin, Titus Douglas Mahlon. "ENHANCING FILE AVAILABILITY IN DISTRIBUTED SYSTEMS (THE SAGUARO FILE SYSTEM)." Diss., The University of Arizona, 1987. http://hdl.handle.net/10150/184161.

Full text

Abstract:

This dissertation describes the design and implementation of the file system component of the Saguaro operating system for computers connected by a local-area network. Systems constructed on such an architecture have the potential advantage of increased file availability due to their inherent redundancy. In Saguaro, this advantage is made available through two mechanisms that support semi-automatic file replication and access: reproduction sets and metafiles. A reproduction set is a collection of files that the system attempts to keep identical on a "best effort" basis, relying on the user to

APA, Harvard, Vancouver, ISO, and other styles

14

Tennant, Robert Satchwell. "An alternative peripheral executive for the data general AOS/VS operating system." Thesis, Rhodes University, 1990. http://hdl.handle.net/10962/d1002031.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Okyay, Mehmet Onur Aytaç Sıtkı. "A portable real-time operating system for embedded platforms/." [s.l.]: [s.n.], 2004. http://library.iyte.edu.tr/tezler/master/bilgisayaryazilimi/T000477.doc.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Messer, Alan. "A market model for controlled resource allocation in distributed operating systems." Thesis, City, University of London, 1999. http://openaccess.city.ac.uk/20134/.

Full text

Abstract:

This thesis explores the potential for providing processes with control over their resource allocation in a general-purpose distributed system. Rather than present processes with blind explicit control or leave the decision to the operating system, a compromise, called process-centric resource allocation is proposed whereby processes have informed control of their resource allocation, while the operating system ensures fair consumption. The motivations for this approach to resource allocation and its background are reviewed culminating in the description of a set of desired attributes for such

APA, Harvard, Vancouver, ISO, and other styles

17

Kumano, Shintaro. "Boundary clusters in adaptive neighborhood networks." Thesis, Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/9150.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Wei, Jinpeng. "Improving operating systems security two case studies /." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/31849.

Full text

Abstract:

Thesis (Ph.D)--Computing, Georgia Institute of Technology, 2010.<br>Committee Chair: Pu, Calton; Committee Member: Ahamad, Mustaque; Committee Member: Blough, Douglas; Committee Member: Giffin, Jonathon; Committee Member: Li, Kang. Part of the SMARTech Electronic Thesis and Dissertation Collection.

APA, Harvard, Vancouver, ISO, and other styles

19

McDonald, Ian Lindsay. "Memory management in a distributed system of single address space operating systems supporting quality of service." Thesis, University of Glasgow, 2001. http://theses.gla.ac.uk/5427/.

Full text

Abstract:

The choices provided by an operating system to the application developer for managing memory came in two forms: no choice at all, with the operating system making all decisions about managing memory; or the choice to implement virtual memory management specific to the individual application. The second of these choices is, for all intents and purposes, the same as the first: no choice at all. For many application developers, the cost of implementing a customised virtual memory management system is just too high. The results is that, regardless of the level of flexibility available, the develop

APA, Harvard, Vancouver, ISO, and other styles

20

余永嘉 and Wing-ka Yu. "Execution objects: flexible composition and efficient interaction." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1996. http://hub.hku.hk/bib/B31213868.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Yu, Wing-ka. "Execution objects : flexible composition and efficient interaction /." Hong Kong : University of Hong Kong, 1996. http://sunzi.lib.hku.hk/hkuto/record.jsp?B19671659.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Wells, George Clifford. "A study of real-time operating systems for microcomputers." Thesis, Rhodes University, 1990. http://hdl.handle.net/10962/d1004896.

Full text

Abstract:

This thesis describes the evaluation of four operating systems for microcomputers. The emphasis of the study is on the suitability of the operating systems for use in real-time applications, such as process control. The evaluation was performed in two sections. The first section was a quantitative assessment of the performance of the real-time features of the operating system. This was performed using benchmarks. The criteria for the benchmarks and their design are discussed. The second section was a qualitative assessment of the suitability of the operating systems for the development and imp

APA, Harvard, Vancouver, ISO, and other styles

23

Leslie, Rebekah. "A Functional Approach to Memory-Safe Operating Systems." PDXScholar, 2011. https://pdxscholar.library.pdx.edu/open_access_etds/499.

Full text

Abstract:

Purely functional languages--with static type systems and dynamic memory management using garbage collection--are a known tool for helping programmers to reduce the number of memory errors in programs. By using such languages, we can establish correctness properties relating to memory-safety through our choice of implementation language alone. Unfortunately, the language characteristics that make purely functional languages safe also make them more difficult to apply in a low-level domain like operating systems construction. The low-level features that support the kinds of hardware manipulatio

APA, Harvard, Vancouver, ISO, and other styles

24

Dodge, Catherine A. "Recommendations for secure initialization routines in operating systems." Thesis, Monterey, California. Naval Postgraduate School, 2004. http://hdl.handle.net/10945/1206.

Full text

Abstract:

Approved for public release; distribution in unlimited.<br>While a necessity of all operating systems, the code that initializes a system can be notoriously difficult to understand. This thesis explores the most common architectures used for bringing an operating system to its initial state, once the operating system gains control from the boot loader. Specifically, the ways in which the OpenBSD and Linux operating systems handle initialization are dissected. With this understanding, a set of threats relevant to the initialization sequence was developed. A thorough study was also made to det

APA, Harvard, Vancouver, ISO, and other styles

25

Spafford, Eugene Howard. "Kernel structures for a distributed operating system." Diss., Georgia Institute of Technology, 1986. http://hdl.handle.net/1853/9144.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

McLean, Angus L. M. Thom III. "Real-time distributed simulation analysis : an application of temporal database and simulation systems research." Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/9124.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Seelam, Seetharami R. "Towards dynamic adaptation of I/O scheduling in commodity operating systems." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2006. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Kou, Tian. "Conformance testing of OSI protocols : the class O transport protocol as an example." Thesis, University of British Columbia, 1987. http://hdl.handle.net/2429/26427.

Full text

Abstract:

This thesis addresses the problem of conformance testing of communication protocol implementations. Test sequence generation techniques for finite state machines (FSM) have been developed to solve the problem of high costs of an exhaustive test. These techniques also guarantee a complete coverage of an implementation in terms of state transitions and output functions, and therefore provide a sound test of the implementation under test. In this thesis, we have modified and applied three test sequence generation techniques on the class 0 transport protocol. A local tester and executable test

APA, Harvard, Vancouver, ISO, and other styles

29

Bershad, Brian Nathan. "High performance cross-address space communication /." Thesis, Connect to this title online; UW restricted, 1990. http://hdl.handle.net/1773/6939.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Schneck, Phyllis Adele. "Dynamic management of computation and communication resources to enable secure high-performances applications." Diss., Georgia Institute of Technology, 1999. http://hdl.handle.net/1853/8264.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

DeBrunner, Linda Sumners. "Multitasking operating systems for real-time applications." Thesis, Virginia Polytechnic Institute and State University, 1986. http://hdl.handle.net/10919/104318.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Vigder, Mark (Mark Ronald) Carleton University Dissertation Engineering Electrical. "Applying formal techniques to the design of concurrent systems." Ottawa, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

Graunke, Kenneth William. "Extensible Scheduling in a Haskell-based Operating System." PDXScholar, 2010. https://pdxscholar.library.pdx.edu/open_access_etds/1.

Full text

Abstract:

This thesis presents Lighthouse, an experimental branch of the Haskell-based House operating system which integrates Li et al.'s Lightweight Concurrency framework. First and foremost, it improves House's viability as a "real operating system" by providing a new extensible scheduler framework which makes it easy to experiment with different scheduling policies. In particular, Lighthouse extends Concurrent Haskell with thread priority and implements a priority-based scheduler which significantly improves system responsiveness when compared with GHC's normal round-robin scheduler. Even while doin

APA, Harvard, Vancouver, ISO, and other styles

34

Apte, Manoj Shriganesh. "An operating system architecture and hybrid scheduling methodology for real-time systems with uncertainty." Diss., Mississippi State : Mississippi State University, 2004. http://library.msstate.edu/etd/show.asp?etd=etd-11102004-152431.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Webb, Jason N. "The advanced features of Mac OS X and their benefits to the design community /." Online version of thesis, 2003. http://homepage.mac.com/jasonwebb/thesis/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Rappin, Noel. "A framework for teaching learners to model by focusing complexity of modeling and simulation tools." Diss., Georgia Institute of Technology, 1998. http://hdl.handle.net/1853/8248.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Yuh, Han-Sheng. "Spider: An overview of an object-oriented distributed computing system." CSUSB ScholarWorks, 1997. https://scholarworks.lib.csusb.edu/etd-project/1417.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Loubser, Johannes Jacobus. "Device drivers : a comparison of different development strategies." Thesis, Stellenbosch : Stellenbosch University, 2000. http://hdl.handle.net/10019.1/51690.

Full text

Abstract:

Thesis (MSc)--Stellenbosch University, 2000.<br>ENGLISH ABSTRACT: Users are not supposed to modify an operating system kernel, but it is often necessary to add a device driver for a new peripheral device. Device driver development is a difficult and time-consuming process that must be performed by an expert. Drivers are difficult to debug and a malfunctioning driver could cause the operating system to crash. Ways are therefore needed to make the development of device drivers safer and easier. A number of different device driver development methods are examined in this thesis. An existing

APA, Harvard, Vancouver, ISO, and other styles

39

Somanathan, Muthuveer. "An initial operating system adaptation heuristic for Swap Cluster Max (SCM)." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Deorukhkar, Mayuresh. "Deadlock probability prediction and detection in distributed systems /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p1421130.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Brinkmeyer, Jay Charles 1960. "A multi-tasking operating system for real-time applications." Thesis, The University of Arizona, 1987. http://hdl.handle.net/10150/276589.

Full text

Abstract:

Presented in this thesis is the design and implementation of a fast, compact, and flexible multi-tasking operating system. This system is designed for use in small computers which must deliver real-time performance in extremely constrained environments. The operating system is implemented in the "C" language to allow portability between different computers systems. A number of useful features are provided which support dynamic task management, message passing, a hierarchial file system, device drivers, and a command line interpreter. Modularized construction enables the user to prune unnecessa

APA, Harvard, Vancouver, ISO, and other styles

42

McKenney, Paul E. "Exploiting deferred destruction : an analysis of read-copy-update techniques in operating system kernels /." Full text open access at:, 2004. http://content.ohsu.edu/u?/etd,225.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Van, Riet F. A. "LF : a language for reliable embedded systems." Thesis, Stellenbosch : Stellenbosch University, 2001. http://hdl.handle.net/10019.1/52322.

Full text

Abstract:

Thesis (MSc)--University of Stellenbosch, 2001.<br>ENGLISH ABSTRACT: Computer-aided verification techniques, such as model checking, are often considered essential to produce highly reliable software systems. Modern model checkers generally require models to be written in eSP-like notations. Unfortunately, such systems are usually implemented using conventional imperative programming languages. Translating the one paradigm into the other is a difficult and error prone process. If one were to program in a process-oriented language from the outset, the chasm between implementation and mod

APA, Harvard, Vancouver, ISO, and other styles

44

Wang, Koping. "Spider II: A component-based distributed computing system." CSUSB ScholarWorks, 2001. https://scholarworks.lib.csusb.edu/etd-project/1874.

Full text

Abstract:

Spider II system is the second version implementation of the Spider project. This system is the first distributed computation research project in the Department of Computer Science at CSUSB. Spider II is a distributed virtual machine on top of the UNIX or LINUX operating system. Spider II features multi-tasking, load balancing and fault tolerance, which optimize the performance and stability of the system.

APA, Harvard, Vancouver, ISO, and other styles

45

Liles, Stewart Whitfield. "On the characterization and analysis of system of systems architectures." Fairfax, VA : George Mason University, 2008. http://hdl.handle.net/1920/3281.

Full text

Abstract:

Thesis (Ph.D.)--George Mason University, 2008.<br>Vita: p. 192. Thesis director: Alexander H. Levis. Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information Technology. Title from PDF t.p. (viewed Jan. 11, 2009). Includes bibliographical references (p. 184-191). Also issued in print.

APA, Harvard, Vancouver, ISO, and other styles

46

Gunaseelan, L. "Debugging of Distributed object systems." Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/9219.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Mukherjee, Bodhisattwa. "Reconfigurable multiprocessor operating system kernel for high performance computing." Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/9120.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Brogan, David C. "Simulation levels of detail for control and animation." Diss., Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/8142.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Frey, Clifford A. (Clifford Arthur). "Acetone : a system call interface for Asbestos labels." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/33149.

Full text

Abstract:

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.<br>Includes bibliographical references (p. 53-55).<br>Acetone is a secure operating system kernel that uses a shared address space and supports Asbestos labels. Acetone uses Asbestos labels to enable a wide variety of security policies including ones that prevent untrusted applications from being able to disclose private data. All threads run in the same address space, but have different memory access privileges. Acetone uses standard memory protection mechanisms to ensure that

APA, Harvard, Vancouver, ISO, and other styles

50

Motara, Yusuf Moosa. "File integrity checking." Thesis, Rhodes University, 2006. http://hdl.handle.net/10962/d1007701.

Full text

Abstract:

This thesis looks at file execution as an attack vector that leads to the execution of unauthorized code. File integrity checking is examined as a means of removing this attack vector, and the design, implementation, and evaluation of a best-of-breed file integrity checker for the Linux operating system is undertaken. We conclude that the resultant file integrity checker does succeed in removing file execution as an attack vector, does so at a computational cost that is negligible, and displays innovative and useful features that are not currently found in any other Linux file integrity checke

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!