J. Misra. A Discipline of Multiprogramming. Springer-Verlag, New York, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Seuss for Java - Language Reference - Joshi (1998) (Correct)
....amounts of sequential code, which are often written, understood, and reasoned about in isolation, while concurrency is made explicit only at the highest level, in deciding how to orchestrate the executions of these sequential programs. Consequently, the Seuss notation, in its most abstract form [Misra 96] describes structuring constructs for organising sequential programs written in any programming language. This document describes the language Seuss for Java , which is an adaptation of the original Seuss notation for use with the programming language Java [GJS 96] The document provides a ....
....of Java statements. The main body of this document describes the language in detail and the appendices provide the full syntax in EBNF and illustrate the language usage with a set of small examples. The language described here is based largely on the the original Seuss publication notation [Misra 96] and the language Seuss for C [Kruger 96] Its current form was debated and discussed in the meetings of the Seuss Group at the University of Texas at Austin, attended by Will Adams, Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Pete Manolios, Jay Misra, Todd Smith and Raymond Tse. 1 Dept. of ....
Misra, J., A Discipline of Multiprogramming, unpublished manuscript, 1996 ftp://ftp.cs.utexas.edu/pub/psp/seuss/discipline.ps.Z
Formal Description of Telecommunication Services in Promela and Z - Zave (1999) (1 citation) (Correct)
....have both been exercised on large examples and are thoroughly understood, it may be possible to revise one of them to obtain the advantages of both. Taking all together the technique presented in this paper, the three approaches discussed above, and new multiprogramming languages such as Seuss [10], there is now quite a variety of wide spectrum formalisms within which one might plausibly hope to describe and reason about complex systems such as DFC telecommunication systems. What we do not yet have is any indication of which works better, for this or any other application. This is the most ....
Jayadev Misra. A discipline of multiprogramming. In this volume.
Concurrent Maintenance of Rings - Xiaozhou Li Jayadev Self-citation (Misra) (Correct)
No context found.
J. Misra. A Discipline of Multiprogramming. Springer-Verlag, New York, 2001.
Interactive Verification Exploiting Program Design Knowledge: A .. - Kaltenbach (1996) (3 citations) Self-citation (Misra) (Correct)
....than the unconditional fairness of traditional UNITY logic [CM88, Rao95, Fra86] In the following, we briefly discuss some additional topics for future research that can build on our work presented here. Verification for Seuss Recently, Misra has proposed a new discipline for multiprogramming [Mis94] called Seuss that is aimed at addressing both the need to reason about complex concurrent systems, and the requirement for efficient execution of the designed systems. A principal problem in dealing with multiprograms is that the requirements for a modular structure (being essential for ....
J. Misra. A discipline of multiprogramming. In Specification of Parallel Algorithms, volume 18 of DIMACS. American Mathematical Society, May 1994.
Seuss: What the Doctor Ordered - Alvisi, Joshi, Lin, Misra (1997) (1 citation) Self-citation (Misra) (Correct)
....with a single thread of control; this simplifies correctness proofs. At the same time, implementation designers can exploit design knowledge in order to execute programs using multiple threads; this leads to better performance. The theoretical aspects of Seuss have been described elsewhere [17], 16] In this paper, we provide a short overview of Seuss and identify the main challenges in applying Seuss to large distributed applications and in developing efficient implementations of Seuss programs. 2. The Programming Model The programming model of Seuss is simple. A Seuss program is a ....
....is called compatibility, which, like commutativity, is a relation between actions. Compatibility is, however, a weaker notion than traditional commutativity; thus it admits greater concurrency. A formal definition of compatibility, and further discussion of this topic, can be found elsewhere [17]. 2.7. Examples In this section, we show two small examples of Seuss programs, which illustrate the concepts described above. Message communication An unbounded FIFO channel is designed as a box with a local variable of type sequence and two methods. Total method put appends an item to the end ....
J. Misra. A discipline of multiprogramming. In G. E. Blelloch, K. M. Chandy, and S. Jagannathan, editors, Specification of Parallel Algorithms, volume 18, pages 357--381, Providence, RI, 1994. DIMACS (Series in Discrete Mathematics) , American Mathematical Society.
Concurrent Program Design in the Extended Theory of Owicki and .. - Goldson, Dongol (2005) (Correct)
No context found.
Misra, J. (2001), A Discipline of Multiprogramming, Springer-Verlag.
Mechanizing Compositional Reasoning for Concurrent Systems.. - Ehmety, Paulson (2005) (1 citation) (Correct)
No context found.
Jayadev Misra. A Discipline of Multiprogramming. Springer, 2001.
Mechanizing Compositional Reasoning for Concurrent Systems: Some.. - Paulson (2003) (1 citation) (Correct)
No context found.
Jayadev Misra. A Discipline of Multiprogramming. Springer, 2001. 19
A UNITY-based Framework towards Component Based Systems - Prasetya, Vos, Azurat.. (2003) (Correct)
No context found.
J. Misra. A Discipline of Multiprogramming. Springer-Verlag, 2001.
Parallelization Agent for Legacy Codes - Kothari (1996) (2 citations) (Correct)
No context found.
Jayadev Misra, "A Discipline of Multiprogramming," Series in Discrete Mathematics and Theoretical Computer Science DIMACS Vol. 18, 1994, pp. 357-381.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC