A Discipline of Multiprogramming

A Discipline of Multiprogramming
Author :
Publisher : Springer Science & Business Media
Total Pages : 430
Release :
ISBN-10 : 9781441985286
ISBN-13 : 144198528X
Rating : 4/5 (86 Downloads)

Book Synopsis A Discipline of Multiprogramming by : Jayadev Misra

Download or read book A Discipline of Multiprogramming written by Jayadev Misra and published by Springer Science & Business Media. This book was released on 2012-09-07 with total page 430 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Discipline of Multiprogramming Related Books

A Discipline of Multiprogramming
Language: en
Pages: 430
Authors: Jayadev Misra
Categories: Computers
Type: BOOK - Published: 2012-09-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from da
On a Method of Multiprogramming
Language: en
Pages: 370
Authors: W.H.J. Feijen
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 m
Distributed Programming
Language: en
Pages: 389
Authors: A. Udaya Shankar
Categories: Computers
Type: BOOK - Published: 2012-09-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specificati
ECOOP 2005 - Object-Oriented Programming
Language: en
Pages: 648
Authors: Andrew Black
Categories: Computers
Type: BOOK - Published: 2005-08-25 - Publisher: Springer

DOWNLOAD EBOOK

The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last week of July in Glasgow, Scotland, U
Programming Methodology
Language: en
Pages: 467
Authors: Annabelle Mclver
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activit