A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Compte rendu de Kockaert, Hendrik J. & Steurs, Frieda (Eds.). (2015). Handbook of terminology (HOT), vol. 1. Amsterdam: Benjamins, 558 p.

Paru dans Parallèles 28/2, p. 105-108

Atlas de la vulnérabilité de l’agglomération de La Paz

International audience

From Hardware Processes to asynchronous circuits via petri nets: An Application to Arbiter Design

International audience

Asynchronus design for improved EMC behavior of ICs

International audience

Une terminologie de référence pour l’interprétation-médiation

International audience

An 8x8 thermopile based uncooled infrared sensor

International audience

Dynamically balanced and plausible trajectory planning for human-like characters

International audience

Optimisation of digitally coded test vectors for mixed-signal components

International audience

Early analysis of fault-attack effects for cryptographic hardware

International audience

The dangers of theorizing before analysis : four case studies about argumentation and cognition

International audience

Atlas de l’Afrique - Côte d’Ivoire

International audience

Definition of Model-based diagnosis problems with Altarica

International audience

Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

L’estuaire de la Rance

International audience