285 articles – 2153 Notices  [english version]
.:. Consultation > Liste par type de publication > Communications sans actes .:.
145 documents classés par :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Analyse de criticité des registres dans un microprocesseur SPARC
Chibani K. et al
17èmes Journées Nationales du Réseau Doctoral en Microélectronique (JNRDM), France (2014) [hal-01061243 - version 1]
Design Understanding with Fast Prototyping from Assertions
Borrione D. et al
Workshop on Design Automation for Understanding Hardware Designs (Friday Workshop DATE'14), Allemagne (2014) [hal-01060431 - version 1]
Outils de démonstration automatique et preuve de circuits électroniques
Pierre L.
Forum Méthodes Formelles "Preuve de modèle, preuve de programme" (Aerospace Valley - Minalogic), France (2014) [hal-01060383 - version 1]
New Approaches in Soft Errors Fault Tolerant Design for digital circuits based on Double Sampling Techniques
Anghel L.
Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes (FETCH 2014), Canada (2014) [hal-01060416 - version 1]
Traces non intrusives : un outil d'analyse du logiciel et du matériel pour les MPSoCs
Pétrot F.
Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes (FETCH 2014), Canada (2014) [hal-01060413 - version 1]
Fast Prototyping from Assertions
Borrione D.
Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes (FETCH 2014), Canada (2014) [hal-01060390 - version 1]
Assertion-Based Verification for the validation and safety analysis of hardware/software systems on chip
Pierre L.
TORRENTS Working day (RTRA Sciences et Technologies pour l'Aéronautique et l'Espace), France (2013) [hal-00960603 - version 1]
PiezoMEMS for energy harvesting applications
Basrour S.
PiezoNEMS Workshop, PHELMA-Polygone, France (2013) [hal-00975956 - version 1]
Radiation Effects on integrated circuits: origines, test methodologies and real life experiments
Velazco R.
XV Reunión de Trabajo en Procesamiento de la Información y Control, Argentine (2013) [hal-00975378 - version 1]
Single Event Effects on Digital Integrated Circuits: Origins and Mitigation Techniques
Velazco R.
Workshop Education Society and Computational Iintelligence Society (WESCIS'2013), Argentine (2013) [hal-00975371 - version 1]
Using Hardware Assisted Virtualization for Native Simulation of MPSoC
Pétrot F. et al
Embedded MPSoC and Multicore, Japon (2013) [hal-01059997 - version 1]
Lightweight task migration in embedded multi-tiled architectures using task code replication
El-Antably A. et al
Commuting Architectures Software tools and nano-Technologies for Numerical Embedded ans Scalable Systems (CASTNESS), Espagne (2013) [hal-01060006 - version 1]
Cost-Efficient Buffer Sizing in Shared-Memory 3D-MPSoCs Using Wide I/O Interfaces
Pétrot F. et al
5th Design for 3D Silicon Integration Workshop, France (2013) [hal-01059162 - version 1]
Réduction des paramètres de sortie des circuits analogiques par l'estimation des métriques de test
Beznia K. et al
Journées GDR SoC-SiP, France (2013) [hal-01025164 - version 1]
Estimation des métriques de test analogique à base d'un échantillon multivarié de circuits extrêmes
Beznia K. et al
16ème Journées Nationales du Réseau Doctoral en Microélectronique (JNRDM'13), France (2013) [hal-01025149 - version 1]
True Random Numbers Generation Using Asynchronous Circuits
Cherkaoui A. et al
Journées scientifiques SEmba 2013, France (2013) [ujm-00840445 - version 1]
A novel design for delay-locked loop using internal model control approach
Alhakim R. et al
Journées scientifiques du projet SEmba, France (2013) [hal-01025303 - version 1]
Very low frequency piezoelectric energy harvester designed for heart beat vibration scavenging
Colin M. et al
3èmes Journées Nationales sur la Récupération et le Stockage d'Energie pour l'Alimentation des Microsystèmes Autonomes (JNRSE'2013), France (2013) [hal-00964968 - version 1]
Energy Consumption Information in High-level Models
Bousquet L.
PhD Forum at IEEE Design, Automation and Test in Europe Conference (DATE'13), France (2013) [hal-01025308 - version 1]
Runtime verification of functional requirements for SoC models: integration of PSL in SystemC TLM
Pierre L.
Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes, Suisse (2013) [hal-01060026 - version 1]