Search - Archive ouverte HAL Access content directly

Filter your results

226 Results
Structure: Internal structure identifier : 103251
Image document

Extension des diagrammes de décisions binaires pour la représentation de programmes VHDL en vue de leur vérification

Guillaume Decuq , Emmanuelle Encrenaz
[Rapport de recherche] lip6.2000.029, LIP6. 2000
Reports hal-02548390v1
Image document

A Third-Order Current-Mode Continuous-Time Sigma-Delta Modulator

Hassan Aboushady , Mohamed Dessouky , Elizabeth de Lira Mendes , Patrick Loumeau
IEEE International Conference on Electronic Circuits and Systems (ICECS'99), Sep 1999, Paphos, Cyprus. pp.1697-1700, ⟨10.1109/ICECS.1999.814502⟩
Conference papers hal-01574093v1

Intrinsic Limitations of Logarithmic Encodings for Low Power Finite State Machines

Julien Dunoyer , Frédéric Pétrot , Ludovic Jacomme
Mixed Design of VLSI Circuits Conference, Jun 1997, Poznan, Poland. pp.613-618
Conference papers hal-01627838v1

A Hardware Implementation of an RBF Neural Network : Architecture and Design Methodology

Mourad Aberbour , F. Ahmad , Habib Mehrez
International Conference on Signal Processing and Technology 97, Sep 1997, San Diego, CA, United States. pp.199 - 202
Conference papers hal-01627996v1

Méthodes Probabilistes pour l'Evaluation de la Consommation des Circuits Intégrés VLSI

Julien Dunoyer , Laurent Vuillemin , Pirouz Bazargan Sabet
1er Colloque CAO de Circuits Intégrés et Systèmes, Jan 1997, Grenoble, France. pp.116-119
Conference papers hal-01627836v1

User Guided High Level Synthesis

Ivan Augé , Rajesh K. Bawa , Pierre Guerrier , Alain Greiner , Ludovic Jacomme et al.
International Conference on Very Large Scale Integration (VLSI'97), Aug 1997, Gramado, Brazil. pp.464-475, ⟨10.1007/978-0-387-35311-1_38⟩
Conference papers hal-01627852v1

Internet et l’accès au droit

Meryem Marzouki
Téléservices publics Usages et citoyenneté Public / Téléservices Uses and citizenship, CREIS, Mar 2001, Paris, France
Conference papers hal-01295151v1

Fault Simulation for Analog Circuits Under Parameter Variations

Abdelhakim Khouas , Anne Derieux
Journal of Electronic Testing: : Theory and Applications, 2000, 16 (3), pp.269-278. ⟨10.1023/A:1008351601024⟩
Journal articles istex hal-01197327v1

Algorithms and VLSI Architectures for Pattern Recognition Based on the Gabor Wavelets

Mourad Aberbour , Habib Mehrez , François Durbin , Thierry Garié , André Tissot et al.
International Conference on Signal Processing Applications and Technology (ICSPAT'98), Sep 1998, Toronto, Canada. pp.1455-1459
Conference papers hal-01618074v1

SIMIPS : a cycle-precise interactive simulator for teaching microprocessor architecture

Yves Body , François Dromard , Alain Greiner , Marie-Martine Paget , Frédéric Pétrot et al.
Fourth International Conference on Computer Aided Learning and Instruction in Science and Engineering (CALISCE'98), Jun 1998, Götborg, Sweden. pp.146-154
Conference papers hal-01618354v1

Multidimensional navigation in collections of multimedia objects

Pascal Faudemay
ACM Conference on Computer Human Interfaces (CHI'98), Apr 1998, Los Angeles, CA, United States
Conference papers hal-01621479v1

Cross-indexing and access to mixed-media contents

Gwenaël Durand , Pascal Faudemay
International Workshop on Content-Based Multimedia Indexing (CBMI'01), Sep 2001, Brescia, Italy. pp.307-314
Conference papers hal-01572073v1

An Approach to Mapping the Timing Behavior of VLSI Circuits on Emulators

Pirouz Bazargan Sabet , Laurent Vuillemin
12th IEEE International Workshop on Rapid System Prototyping, Jun 2001, Monterey, California, United States. pp.168-173, ⟨10.1109/IWRSP.2001.933856⟩
Conference papers hal-01572077v1

Enjeux des techniques de biométrie : une première approche

Meryem Marzouki
Troisième Conférence internationale des commissaires à la protection des données, Sep 2001, Paris, France
Conference papers hal-01572042v1

An Analytic Description Scheme for Editing Work

Rosa Ruiloba , Philippe Joly , Cédric Thiénot , Claude Seyrat
ISO/IEC JTC1/SC29/WG11, Dec 1999, Maui, HI, United States. pp.M5346
Conference papers hal-01574069v1

Systematic Approach for Discrete-Time to Continuous-Time Transformation of Sigma-Delta Modulators

Hassan Aboushady , Marie-Minerve Louërat
IEEE International Symposium on Circuits and Systems (ISCAS'2002), May 2002, Phoenix, AZ, United States. pp.229-232, ⟨10.1109/ISCAS.2002.1010431⟩
Conference papers hal-01544238v1

Mutek: un noyau multi-tâches/multi-processeurs SMP pour systèmes embarqués

Pascal Gomez , Frédéric Pétrot , Denis Hommais
Troisième Colloque du GDR CAO de circuits et systèmes intégrés, 2002, Paris, France. pp.107-110
Conference papers hal-01544259v1

Bounds on Gang Scheduling Algorithms

Fabricio Alves Barbosa da Silva , Isaac Scherson
2nd International Conference on Parallel Computing Systems, Aug 1999, Ensenada, Mexico
Conference papers hal-01574110v1

Concurrent Gang: Towards a Flexible and Scalable Gang Scheduler

Fabricio Alves Barbosa da Silva , Isaac Scherson
11th Symposium on Computer Architecture and High Performance Computing, 1999, Natal, Brazil
Conference papers hal-01574105v1

A Description Scheme for Video Editing Work

Rosa Ruiloba , Philippe Joly , Cédric Thiénot , Claude Seyrat
ISO/IEC JTC1/SC29/WG11, Mar 2000, Noordwijkerhout, Netherlands. pp.M5714
Conference papers hal-01573061v1

Status of the MPEG-7 parser

Cédric Thiénot , Claude Seyrat , Pascal Faudemay , Philippe Joly
ISO/IEC JTC1/SC29/WG11, Mar 2000, Noordwijkerhout, Netherlands. pp.M5767
Conference papers hal-01573542v1

Hierarchical Static Timing Analysis at Bull with HiTas

Karim Dioury , Anthony Lester , Alain Debreil , Grégoire Avot , Alain Greiner et al.
Design Automation and Test in Europe Conference User Forum (DATE'2000), Mar 2000, Paris, France. pp.55-60
Conference papers hal-01573604v1

Optimisation des Tests de Production pour les Circuits Analogiques avec prise en compte des tolérances

Abdelhakim Khouas , Anne Derieux
Colloque CAO de Circuits Intégrés et Systèmes GDR 732, May 1999, Aix-en-Provence, France
Conference papers hal-01574789v1

Data Decision Diagrams for Petri Net analysis

Jean-Michel Couvreur , Emmanuelle Encrenaz , Emmanuel Paviot-Adet , Denis Poitrenaud , Pierre-André Wacrenier et al.
23th International Conference on Application and Theory of Petri Nets, Jun 2002, Adelaide, Australia. pp.101-120, ⟨10.1007/3-540-48068-4_8⟩
Conference papers istex hal-01544997v1

Conception d'un outil d'évaluation des bruits diaphoniques dans les circuits submicroniques

Patricia Renault , Dominique Le Dû , Fabrice Ilponse , Pirouz Bazargan Sabet
Vèmes Journées Nationales du Réseau Doctoral de Micro-électronique (JNRDM'2002), Apr 2002, Grenoble, France
Conference papers hal-01544280v1

Description comportementale en langage C pour la synthèse de haut niveau

François Donnet
IVèmes Journées Nationales du Réseau Doctoral de Micro-électronique(JNRDM'2001), Apr 2001, Strasbourg, France. pp.172-173
Conference papers hal-01571028v1

Modelling and synthesis of optimal adders under left-to-right input arrival

Alain Guyot , S.-J. Abou-Samra , Mourad Aberbour , Alain Houelle , Habib Mehrez et al.
IFIP International Workshop on Logic and Architecture Synthesis (IWLAS'97), Dec 1997, Grenoble, France
Conference papers hal-01398573v1

Composants analogiques déformables pour CAIRO+

Vincent Bourguet , Marie-Minerve Louërat , Alain Greiner
Troisième colloque du GDR CAO de circuits et systèmes intégrés, May 2002, Paris, France. pp.25-28
Conference papers hal-02532990v1
Image document

La décimation des convertisseurs Sigma-Delta

Hassan Aboushady
[Rapport de recherche] lip6.1997.041, LIP6. 1997
Reports hal-02548416v1

Minimizing the volume in scheduling an outtree with communication delays and duplication

Claire Hanen , Alix Munier-Kordon
Parallel Computing, 2002, 28 (11), pp.1573-1585. ⟨10.1016/S0167-8191(02)00131-X⟩
Journal articles hal-01185803v1