282 articles – 2121 references  [version française]
.:. Browse > List by publication type > Scientific Book chapters .:.
94 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5
VHDL generation from SDL specification
Daveau J.M. et al
Dans Readings in Hardware/Software Co-Design (2001) 125-134 : Chapitre 2 [hal-00016246 - version 1]
Formal verification of VHDL using VHDL-like ACL2 models
Borrione D. et al
Dans Electronic Chips & Systems Design Languages (2001) Partie III: chapitre 23 [hal-00016209 - version 1]
Framework for system design, validation and fast prototyping of multiprocessor SoCs
Zergainoh N. et al
In Architecture and Design of Distributed Embedded Systems Series: IFIP International Federation for Information Processing, (2001) . [hal-00016207 - version 1]
Micro-accéléromètre intégré 3 axes
Jeannot J.C. et al
Dans Microcapteurs et microsystèmes intégrés (NMT, Nano et Micro Technologies) (2000) Vol. 1 N°1 [hal-00016266 - version 1]
Using macros to mimic VHDL in ACL2
Borrione D. et al
Dans Computer-Aided Reasoning: ACL2 Case Studies (2000) 162-185 [hal-00016265 - version 1]
Analysing the cost of design for reuse
Moussa I. et al
Dans Reuse Techniques for VLSI Design (1999) chapitre 2 [hal-00016269 - version 1]
Multilanguage specification for system design and codesign
Jerraya A.A. et al
Dans System-Level Synthesis (1999) Vol. 357 [hal-00016268 - version 1]
MCI - multilanguage distributed co-simulation tool
Hessel F. et al
Dans Distributed and Parallel Embedded Systems (1999) vol.25 [hal-00016267 - version 1]
A finite state description of the earliest logical computer : the Jevons'Machine
Amblard P.
Dans Mixed design of integrated circuits and systems (1998) 256 p. [hal-00164103 - version 1]
A combined approach to the support of SMEs
Courtois B. et al
Dans Advances in information technologies : the Business Challenge (1998) pp [hal-00164092 - version 1]
COSMOS : a transformational co-design tools for multiprocessor architectures
Valderrama C. et al
Dans Hardware/Software Co-Design: Principles and Practice (1997) chapitre 10 [hal-00016272 - version 1]
Languages for system level specification and design
Jerraya A.A. et al
Dans Hardware/Software Co-Design: Principles and Practice (1997) CHAPITRE 7 [hal-00016271 - version 1]
Models for the control of the test and of the reconfiguration of a computer
BAGHDADI A. et al
In Progress-in-cybernetics-and-systems-research, (1979) 410-8 [hal-00016206 - version 1]
Models for the control of the test and of the reconfiguration of a computer
Courtois B.
In Progress-in-cybernetics-and-systems-research, (1979) vol.V. : 410-8 [hal-00013644 - version 1]