Skip to Main content Skip to Navigation


...
hal-02973251v1  Conference papers
Jean-Claude BermondJean-Claude KönigMichel Raynal. Genaral and efficient decentralized consensus protocols
Proceedings International workshop, Jul 1987, Amsterdam, Netherlands. pp.41-56
...
hal-01162532v1  Conference papers
Yves Moinard. Pointwise circumscription is equivalent to predicate completion (sometimes)
Fifth International Conference of Logic Programming (ICLP 88), Aug 1988, Seattle, United States
...
inria-00436003v1  Conference papers
Jean-Pierre BanâtreMichel BanâtreChristine Morin. Implementing atomic rendezvous within a transactional framework
Eighth Symposium on Reliable Distributed Systems, 1989, Seattle, United States. pp.119-128
...
hal-00765072v1  Conference papers
Claude JardJean-Marc Jézéquel. A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines
9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands
...
hal-00765061v1  Conference papers
Jean-Marc Jézéquel. Building a global time on parallel machines
Proc. of the 3rd International Workshop on Distributed Algorithms, Sep 1989, Nice, France
...
hal-00765076v1  Conference papers
Marc AndreuMichèle HazizaClaude JardJean-Marc Jézéquel. Analyzing a space-protocol: from specification, simulation to experimentation
Proc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France
...
hal-00426672v2  Conference papers
Yves Mahéo. Évaluation de performances dans l'environnement Pandore II
5e rencontres sur le parallélisme (RenPar'93), May 1993, Brest, France. pp.47-50
...
hal-00544352v1  Conference papers
Michel Le Borgne. Dynamical systems over Galois fields: Applications to DES and to the Signal Language
Belgian-French-Netherlands Summer School on Discrete Event Systems, Jun 1993, Spa, Belgium
...
hal-00765333v1  Conference papers
Jean-Marc Jézéquel. Parallélisation d'un routeur XTP
Actes du colloque CFIP'93 sur l'ingénièrie des protocoles, Sep 1993, Montreal, Canada
...
hal-01490723v1  Conference papers
Bernard Cousin. Les fonctions de hachage différentielles, application à la génération de graphes d'états
Colloque francophone sur l'ingéniérie des protocoles (CFIP'93), Sep 1993, Montréal, Canada. pp. 525-541
...
hal-00426664v2  Conference papers
Cyrille BareauYves MahéoJean-Louis Pazat. Parallel Program Performance Debugging with the Pandore II Environment
International Conference on Parallel Computing (ParCo'93), Sep 1993, Grenoble, France. pp.241-248
...
hal-00545943v1  Conference papers
Mohammed Belhadj. VHDL & Signal: A Cooperative Approach
International Conference on Simulation and Hardware Description Languages (ICSHDL), Jan 1994, Tempe, Arizona, United States. pp.76-81
...
hal-00765373v1  Conference papers
William AtwoodJean-Marc JézéquelAnindya DasM'Hamed Nour. Adressing and routing in heterogeneous data networks
Proc. of the 5th International IFIP Conference On High Performance Networking, Jun 1994, Grenoble, France
...
hal-00545571v1  Conference papers
Christophe WolinskiMohammed Belhadj. High Level Synthesis of Globally Asynchronous Locally Synchronous Circuits
The Third Annual Atlantic Test Workshop, ATW '94, Jun 1994, Nîmes, France. pp.u-1 - u-4, ⟨10.1109/ATW.1994.747847⟩
...
hal-00545948v1  Conference papers
Mohammed Belhadj. Using VHDL for Link to Synthesis Tools
The Third Annual Atlantic Test Workshop, ATW '94, Jun 1994, Nîmes, France. pp.r-1 - r-4, ⟨10.1109/ATW.1994.747844⟩
...
hal-00495386v1  Conference papers
Frédéric GuidecJean-Marc Jézéquel. Design of a Parallel Object-Oriented Linear Algebra Library
Proceedings of IFIP WG10.3 (Programming Environments for Massively Parallel Distributed Systems), Jul 1994, Monte Verita, Switzerland. pp.359-364
...
hal-01491221v1  Conference papers
Bernard Cousin. Les méthodes d'accès des réseaux à haut débit
Ecole d'été Réseaux de communications et techniques formelles, Sep 1994, Paris, France. pp.1-10
...
hal-00544101v1  Conference papers
Olivier MaffeisPaul Le Guernic. Distributed Implementation of SIGNAL: Scheduling & Graph Clustering
Third International Symposium Organized Jointly With The Working Group Provably Correct Systems, Procos, Sep 1994, Lübeck, Germany. pp.547-566
...
hal-01001338v1  Conference papers
Richard CastanetBernard CousinCésar Viho. Synchronization loss and concealment mechanisms in distributed multimedia application
Franco-Israelian Workshop on Distributed Algorithms and Systems, Michel Raynal, Oct 1994, Saint-Malo, France. pp.1-10
...
hal-00426656v2  Conference papers
Françoise AndréMarc Le FurYves MahéoJean-Louis Pazat. Parallelization of a Wave propagation Application using a Data Parallel Compiler
9th International Parallel Processing Symposium, Apr 1995, Santa Barbara, United States. pp.760-765
...
hal-00451707v1  Conference papers
Vincent RicordelClaude Labit. Vector Quantization by Hierarchical Packing of Embedded Truncated Lattices
Visual Communications and Image Processing (VCIP), May 1995, Taiwan, China
...
hal-00426648v1  Conference papers
Françoise AndréMarc Le FurYves MahéoJean-Louis Pazat. The Pandore Data Parallel Compiler and its Portable Runtime
International Conference on High-Performance Computing and Networking (HPCN'95), May 1995, Milan, Italy. pp.176-183, ⟨10.1007/BFb0046600⟩
...
hal-00495382v1  Conference papers
Frédéric GuidecJean-Marc Jézéquel. Polymorphic Matrices in Paladin
Workshop on Object-Based Parallel and Distributed Computation (OBPDC'95), Jun 1995, Tokyo, Japan. pp.18-37
...
hal-00426651v1  Conference papers
Yves MahéoJean-Louis Pazat. Distributed Array Management Scheme for Data-parallel Compilers
5th Workshop on Compilers for Parallel Computers, Jun 1995, Malaga, Spain. pp.367-379
...
hal-00426635v1  Conference papers
Yves MahéoJean-Louis Pazat. Distributed Array Management for HPF Compilers
9th International Symposium on High Performance Computing Systems, Jul 1995, Montreal, Canada. pp.119-129
...
hal-00453067v1  Conference papers
Vincent RicordelClaude Labit. Quantification vectorielle par emboîtage de réseaux réguliers de points
Colloque GRETSI sur le traitement du signal et des images (GRETSI), Sep 1995, Juans-les-Pins, France
...
hal-00765440v1  Conference papers
Jean-Marc JézéquelFrédéric Guerber. Performance issues in implementing a portable SMDS server
6th International IFIP Conference On High Performance Networking, Sep 1995, LONDRES, United Kingdom
...
hal-00549322v1  Conference papers
Stéphane DonikianEric Rutten. Reactivity, concurrency, data-flow and hierarchical preemption for behavioural animation
Eurographics Workshop on Programming Paradigms in Graphics 1995, Sep 1995, Maastricht, Netherlands. pp.137-153
...
hal-00426627v1  Conference papers
Marc Le FurYves Mahéo. Efficient Communications in Parallel Loop Distribution
Fifth International Conference on Parallel Computing (ParCo'95), Sep 1995, Gent, Belgium. pp.359-366
...
hal-00451365v1  Conference papers
Vincent RicordelClaude Labit. Vector Quantization by Packing of Embedded Truncated Lattices
IEEE International Conference on Image Processing (ICIP), Oct 1995, Washington DC, United States. ⟨10.1109/ICIP.1995.538545⟩
...
hal-00495379v2  Conference papers
Frédéric GuidecYves Mahéo. POM: a Virtual Parallel Machine Featuring Observation Mechanisms
International Conference on High Performance Computing (HiPC'95), Dec 1995, New Delhi, India
...
inria-00435234v1  Conference papers
Christine MorinAlain GefflautMichel BanâtreAnne-Marie Kermarrec. COMA: an Opportunity for Building Fault-Tolerant Scalable Shared Memory Multiprocessors
International Symposium on Computer Architecture, 1996, Philadelphie, United States
...
hal-00544057v1  Conference papers
Pascal AubryPaul Le GuernicSylvain Machard. Synchronous distribution of SIGNAL programs
29th Hawaii International Conference on System Sciences (HICSS-29), Jan 1996, Maui, Hawaii, United States. pp.656-665, ⟨10.1109/HICSS.1996.495517⟩
...
hal-00426619v1  Conference papers
Luisa MassariYves Mahéo. Performance Evaluation of Automatically Generated Data Parallel Programs
Fourth Euromicro Workshop on Parallel and Distributed Processing, Jan 1996, Braga, Portugal. pp.534-540, ⟨10.1109/EMPDP.1996.500629⟩
...
hal-00451780v1  Conference papers
Vincent RicordelClaude Labit. Quantification vectorielle algébrique et arborescente.
Compression et représentation des signaux audiovisuels (CORESA), Feb 1996, Grenoble, France
...
hal-00544253v1  Conference papers
Apostolos KountourisPaul Le Guernic. Profiling of SIGNAL programs and its application in the timing evaluation of design implementations
IEE Colloquium on the Hardware-Software Cosynthesis for Reconfigurable, Feb 1996, Bristol, United Kingdom. pp.6/1-6/9, ⟨10.1049/ic:19960225⟩
...
hal-00544301v1  Conference papers
Michel Le BorgneHervé MarchandEric RuttenMazen Samaan. Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller
5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Jul 1996, Munich, Germany. pp.271-285
...
hal-01501466v1  Conference papers
Bernard Cousin. Les mécanismes de contrôle de congestion dans ATM
Ecole d'été sur les réseaux à haut débit et le multimédia (eeRHDM'96), Jul 1996, Cauterets, France
...
hal-00765463v1  Conference papers
Jean-Marc JézéquelJean-Lin Pacherie. Parallel Operators
ECOOP'96 proceedings, Jul 1996, Rennes, France
...
hal-00451360v1  Conference papers
Vincent RicordelClaude Labit. Tree-Structured Lattice Vector Quantization
European Signal Processing Conference (EUSIPCO), Sep 1996, Trieste, Italy
...
hal-00288337v1  Conference papers
Frédéric GuidecYves Mahéo. POM: a Parallel Observable Machine
ParCo'95, Sep 1996, Gent, Belgium. pp.343-350
...
hal-00496288v1  Conference papers
Françoise AndréYves Mahéo. Cidre: Programming with Distributed Shared Arrays
3rd International Conference on High-Performance Computing (HiPC '96), Dec 1996, Trivandrum, India. pp.439-444
...
inria-00510093v1  Conference papers
François FaureGilles DebunneMarie-Paule CaniFranck Multon. Dynamic analysis of human walking
8th Eurographics Workshop on Computer Animation and Simulation, 1997, Budapest, Hungary. pp.53--65
...
hal-00765496v1  Conference papers
Jean-Marc Jézéquel. Using scalable distributed computers in telecommunications
HPCN Europe, Apr 1997, Vienna, Austria
...
hal-01074761v1  Conference papers
Eric MarchandFrançois Chaumette. Active sensor placement for complete scene reconstruction and exploration
ICRA 1997 - IEEE International Conference on Robotics and Automation, Apr 1997, Albuquerque, France. pp.743 - 750, ⟨10.1109/ROBOT.1997.620124⟩
...
hal-00545554v1  Conference papers
Apostolos KountourisChristophe Wolinski. A Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language
40th Midwest Symposium on Circuits and Systems (MWSCAS '97), Aug 1997, Sacramento, CA, United States. pp.1095-1098
...
hal-01112912v1  Conference papers
I ZitouniK SmaïliS DeligneF Bimbot. A COMPARATIVE STUDY BETWEEN POLYCLASS AND MULTICLASS LANGUAGE MODELS
Proceedings of the Fifth International Conference on Spoken Language Processing, 1998, Sydney, Australia
...
inria-00534149v1  Conference papers
Stéphane DonikianAlain ChauffautThierry DuvalRichard Kulpa. GASP: from Modular Programming to Distributed Execution
Computer Animation 1998, 1998, Philadelphie, United States