1. Recherche
39 résultats  enregistrer la recherche


  • 1
  • 2
hal-01478877v1  Communication dans un congrès
M. Chabot, L. Pierre, A. Nabais-Moreno. A Requirement Driven Testing Method for Multi-disciplinary System Design
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'2016), Oct 2016, Saint-Malo, France. IEEE, Proceedings
...
tel-00011219v1  Thèse
L. Kriaa. Modélisation et validation des systèmes hétérogènes : définition d'un modèle d'exécution
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
hal-01445026v1  Communication dans un congrès
M. Bernard, G. Montémont, S. Stanchina, Stéphane Mancini. Enabling real-time reconstruction for high intrinsic resolution SPECT systems
IEEE-NPSS Real Time Conference (RT'16), Jun 2016, Padova, Italy. IEEE, Proceedings
...
hal-00257706v1  Communication dans un congrès
C. Jean-Mistral, S. Basrour, J.J. Chaillout, A. Bonvilain. A complete study of electroactive polymers for energy scavenging: modelling and experiments
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. TIMA Editions, pp.301-305, 2007
...
hal-00257715v1  Communication dans un congrès
M. Marzencki, Y. Ammar, S. Basrour. DESIGN, FABRICATION AND CHARACTERIZATION OF A PIEZOELECTRIC MICROGENERATOR INCLUDING A POWER MANAGEMENT CIRCUIT
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. TIMA Editions, pp.350-353, 2007
...
tel-00104174v1  Thèse
D. Toma. Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français
...
hal-00277731v1  Communication dans un congrès
Hela Boussetta, S. Basrour, M. Marzencki. Top-Down Behavioral Modeling Methodology of a Piezoelectric Microgenerator For Integrated Power Harvesting Systems
DTIP 2008, Apr 2008, Nice, France. EDA PUBLISHING Association, pp.307-310, 2008
...
hal-00277732v1  Communication dans un congrès
L. Carlioz, J. Delamare, S. Basrour, G. Poulin. Hybridization of Magnetism and Piezoelectricity for an Energy Scavenger based on Temporal Variation of Temperature
DTIP 2008, Apr 2008, Nice, France. EDA PUBLISHING Association, pp.311-313, 2008
hal-01445852v1  Communication dans un congrès
L. Vincent, Stéphane Mancini, S. Lesecq, H.P. Charles. Model Free Adaptive Data Prefetching using Hypothesis Tests
DAC 2016 conference, WIP workshop, Jun 2016, Austin, TX, United States. Academic Press, London, UK, Proceedings
hal-01445855v1  Communication dans un congrès
M. Bernard, G. Montémont, S. Stanchina, Stéphane Mancini. Real-Time Processing for an Adaptable SPECT System Based on CZT Detectors
IEEE Nuclear Science Symposium (NSS/MIC'16), Oct 2016, Strasbourg, France. IEEE
hal-01445853v1  Communication dans un congrès
S. Guy, Stéphane Mancini. Prototyping a Panoptic Camera by means of High Level Synthesis: Demo
International Conference on Distributed Smart Camera, Sep 2016, Paris, France. ACM IEEE, Proceedings
hal-01445854v1  Communication dans un congrès
M. Bernard, G. Montémont, S. Stanchina, Stéphane Mancini. Real-Time Processing for an Adaptable SPECT System Based on CZT Detectors
IEEE Nuclear Science Symposium (NSS/MIC'16), Oct 2016, Strasbourg, France. IEEE
...
tel-00532794v1  Thèse
Quentin L. Meunier. Étude de deux solutions pour le support matériel de la programmation parallèle dans les multiprocesseurs intégrés : vol de travail et mémoires transactionnelles
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2010. Français
...
hal-01389247v1  Communication dans un congrès
Simon Pontie, Alban Bourge, Adrien Prost-Boucle, Paolo Maistri, Olivier Muller et al.  HLS-Based Methodology for Fast Iterative Development Applied to Elliptic Curve Arithmetic
2016 Euromicro Conference on Digital System Design (DSD), 2016, Limassol, Cyprus. Digital System Design (DSD), 2016 Euromicro Conference on, pp.511-518, 2016, <10.1109/DSD.2016.51>
...
tel-00680080v1  Thèse
Pierre-Henri Horrein. Architectures logicielles pour la radio flexible : intégration d'unités de calcul hétérogènes
Autre [cs.OH]. Université de Grenoble, 2012. Français. <NNT : 2012GRENM003>
...
tel-00002907v1  Thèse
L. Anghel. Les limites technologiques du silicium et tolérance aux fautes
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2001. Français
...
tel-00002923v1  Thèse
F. Parrain. Capteur intégré tactile d'empreintes digitales à microstructures piezorésistives
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français
...
tel-00002931v1  Thèse
P. Georgelin. Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2001. Français
...
tel-00002932v1  Thèse
Amer Baghdadi. Exploration et conception systématique d'architectures multiprocesseurs monopuces dédiées à des applications spécifiques = methods and tools for multiprocessor systems on chip, hardware/software co-designExploration and Systematic Design of Application-Specific Heterogeneous Multiprocessor SoC
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français
...
tel-00002933v1  Thèse
D. Lyonnard. Approche d'assemblage systématique d'éléments d'interface pour la génération d'architecture multiprocesseur = An approach for the systematic gathering of interface items toward the generation of multiprocessor architectures
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2003. Français
...
tel-00002934v1  Thèse
J. Goy. Etude, conception, et réalisation d'un capteur d'image APS en technologie standard CMOS pour des applications faible flux de type viseur d'étoiles = Study, conception and fabrication of an APS image sensor in standard CMOS technology for low light level applications such as star trackers
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français
...
tel-00002936v1  Thèse
B. Charlot. Modélisation de fautes et conception en vue du test structurel des microsystèmes
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2001. Français
...
tel-00002937v1  Thèse
Anh Vu Dinh Duc. Synthèse automatique de circuits asynchrones QDI
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2003. Français
...
tel-00002938v1  Thèse
G. Nicolescu. Spécification et validation des systèmes hétérogènes embarqués
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français
...
tel-00002939v1  Thèse
S. Meftali. Exploration d'architectures et allocation/affectation mémoire dans les systèmes multiprocesseurs mono puce = Architectures exploration and memory allocation/assignment in multiprocessor SoC
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français
...
tel-00002940v1  Thèse
W. Cesario. Synthèse architecturale flexible
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1999. Français
...
tel-00002943v1  Thèse
Jean-Baptiste Rigaud. Spécification de bibliothèques pour la synthèse de circuits asynchrones
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français
...
tel-00002944v1  Thèse
B. Nicolescu. Détection d'erreurs transitoires survenant dans des architectures digitales par une approche logicielle : principes et résultats expérimentaux
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français
...
tel-00002951v1  Thèse
A. Bernal. Conception et étude d'une architecture numérique de haute performance pour le calcul de la fonction exponentielle modulaire
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1999. Français
...
tel-00002994v1  Thèse
Ayman Wahba. Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français
  • 1
  • 2

Contact


archive-ouverte@inria.fr