-
1
-
-
0012580852
-
Efficient execution of process networks
-
A. Chalmers, M. Mirmehdi, and H. Muller, editors, IOS Press
-
T. Basten and J. Hoogerbrugge. Efficient execution of process networks. In A. Chalmers, M. Mirmehdi, and H. Muller, editors, Proc. of Communicating Process Architectures 2001, Bristol, UK, September 2001, pages 1-14, IOS Press, 2001.
-
(2001)
Proc. of Communicating Process Architectures 2001, Bristol, UK, September 2001
, pp. 1-14
-
-
Basten, T.1
Hoogerbrugge, J.2
-
3
-
-
0032648555
-
Synthesis of embedded software from synchronous dataflow specifications
-
S. Bhattacharyya, P. Murthy, and E. Lee. Synthesis of embedded software from synchronous dataflow specifications. J. VLSI Signal Process. Syst., 21(2):151-166, 1999.
-
(1999)
J. VLSI Signal Process. Syst.
, vol.21
, Issue.2
, pp. 151-166
-
-
Bhattacharyya, S.1
Murthy, P.2
Lee, E.3
-
4
-
-
0019672883
-
Scenarios: A model of non-determinate computation
-
J. Díaz and I. Ramos, editors, Springer Verlag, Berlin
-
J. Brock and W. Ackerman. Scenarios: A model of non-determinate computation. In J. Díaz and I. Ramos, editors, Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, LNCS Vol. 107, pages 252-259. Springer Verlag, Berlin, 1981.
-
(1981)
Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, LNCS Vol. 107
, vol.107
, pp. 252-259
-
-
Brock, J.1
Ackerman, W.2
-
5
-
-
0347642542
-
An operational semantics for pure dataflow
-
M. Nielsen and E. M. Schmidt, editors, Springer Verlag, Berlin
-
A. Faustini. An operational semantics for pure dataflow. In M. Nielsen and E. M. Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proc., LNCS Vol. 140, pages 212-224. Springer Verlag, Berlin, 1982.
-
(1982)
Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proc., LNCS Vol. 140
, vol.140
, pp. 212-224
-
-
Faustini, A.1
-
6
-
-
35248815492
-
Requirements on the execution of Kahn process networks
-
P. Degano, editor, Springer Verlag, Berlin
-
M. Geilen and T. Basten. Requirements on the execution of Kahn process networks. In P. Degano, editor, Proc. of the 12th European Symposium on Programming, ESOP SOUS, Warsaw, Poland, April 7-11, 2003. LNCS Vol.2618. Springer Verlag, Berlin, 2003.
-
(2003)
Proc. of the 12th European Symposium on Programming, ESOP SOUS, Warsaw, Poland, April 7-11, 2003. LNCS Vol.2618
, vol.2618
-
-
Geilen, M.1
Basten, T.2
-
7
-
-
0032688082
-
Hierarchical finite state machines with multiple concurrency models
-
June
-
A. Girault, B. Lee, and E. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems, 18(6):742-760, June 1999.
-
(1999)
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems
, vol.18
, Issue.6
, pp. 742-760
-
-
Girault, A.1
Lee, B.2
Lee, E.3
-
8
-
-
11144294428
-
Process networks in ptolemy II
-
University of California, EECS Dept., Berkeley, CA, December
-
M. Goel. Process networks in Ptolemy II. Technical Memorandum UCB/ERL No. M98/69, University of California, EECS Dept., Berkeley, CA, December 1998.
-
(1998)
Technical Memorandum UCB/ERL No. M98/69
, vol.M98-69
-
-
Goel, M.1
-
9
-
-
0000087207
-
The semantics of a simple language for parallel programming
-
J. Rosenfeld, editor, North-Holland, Amsterdam, Netherlands
-
G. Kahn. The semantics of a simple language for parallel programming. In J. Rosenfeld, editor, Information Processing 74: Proc. of the IFIP Congress 74, Stockholm, Sweden, August 1974, pages 471-475. North-Holland, Amsterdam, Netherlands, 1974.
-
(1974)
Information Processing 74: Proc. of the IFIP Congress 74, Stockholm, Sweden, August 1974
, pp. 471-475
-
-
Kahn, G.1
-
10
-
-
0033682583
-
YAPI: Application modeling for signal processing systems
-
IEEE
-
E. Kock et al. YAPI: Application modeling for signal processing systems. In Proc. of the 37th. Design Automation Conference, Los Angeles, CA, June 2000, pages 402-405. IEEE, 2000.
-
(2000)
Proc. of the 37th. Design Automation Conference, Los Angeles, CA, June 2000
, pp. 402-405
-
-
Kock, E.1
-
11
-
-
0003912318
-
-
PhD thesis, Electronics Research Laboratory, University of California, EECS Dept., Berkeley, CA, May Memorandum UCB/ERL M00/29
-
B. Lee. Specification and Design of Reactive Systems. PhD thesis, Electronics Research Laboratory, University of California, EECS Dept., Berkeley, CA, May 2000. Memorandum UCB/ERL M00/29.
-
(2000)
Specification and Design of Reactive Systems
-
-
Lee, B.1
-
12
-
-
0004255753
-
Overview of the ptolemy project
-
University of California, EECS Dept., Berkeley, CA, March
-
E. Lee. Overview of the Ptolemy project. Technical Memorandum UCB/ERL No. M01/11, University of California, EECS Dept., Berkeley, CA, March 2001.
-
(2001)
Technical Memorandum UCB/ERL No. M01/11
, vol.M01-11
-
-
Lee, E.1
-
13
-
-
84939698077
-
Synchronous data flow
-
Sept.
-
E. Lee and D. Messerschmitt. Synchronous data flow. IEEE Proceedings, 75(9):1235-1245, Sept. 1987.
-
(1987)
IEEE Proceedings
, vol.75
, Issue.9
, pp. 1235-1245
-
-
Lee, E.1
Messerschmitt, D.2
-
14
-
-
0024698939
-
A proof of the Kahn principle for Input/Output automata
-
N. Lynch and E. Stark. A proof of the Kahn principle for Input/Output automata. Information and Computation, 82(1):81-92, 1989.
-
(1989)
Information and Computation
, vol.82
, Issue.1
, pp. 81-92
-
-
Lynch, N.1
Stark, E.2
-
15
-
-
0022421088
-
The probe: An addition to communication primitives
-
A. Martin. The probe: An addition to communication primitives. Information Processing Letters, 20(3):125-130, 1985.
-
(1985)
Information Processing Letters
, vol.20
, Issue.3
, pp. 125-130
-
-
Martin, A.1
-
17
-
-
0003570574
-
-
PhD thesis, University of California, EECS Dept., Berkeley, CA, Dec.
-
T. Parks. Bounded Scheduling of Process Networks. PhD thesis, University of California, EECS Dept., Berkeley, CA, Dec. 1995.
-
(1995)
Bounded Scheduling of Process Networks
-
-
Parks, T.1
-
19
-
-
84959045524
-
Streamlt: A language for streaming applications
-
R. N. Horspool, editor, Springer Verlag, Berlin
-
W. Thies, M. Karczmarek, and S. Amarasinghe. Streamlt: A language for streaming applications. In R. N. Horspool, editor, Compiler Construction, 11th International Conference, CC 2002, Grenoble, France, April 8-12, 2002, LNCS Vol. 2306, pages 179-196. Springer Verlag, Berlin, 2002.
-
(2002)
Compiler Construction, 11th International Conference, CC 2002, Grenoble, France, April 8-12, 2002, LNCS Vol. 2306
, vol.2306
, pp. 179-196
-
-
Thies, W.1
Karczmarek, M.2
Amarasinghe, S.3
|