-
2
-
-
0026953373
-
The esterel synchronous programming language: Design, semantics, implementation
-
G. Berry and G. Gonthier, "The Esterel Synchronous Programming Language: Design, Semantics, Implementation," Science of Computer Programming, vol. 19, pp. 87-152, 1992.
-
(1992)
Science of Computer Programming
, vol.19
, pp. 87-152
-
-
Berry, G.1
Gonthier, G.2
-
4
-
-
0029233965
-
Synthesis of software programs for embedded control applications
-
San Francisco, CA
-
M. Chiodo, P. Guisto, A. Jurecska, L. Lavagno, H. Hsieh, K. Suzuki, A. L. Sangiovanni-Vincentelli, and E. Sentovich, "Synthesis of Software Programs for Embedded Control Applications," presented at 32nd Design Automation Conference, San Francisco, CA, 1995.
-
(1995)
32nd Design Automation Conference
-
-
Chiodo, M.1
Guisto, P.2
Jurecska, A.3
Lavagno, L.4
Hsieh, H.5
Suzuki, K.6
Sangiovanni-Vincentelli, A.L.7
Sentovich, E.8
-
5
-
-
0003733188
-
-
New York: Kluwer Academic Publishers
-
M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The Polis Approach. New York: Kluwer Academic Publishers, 1997.
-
(1997)
Hardware-software Co-design of Embedded Systems: The Polis Approach
-
-
Chiodo, M.1
Giusto, P.2
Hsieh, H.3
Jurecska, A.4
Lavagno, L.5
Passerone, C.6
Sangiovanni-Vincentelli, A.7
Sentovich, E.8
Suzuki, K.9
Tabbara, B.10
-
6
-
-
33746101217
-
-
(1/9/2003 - Last Updated) [Online]. [Last Accessed 10/10/2003]
-
S.A. Edwards, (1/9/2003 - Last Updated) "CEC: The Colombia Esterel Compiler" [Online]. Available http://wwwl.cs.columbia.edu/~sedwards/cec/ [Last Accessed 10/10/2003]
-
CEC: the Colombia Esterel Compiler
-
-
Edwards, S.A.1
-
7
-
-
0036473766
-
An Esterel compiler for large control-dominated systems
-
S.A. Edwards, "An Esterel compiler for large control-dominated systems," Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol. 21, pp. 169-183, 2002.
-
(2002)
Computer-aided Design of Integrated Circuits and Systems, IEEE Transactions on
, vol.21
, pp. 169-183
-
-
Edwards, S.A.1
-
8
-
-
12744265728
-
-
Last Updated [Online]. [Last Accessed 11/11/2003]
-
Esterel-Technologies (2003 - Last Updated) "Esterel Technologies Website" [Online]. Available http://www.esterel-technologies.com [Last Accessed 11/11/2003]
-
(2003)
Esterel Technologies Website
-
-
-
10
-
-
12744257237
-
-
Last Updated [Online]. [Last Accessed 10/04/2003]
-
Microchip.Ltd, (1998 - Last Updated) "PIC16F8X Datasheet" [Online]. Available http://www.microchip.com/download/lit/pline/picmicro/families/1 - 6f8x/30430c.pdf [Last Accessed 10/04/2003]
-
(1998)
PIC16F8X Datasheet
-
-
-
12
-
-
29144522994
-
A new reactive processor with architectural support for control dominated embedded systems
-
P. S. Roop, Z. Salcic, M. Biglari-Abhari, and A. Bigdeli, "A new reactive processor with architectural support for control dominated embedded systems," in proc. of the VLSI Design, 2003.
-
(2003)
Proc. of the VLSI Design
-
-
Roop, P.S.1
Salcic, Z.2
Biglari-Abhari, M.3
Bigdeli, A.4
|