-
1
-
-
0023365727
-
STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS.
-
DOI 10.1016/0167-6423(87)90035-9
-
Harel D. Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Prog., 8; 1987, pp. 231-274 (Pubitemid 17617706)
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel David1
-
2
-
-
0001206576
-
Application of temporal logic to the specification and verification of reactive systems: A survey of current trends
-
Springer Verlag
-
Pnueli A. Application of temporal logic to the specification and verification of reactive systems: a survey of current trends, Lecture notes in computer science, 224; pp. 510-584. Springer Verlag, 1986
-
(1986)
Lecture Notes in Computer Science
, vol.224
, pp. 510-584
-
-
Pnueli, A.1
-
3
-
-
0026953373
-
The ESTEREL synchronous programming language
-
Berry G. and Gonthier G. The ESTEREL synchronous programming language, Sc. Comput. Prog., 19; 1992, pp. 87-152
-
(1992)
Sc. Comput. Prog.
, vol.19
, pp. 87-152
-
-
Berry, G.1
Gonthier, G.2
-
4
-
-
0032676533
-
Customized instruction sets for embedded processors
-
Fisher J.A. Customized instruction sets for embedded processors. In Proc. 36th Design Automation Conference, pp. 253-257, 1999.
-
(1999)
Proc. 36th Design Automation Conference
, pp. 253-257
-
-
Fisher, J.A.1
-
9
-
-
22044441911
-
Self Modifying Circuitry - A Platform for Tractable Virtual Circuitry
-
Field-Programmable Logic and Applications: From PFGAs to Computing Paradigm
-
Donlin A. Self modifying circuitry - a platform for tractable virtual circuitry. In Field Programmable Logic and Applications, LNCS 1482, pp. 199-208. Springer, 1998 (Pubitemid 128125216)
-
(1998)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1482
, pp. 199-208
-
-
Donlin, A.1
-
10
-
-
21444444958
-
CCSimP - An Instruction-level Custom-Configurable Processor for FPLDs
-
Field-Programmable Logic: Smart Applications, New Paradigms and Compilers
-
Salcic Z. and Maunder B. "CCSimP - an Instruction-level Custom-Configurable Processor for FPLDs", in Field-Programmable Logic FPL '96, Lecture notes in Computer Science 1142 (R. Hartenstein, M. Gloessner and M. Servit editors), Springer, 1996, pp. 280-289 (Pubitemid 126136686)
-
(1996)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1142
, pp. 280-289
-
-
Salcic, Z.1
Maunder, B.2
-
11
-
-
0033285227
-
FLIX environment for generation of custom-configurable machines in FPLDs for embedded applications
-
DOI 10.1016/S0141-9331(99)00059-9
-
Salcic Z. and Mistry T. FLIX Environment for Generation of Custom-Configurable Machines in FPLDs for Embedded Applications, Elsevier Journal on Microprocessors and Microsystems, vol.23(8-9), December 1999, pp. 513-526 (Pubitemid 32082538)
-
(1999)
Microprocessors and Microsystems
, vol.23
, Issue.8
, pp. 513-526
-
-
Salcic, Z.1
Mistry, T.2
-
12
-
-
0346612370
-
Flexible instruction set processors
-
November 17-19 San Jose, California
-
S.P. Peng, W. Luk and P.K.Y Cheung. Flexible instruction set processors. Proceedings CASES'00, November 17-19, 2000, San Jose, California
-
(2000)
Proceedings CASES'00
-
-
Peng, S.P.1
Luk, W.2
Cheung, P.K.Y.3
|