TIMA Laboratory | Publications
Browse
List by publication type
Document list
List by year
List by authors
Search
248 articles – 2008 references
[version française]
.:.
Browse
>
List by publication type
> Scientific Book chapters .:.
94 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
-
4
-
5
On-Chip pseudorandom testing for linear and non-linear MEMS
Dhayni A. et al
In
VLSI-SOC: From Systems to Silicon
(2007) 245-266, Vol. 240 [hal-00185934 - version 1]
Improving DPA Resistance of Quasi Delay Insensitive Circuits Using Randomly Time-shifted Acknowledgment Signals
Bouesse G.F. et al
In
VLSI-SOC: From Systems to Silicon
(2007) 11-24, Vol. 240 [hal-00185914 - version 1]
Multilevel Fault Effects Evaluation
Anghel L. et al
In
Radiation Effects on Embedded Systems
(2007) 69-88 [hal-00185911 - version 1]
PSL-based online monitoring of digital systems
Borrione D. et al
In
in Advances in Design and Specification Languages for SoCs
(2006) 5-22 [hal-00147582 - version 1]
VHDL
Pierre L.
Dans
Software Specification Methods - An overview using a case study
(2006) chapter 10 - pp.179-196 [hal-00129045 - version 1]
Validation of Asynchronous Circuit Specifications Using IF/CADP
Borrione D. et al
Dans
VLSI-SOC: From Systems to Chips
(2006) 85-100 [hal-00107431 - version 1]
Performance evaluation methods for MPSoC Design
Jerraya A.A. et al
Dans
EDA for IC System Design, Verification, and Testing
(2006) Chapter 6 [hal-00105210 - version 1]
A Functional Approach to the Formal Specification of Networks on Chip
Schmaltz J. et al
In
Formal Methods in Computer-Aided Design: 5th International Confrence, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
(2004) 52 [hal-00164378 - version 1]
Low-Power SoC with Power-Aware Operating Systems Generation
Yoo S. et al
In
Low-Power Electronics Design
(2004) chapitre 3 [hal-00016249 - version 1]
Low Power Asynchronous Processors
Slimani K. et al
In
Low-Power Electronics Design
(2004) Chapter 22; Volume: 1 [hal-00016113 - version 1]
Communication Co-Processor Design by Composition of Parameterized Cells
Majauskas G. et al
In
Information Technology and Control
(2004) 13-20 [hal-00016112 - version 1]
Hardware/Software Interfaces Design for SoC
Cesario W. et al
In
The Industrial Information Technology Handbook
(2004) section VI, N°94 [hal-00016108 - version 1]
Dépôts en phase liquide : application aux microtechniques
Basrour S.
In
Techniques de fabrication des microsystèmes 1 : structures et microsystèmes électromécaniques en couches minces
(2004) 91-120 [hal-00009156 - version 1]
From Microelectronics to Integrated Microsystems Testing
Mir S. et al
In
Microsystems Technology - Fabrication, test and reliability
(2003) 241-263 [hal-00086664 - version 1]
Application du flot de ciblage logiciel
Paviot Y.
In
Conception des logiciels embarqués pour les systèmes monopuces
(2003) 196p. 16x24 [hal-00016142 - version 1]
Detecting soft errors by a purely software approach: method, tools and experimental results
Nicolescu B. et al
In
Embedded Software for SoC
(2003) Chapter 4, 39-50 [hal-00016134 - version 1]
Introduction to Hardware Abstraction Layers for SoC
Yoo S. et al
In
Embedded Software for SoC
(2003) chapitre 14, 179-186 [hal-00016132 - version 1]
Scheduling and timing analysis of HW/SW on-chip communication in MP SoC design
Cho Y. et al
In
Embedded Software for SoC
(2003) 125-136 [hal-00016129 - version 1]
Multi-level software validation for NoC
Yoo S. et al
In
Networks-on-chip.
(2003) 261-79 [hal-00008056 - version 1]
Les microsystèmes électromécaniques
Rufer L.
In
Dispositifs et physique des microsystèmes sur silicium
(2002) chapitre 1 : 19-64 [hal-00016264 - version 1]
