-
1
-
-
0023138886
-
Static scheduling of synchronous data flow graphs for digital signal processing
-
E.A. Lee and D.G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, C-36(1), 24-35, 1987.
-
(1987)
IEEE Transactions on Computers
, vol.36 C
, Issue.1
, pp. 24-35
-
-
Lee, E.A.1
Messerschmitt, D.G.2
-
2
-
-
0000087207
-
The semantics of a simple language for parallel programming
-
August
-
G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of IFIP Congress, August 1974.
-
(1974)
Proceedings of IFIP Congress
-
-
Kahn, G.1
-
3
-
-
0003843704
-
-
International Series in Computer Science. Prentice Hall, Hertfordshire
-
C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Hertfordshire, 1985.
-
(1985)
Communicating Sequential Processes
-
-
Hoare, C.A.R.1
-
5
-
-
0025416878
-
STATEMATE: A working environment for the development of complex reactive systems
-
D. Har’el, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4), 403-414, 1990.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.4
, pp. 403-414
-
-
Har’el, D.1
Lachover, H.2
Naamad, A.3
Pnueli, A.4
Politi, M.5
Sherman, R.6
Shtull-Trauring, A.7
Trakhtenbrot, M.8
-
8
-
-
27144501480
-
Quasi-static scheduling of independent tasks for reactive systems
-
J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe. Quasi-static scheduling of independent tasks for reactive systems. IEEE Transactions on Computer-Aided Design, 24(9), 2004.
-
(2004)
IEEE Transactions on Computer-Aided Design
, vol.24
, Issue.9
-
-
Cortadella, J.1
Kondratyev, A.2
Lavagno, L.3
Passerone, C.4
Watanabe, Y.5
-
9
-
-
0003570574
-
-
Ph.D. thesis, Department of EECS, University of California, Berkeley, Technical report UCB/ERL 95/105
-
T.M. Parks. Bounded Scheduling of Process Networks. Ph.D. thesis, Department of EECS, University of California, Berkeley, 1995. Technical report UCB/ERL 95/105.
-
(1995)
Bounded Scheduling of Process Networks
-
-
Parks, T.M.1
-
12
-
-
3042610031
-
System design using Kahn process networks: The Compaan/Laura approach
-
February
-
T. Stefanov, C. Zissulescu, A. Turjan, B. Kienhuis, and E. Deprettere. System design using Kahn process networks: the Compaan/Laura approach. In Proceedings of the Design Automation and Test in Europe Conference, February 2004.
-
(2004)
Proceedings of the Design Automation and Test in Europe Conference
-
-
Stefanov, T.1
Zissulescu, C.2
Turjan, A.3
Kienhuis, B.4
Deprettere, E.5
-
13
-
-
84893779546
-
False path elimination in quasi-static scheduling
-
March
-
G. Arrigoni, L. Duchini, L. Lavagno, C. Passerone, and Y. Watanabe. False path elimination in quasi-static scheduling. In Proceedings of the Design Automation and Test in Europe Conference, March 2002.
-
(2002)
Proceedings of the Design Automation and Test in Europe Conference
-
-
Arrigoni, G.1
Duchini, L.2
Lavagno, L.3
Passerone, C.4
Watanabe, Y.5
-
15
-
-
0010225535
-
Decidability and complexity of Petri net problems-an introduction
-
Petri Nets
-
Javier Esparza. Decidability and complexity of Petri net problems-an introduction. In Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, Lecture notes on Computer Science., vol. 1491, Petri Nets, 1996, pp. 374-428.
-
(1996)
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, Lecture notes on Computer Science
, vol.1491
, pp. 374-428
-
-
Esparza, J.1
-
16
-
-
0024645936
-
Petri nets: Properties, analysis, and applications
-
T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4), 541-580, 1989.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
17
-
-
0033682583
-
YAPI: Application modeling for signal processing systems
-
June
-
E.A. de Kock, G. Essink, W.J.M. Smits, P. van der Wolf, J.-Y. Brunel, W.M. Kruijtzer, P. Lieverse, and K.A. Vissers. YAPI: application modeling for signal processing systems. In Proceedings of the 37th Design Automation Conference, June 2000.
-
(2000)
Proceedings of the 37th Design Automation Conference
-
-
de Kock, E.A.1
Essink, G.2
Smits, W.J.M.3
van der Wolf, P.4
Brunel, J.-Y.5
Kruijtzer, W.M.6
Lieverse, P.7
Vissers, K.A.8
-
18
-
-
0001325987
-
Ptolemy: A framework for simulating and prototyping heterogenous systems
-
Joseph Buck, Soonhoi Ha, Edward A. Lee, and David G. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogenous systems. International Journal in Computer Simulation, 4(2), 1994.
-
(1994)
International Journal in Computer Simulation
, vol.4
, Issue.2
-
-
Buck, J.1
Ha, S.2
Lee, E.A.3
Messerschmitt, D.G.4
-
19
-
-
4644259474
-
Quasi-static scheduling for concurrent architectures
-
J. Cortadella, A. Kondratyev, L. Lavagno, A. Taubin, and Y. Watanabe. Quasi-static scheduling for concurrent architectures. Fundamenta Informaticae, 62, 171-196, 2004.
-
(2004)
Fundamenta Informaticae
, vol.62
, pp. 171-196
-
-
Cortadella, J.1
Kondratyev, A.2
Lavagno, L.3
Taubin, A.4
Watanabe, Y.5
|