G. Kahn, D.B. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist (editor) Information Processing '77, pp. 993--998, North-Holland, 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Taming Heterogeneity - the Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2002) (9 citations) (Correct)
....to its time stamp. Receivers in this domain are proxies for the global event queue. During each iteration of a DE model, the events with the smallest time stamp are removed from the global event queue, and their destination actor is fired. 4.4. 4 Process network In the process network (PN) domain [26], actors represent processes that communicate by (conceptually infinite capacity) FIFO queues. Receivers in this model implement these FIFO queues. Writing to the queues always succeeds, while reading from an empty queue blocks the reader process. The simple blocking read nonblocking write rule ....
Gilles Kahn and David B. MacQueen. Coroutines and networks of parallel processes. In Proceedings of the IFIP Congress 77, pages 993--998, Paris, France, 1977. International Federation for Information Processing, North-Holland Publishing Company.
System-Level Types for Component-Based Design - Lee, Xiong (2001) (18 citations) (Correct)
....the other thread calls get( or put( Data is exchanged in an atomic action when both the producer and consumer are ready. Process Networks (PN) This domain implements the Kahn process networks model of computation [6] The Ptolemy II implementation is similar to that by Kahn and MacQueen [7]. In that model, just like CSP, the producer and consumer are separate threads executing the fire( method. Unlike CSP, however, the producer can send data and proceed without waiting for the receiver to be ready to receive data. This is implemented by a non blocking write to a FIFO queue with ....
G. Kahn and D. B. MacQueen, "Coroutines and Networks of Parallel Processes," Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977.
Distributed Process Networks in Java - Parks, Roberts (2003) (Correct)
....on a single computer, a cluster of servers on a high speed LAN, or geographically dispersed servers on the Internet. 1. Introduction Gilles Kahn defined a formal model for networks of concurrent processes that communicate through first in firstout channels carrying streams of data tokens [5, 6]. Processes produce tokens and send them along a communication channel where they are stored until the destination process consumes them. Communication channels are the only method processes may use to exchange information. For each channel there is a single process that produces tokens and a ....
....representation of streams. Thus all Process objects communicate through streams of bytes by using the write and read methods of ChannelOutputStream and ChannelInputStream. In order to preserve the mathematical semantics of streams, read operations on channels must block if no data is available [6]. Unfortunately, java.io.InputStream allows non blocking read operations. When reading an array of bytes, the operation may complete early, returning fewer bytes than were requested. Our BlockingInput3 b Figure 2. A simple process network. If data is produced faster than it is consumed, then ....
G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing 77: Proceedings of IFIP Congress, pages 993-- 998, Toronto, Aug. 1977.
System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
....may cause causality problems in a synchronous model and are discussed together with the family of synchronous languages in Section 2.2. AB C D Figure 2.1. A data flow process network Data Flow Process Networks Data flow process networks [69] are a special variant of Kahn process networks [63] [64]. In a Kahn process network processes communicate with each other via unbounded FIFO channels. Writing to these channels is non blocking, i.e. they always succeed and do not stall the process, while reading from these channels is blocking, i.e. a process that reads from an empty channel will stall ....
G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In IFIP '77. North-Holland, 1977.
Ptolemy II - Heterogeneous Concurrent Modeling and.. - Hylands, Lee, Liu.. (2003) (1 citation) (Correct)
....technical restrictions on these functions are necessary to ensure determinacy, meaning that the sequences are fully specified. In particular, the function implemented by an entity must be prefix monotonic. The PN domain realizes a subclass of such functions, first described by Kahn and MacQueen [45], where blocking reads ensure monotonicity. PN models are loosely coupled, and hence relatively easy to parallelize or distribute. They can be implemented efficiently in both software and hardware, and hence leave implementation options open. A key weakness of PN models is that they are awkward ....
....a specific variant of distributed discrete event systems (DDES) as expounded by Chandy and Misra [19] The domain serves as a framework for studying DDES with two special emphases. First we consider DDES from a dataflow perspective; we view DDE as an implementation of the Kahn dataflow model [45] with distributed time added on top. Second we study DDES not with the goal of improving execution speed (as has been the case traditionally) Instead we study DDES to learn its usefulness in modeling and designing systems that are timed and distributed. 21.2 Using DDE The DDE domain is typed so ....
[Article contains additional citation context not shown here]
G. Kahn and D. B. MacQueen, "Coroutines and Networks of Parallel Processes," Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977.
Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (9 citations) (Correct)
....model, the events with the smallest time stamp are removed from the global event queue, and their destination actor is fired. 4) Process network: In the process network (PN) domain, created by Tom Parks, actors represent processes that communicate by (conceptually infinite capacity) FIFO queues [25] Receivers in this model implement these FIFO queues. Writing to the queues always succeeds, while reading from an empty queue blocks the reader process. The simple blocking readnonblocking write rule ensures the determinacy of the model. 5) Synchronous dataflow: A synchronous dataflow (SDF) ....
Gilles Kahn and David B. MacQueen. Coroutines and networks of parallel processes. In Proceedings of the IFIP Congress 77, pages 993--998, Paris, France, 1977. International Federation for Information Processing, North-Holland Publishing Company.
Models for Data-Flow Sequential Processes - Josephs (2001) (Correct)
No context found.
G. Kahn, D.B. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist (editor) Information Processing '77, pp. 993--998, North-Holland, 1977.
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In IFIP '77. NorthHolland, 1977.
Models of Computation in the Design Process - Jantsch, Sander (2005) (Correct)
No context found.
G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In IFIP '77. North-Holland, 1977.
Unknown - Frdric Boussinot Jean-Ferdy (Correct)
No context found.
G. Kahn, D. B. MacQueen, Coroutines and Networks of Parallel Processes, Proc. IFIP Congress 74, 1977.
Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (9 citations) (Correct)
No context found.
G. Kahn and D. B. MacQueen, "Coroutines and networks of parallel processes," in Proc. IFIP Cong. 77, 1977, pp. 993--998.
The Cost of Communication Protocols and Coordination.. - Goossens, Gangwal (2002) (Correct)
No context found.
G. Kahn and David M. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Proceedings of IFIP, pages 993--998, 1977.
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) (Correct)
No context found.
Gilles Kahn and David B. MacQueen. Coroutines and networks of parallel processes. In Proceedings of the IFIP congress 77, pages 993--998. NorthHolland, 1977.
Turing Machines, Transition Systems, and Interaction - Goldin, Smolka, al. (2004) (1 citation) (Correct)
No context found.
G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In Proc. of the IFIP Congress 77. North-Holland, 1977.
Asynchronous and Deterministic Objects - Denis Caromel Ludovic (2004) (Correct)
No context found.
G. Kahn and D. MacQueen. Coroutines and Networks of Parallel Processes. In B. Gilchrist, editor, Information Processing 77: Proc. IFIP Congress, pages 993--998. North-Holland, 1977.
Hierarchical Reconfiguration of Dataflow Models - Lee (2004) (Correct)
No context found.
G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In Proceedings of the IFIP Congress 77, pages 993--998, Paris, France, 1977. International Federation for Information Processing, North-Holland Publishing Company.
Energy-Efficient Wireless Communication - Smit (Correct)
No context found.
G. Kahn and D. MacQueen. Coroutines and networks of parallel processes. In Proceedings of the Information Processing Congress, pages 993--998, Aug. 1977.
Real-time Sonar Beamforming on a Unix Workstation - Using Process Networks (1998) (Correct)
No context found.
G. Kahn and D. B. MacQueen, "Coroutines and networks of parallel processes." Info. Proc., pp. 993-998, Aug. 1977.
Hierarchical Reconfiguration of Dataflow Models - Lee (2004) (Correct)
No context found.
G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In Proceedings of the IFIP Congress 77, pages 993--998, Paris, France, 1977. International Federation for Information Processing, North-Holland Publishing Company.
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
No context found.
G. Kahn and D. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing'77, pages 993--998, 1977.
Asynchronous Sequential Processes - Caromel, Henrio, Serpette (2003) (Correct)
No context found.
G. Kahn and D. MacQueen. Coroutines and Networks of Parallel Processes. In B. Gilchrist, editor, Information Processing 77: Proc. IFIP Congress, pages 993998. North-Holland, 1977.
Overview Of The Ptolemy Project - Hylands, al. (2003) (5 citations) (Correct)
No context found.
G. Kahn and D. B. MacQueen, "Coroutines and Networks of Parallel Processes," Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977.
Overview Of The Ptolemy Project - Davis II, al. (2001) (13 citations) (Correct)
No context found.
G. Kahn and D. B. MacQueen, "Coroutines and Networks of Parallel Processes," Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977.
Towards Distributed Process Networks with CORBA - Amar, Boulet, Dekeyser (2002) (1 citation) (Correct)
No context found.
Gilles Kahn and David B. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing 77, pages 993--998. North-Holland, 1977. Proc.IFIP Congress. 16
Probabilistic Event Structures and Domains Daniele Varacca - And Glynn Winskel (Correct)
No context found.
Gilles Kahn and MacQueen David B. Coroutines and networks of parallel processes. In Proceedings of the IFIP congress 77, pages 993--998. NorthHolland, 1977.
First 50 documents Next 50
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