No abstract available.
Cited By
- Dongol B and Hayes I Deriving real-time action systems controllers from multiscale system specifications Proceedings of the 11th international conference on Mathematics of Program Construction, (102-131)
- van Amstel M, van den Brand M and Engelen L An exercise in iterative domain-specific language design Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), (48-57)
- Dongol B and Hayes I Compositional action system derivation using enforced properties Proceedings of the 10th international conference on Mathematics of program construction, (119-139)
- Mooij A (2010). Invariant-based reasoning about parameterized security protocols, Formal Aspects of Computing, 22:1, (63-81), Online publication date: 1-Jan-2010.
- Dongol B and Mooij A (2008). Streamlining progress-based derivations of concurrent programs, Formal Aspects of Computing, 20:2, (141-160), Online publication date: 1-Mar-2008.
- Mooij A Calculating and composing progress properties in terms of the leads-to relation Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, (366-386)
- Dongol B Formalising progress properties of non-blocking programs Proceedings of the 8th international conference on Formal Methods and Software Engineering, (284-303)
- Dongol B and Mooij A Progress in deriving concurrent programs Proceedings of the 8th international conference on Mathematics of Program Construction, (140-161)
- Mooij A and Wesselink W Incremental verification of owicki/gries proof outlines using PVS Proceedings of the 7th international conference on Formal Methods and Software Engineering, (390-404)
- Goldson D and Dongol B Concurrent program design in the extended theory of Owicki and Gries Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41, (41-50)
Index Terms
- On a method of multiprogramming
Recommendations
Scheduling algorithms for multiprogramming in a hard-real-time environment
Readings in hardware/software co-designThe problem of multiprogram scheduling on a single processor is studied from the viewpoint of the characteristics peculiar to the program function that need guaranteed service. It is shown that an optimum fixed priority scheduler possesses an upper ...
Multiprogramming on multiprocessors
SPDP '91: Proceedings of the 1991 Third IEEE Symposium on Parallel and Distributed ProcessingMany solutions have been proposed to the problem of multiprogramming a multiprocessor. However, each has limited applicability or fails to address an important source of overhead. In addition, there has been little experimental comparison of the various ...
On Optimal Processor Scheduling for Multiprogramming
This paper investigates the problem of scheduling a processor to optimize throughput in a multiprogramming environment. A deterministic model is used to study the scheduling of a batch of k programs residing in main memory of a system consisting of a ...