Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1628

Bipartite Graphs Totally Decomposable by Canonical Decomposition

Publié en 1999
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Vassilis GIAKOUMAKIS, Jean-Marie VANHERPE
Comparing the Communication Performance and Scalability of a Linux and a NT Cluster of PCs, a Cray Origin 2000, an IBM SP and a Cray T3E-600

Publié en 1999
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Glenn R. LUECKE, Bruno RAFFIN, James J. COYLE
A Cost Model For Asynchronous and Structured Massage Passing

Publié en 1999
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
Décomposition canonique des graphes bipartis

Publié en 1998
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Vassilis GIAKOUMAKIS, Jean-Marie VANHERPE
Decomposition of bipartite graphs

Publié en 1998
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Vassilis GIAKOUMAKIS, Jean-Marie VANHERPE
A Structured Synchronization and Communication Model Fitting Irregular Data Accesses

Publié en 1998
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Emmanuel MELIN, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
A self-balancing join algorithm for SN machines.

Publié en 1998
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Gaetan HAINS
Solving Disequations Modulo Some Class of Rewrite Systems

Publié en 1998
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre RETY
A General Framework for R-Unification Problems

Publié en 1998
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Frédéric SAUBION
A Simple Synchronization and Communication Multi-threaded Library for Automatic Distribution of Irregular Sequential Code

Publié en 1998
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
A General but Simple Technique to Handle Asynchronous Data-Parallel Control Structures

Publié en 1997
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
E-unification by means of tree tuple synchronized grammars

Publié en 1997
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Pierre RETY
On Partial Validation of Logic Programs

Publié en 1997
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Frédéric SAUBION
On Extended${P_4}$-Reducible and Extended $ {P_4}$-Sparse Graphs

Publié en 1997
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vassilis GIAKOUMAKIS, Jean-Marie VANHERPE
Bi-Complement reducible Graphs

Publié en 1997
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vassilis GIAKOUMAKIS, Jean-Marie VANHERPE
SCLchan: An Asynchronous Data-Parallel Language for Irregular Algorithms

Publié en 1997
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
Implementation on Cray T3D/T3E of SCLchan, a Programming Language Unifying Data and Task Parallelism

Publié en 1997
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
E-Unification by Means of Tree Tuple Synchronized Grammars.

Publié en 1997
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre RETY
On P_4-tidy graphs

Publié en 1997
Type de publication : Revue internationale à comité de lecture
Auteur(s) : V. GIAKOUMAKIS, F. ROUSSEL, H. THUILLIER
A Learning Rule Safe From Local Minima for a Generalized Perceptron

Publié en 1996
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Bruno RAFFIN, Bernard VIROT
Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language

Publié en 1996
Type de publication : Autres Publications
Auteur(s) : Luc BOUGÉ, David CACHERA, Yann LE GUYADEC, Gil UTARD, Bernard VIROT
Structural Clocks for a Loosely Synchronized Data-Parallel Language

Publié en 1996
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Yann LE GUYADEC, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
Conditional Directed Narrowing.

Publié en 1996
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre RETY
A Loosely Synchronized Execution Model for a Simple Data-Parallel Language.

Publié en 1996
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Yann LE GUYADEC, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
Minimerror, a temperature dependent learning rule

Publié en 1995
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Bruno RAFFIN, Mirta B. GORDON
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)

Publié en 1995
Type de publication : Thèse
Auteur(s) : Daniel DIAZ
Reversible Cellular Automaton Able to Simulate Any Other Reversible One Using Partitioning Automata

Publié en 1995
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Algorithmique neuronale

Publié en 1995
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Bruno RAFFIN, Bernard VIROT

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Publications HAL du LIFO

Carte

Informations