• Corpus ID: 10471789

Searching publications on operating systems

  title={Searching publications on operating systems},
  author={Kees Middelburg},
This note concerns a search for publications in which one can find statements that explain the concept of an operating system, reasons for introducing operating systems, a formalization of the concept of an operating system or theory about operating systems based on such a formalization. It reports on the way in which the search has been carried out and the outcome of the search. The outcome includes not only what the search was meant for, but also some added bonuses. 
Searching publications on software testing
The message of the note is that the fundamentals of software testing are not yet complete in some respects and there are solid grounds to test software in cases where in principle other forms of analysis could be used.
What is an OS?
While the engineering of operating systems is well understood, their formal structure and properties are not. The latter needs a clear definition of the purpose of an OS and an identification of the
On the definition of a theoretical concept of an operating system
We dwell on how a definition of a theoretical concept of an operating system, suitable to be incorporated in a mathematical theory of operating systems, could look like. This is considered a valuable
Intensional view of General Single Processor Operating Systems
This work proposes to overcome the current ostensive view by defining an OS based on formal models of computation, and also introduces some principles that are used to develop a framework of algorithms of single processor OS structure using an approach similar to function level programming.
UvA-DARE ( Digital Academic Repository ) Informal control code logic
General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described and a rationale for control code testing is sought and found.
Introducing Sourcements
Sourcing processes are discussed at a high abstraction level. A dedicated terminology is developed concerning general aspects of sourcing. The term sourcement is coined to denote a building block for
Informal Control code logic
General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is
Putting Instruction Sequences into Effect
An attempt is made to define the concept of execution of an instruction sequence. It is found to be a special case of directly putting into effect of an instruction sequence. Directly putting into
Steering Fragments of Instruction Sequences
The question is addressed why composed propositional statements occur in steering fragments given the fact that a straightforward transformation allows their elimination.
A ug 2 01 0 Formaleuros , formalcoins , and virtual monies
Formalist positions towards money are considered from a perspective or formal methods in computing. The Formaleuro (FE) as a dimension for monetary quantities is proposed as well as the Formalcoin


What is the Use of Operating Systems?
The aim of this paper is to show that computer operating systems are, from the user's point of view, not only inevitable but desirable. It is not intended to be a technical account of operating
Third Generation Computer Systems
The common features of third generation operating systems are surveyed from a general view, with emphasis on the common abstractions that constitute at least the basis for a “theory” of operating
A top-down operating systems course
The conventional course on operating systems could usefully be reorganised to emphasise the importance of the people who use the system, and the experience in designing and presenting such a course is commented on.
A program-controlled program interruption system
  • F. Brooks
  • Computer Science
    IRE-ACM-AIEE '57 (Eastern)
  • 1957
The system by which a computer unit responds to arbitrarily timed signals with programs pertinent to each signal will be called a program interruption system.
A system organization for resource allocation
This paper introduces a system for resource management using the concepts of “process,’ “facility,” and “event” in which a system analyst can express solutions to resource management problems.
An experimental time-sharing system
A scheduling algorithm of one of us (FJC) that illustrates some of the techniques which may be employed to enhance and be analyzed for the performance limits of such a time-sharing system.
Simultaneous Processing of Jobs on an Electronic Computer
The advantages of prescribing computer programs such that they have no arbitrary sequence constraints and can be segmented into independent subjobs which can be processed by one component of a computer, for example, an input device are reported on.
The IBM 701 computer at the general motors research laboratories
The author remembers 3.5 hours mean time between failures for the 701—an excellent record. He recalls the beginning of SHARE and also what many regard as the first monitor on the 704 or on any IBM
The working set model for program behavior
A new model, the “working set model,” is developed, defined to be the collection of its most recently used pages, which provides knowledge vital to the dynamic management of paged memories.
Programming semantics for multiprogrammed computations
The semantics are defined for a number of meta-instructions which perform operations essential to the writing of programs in multiprogrammed computer systems. These meta-instructions relate to