Author: W.H.J. Feijen
Publisher: Springer Science & Business Media
ISBN: 1475731264
Category : Computers
Languages : en
Pages : 370
Book Description
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
On a Method of Multiprogramming
Author: W.H.J. Feijen
Publisher: Springer Science & Business Media
ISBN: 1475731264
Category : Computers
Languages : en
Pages : 370
Book Description
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
Publisher: Springer Science & Business Media
ISBN: 1475731264
Category : Computers
Languages : en
Pages : 370
Book Description
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
A Discipline of Multiprogramming
Author: Jayadev Misra
Publisher: Springer Science & Business Media
ISBN: 144198528X
Category : Computers
Languages : en
Pages : 430
Book Description
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.
Publisher: Springer Science & Business Media
ISBN: 144198528X
Category : Computers
Languages : en
Pages : 430
Book Description
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.
Computer Fundamentals
Author: B. Ram
Publisher: New Age International
ISBN: 9788122412673
Category : Computer architecture
Languages : en
Pages : 518
Book Description
Publisher: New Age International
ISBN: 9788122412673
Category : Computer architecture
Languages : en
Pages : 518
Book Description
National Bureau of Standards Miscellaneous Publication
Author:
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 476
Book Description
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 476
Book Description
NBS Special Publication
Author:
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 478
Book Description
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 478
Book Description
Computer Literature Bibliography
Author: United States. National Bureau of Standards
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 468
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 468
Book Description
Computer Literature Bibliography: 1946-1963
Author: W. W. Youden
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 476
Book Description
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 476
Book Description
A Discipline of Multiprogramming
Author: Jayadev Misra
Publisher: Springer Science & Business Media
ISBN: 9780387952062
Category : Computers
Languages : en
Pages : 448
Book Description
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.
Publisher: Springer Science & Business Media
ISBN: 9780387952062
Category : Computers
Languages : en
Pages : 448
Book Description
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.
Operating Systems
Author: Dionysios C. Tsichritzis
Publisher: Academic Press
ISBN: 1483268586
Category : Reference
Languages : en
Pages : 318
Book Description
Operating Systems deals with the fundamental concepts and principles that govern the behavior of operating systems. Many issues regarding the structure of operating systems, including the problems of managing processes, processors, and memory, are examined. Various aspects of operating systems are also discussed, from input-output and files to security, protection, reliability, design methods, performance evaluation, and implementation methods. Comprised of 10 chapters, this volume begins with an overview of what constitutes an operating system, followed by a discussion on the definition and properties of the basic unit of computation within an operating system, the process. The reader is then introduced to processor allocation schemes as well as various classes of scheduling disciplines and their implementations; memory management functions; and virtual memory. Subsequent chapters focus on input-output and files; protection in an operating system; and design and implementation of an operating system. The book concludes by describing two operating systems to help the reader visualize how the major components of a system interact in a complete system: the Venus Operating System developed by MITRE Corp. and the SUE nucleus, designed at the University of Toronto. This monograph is intended for fourth-year undergraduates and first-year graduate students, as well as lecturers who plans to institute a course on operating systems.
Publisher: Academic Press
ISBN: 1483268586
Category : Reference
Languages : en
Pages : 318
Book Description
Operating Systems deals with the fundamental concepts and principles that govern the behavior of operating systems. Many issues regarding the structure of operating systems, including the problems of managing processes, processors, and memory, are examined. Various aspects of operating systems are also discussed, from input-output and files to security, protection, reliability, design methods, performance evaluation, and implementation methods. Comprised of 10 chapters, this volume begins with an overview of what constitutes an operating system, followed by a discussion on the definition and properties of the basic unit of computation within an operating system, the process. The reader is then introduced to processor allocation schemes as well as various classes of scheduling disciplines and their implementations; memory management functions; and virtual memory. Subsequent chapters focus on input-output and files; protection in an operating system; and design and implementation of an operating system. The book concludes by describing two operating systems to help the reader visualize how the major components of a system interact in a complete system: the Venus Operating System developed by MITRE Corp. and the SUE nucleus, designed at the University of Toronto. This monograph is intended for fourth-year undergraduates and first-year graduate students, as well as lecturers who plans to institute a course on operating systems.
Computer Literature Bibliography: 1964-1967
Author: W. W. Youden
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 392
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 392
Book Description