Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

Weakly Regular Relations and Applications
Publié en 2001
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre RETY, Helmut SEIDL
Treewidth and Minimum Fill-in: Grouping the Minimal Separators
Publié en 2001
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Vincent BOUCHITTÉ
Comparing the Communication Performance and Scalability of a Linux and an NT Cluster of PCs, a SGI Origin 2000, an IBM SP and a Cray T3E-600
Publié en 2000
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Glenn R. LUECKE, Bruno RAFFIN, James J. COYLE
Clique Width of partenr limited graphs
Publié en 2000
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Marie VANHERPE
Value Withdrawal Explanation in CSP
Publié en 2000
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Gerard FERRAND, Alexandre TESSIER
A skew-insensitive algorithm for join and multi-join operation on Shared Nothing machines
Publié en 2000
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Gaetan HAINS
The Performance of the MPI Collective Communication Routines for Large Messages on the Cray T3E-600, the Cray Origin 2000, and the IBM SP
Publié en 1999
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Glenn R. LUECKE, Bruno RAFFIN, James J. COYLE
On minimal imperfect graphs without induced P5
Publié en 1999
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent BARRÉ, Jean-Luc FOUQUET
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
On canonical decomposition of bipartite graphs
Publié en 1999
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
An efficient scalable parallel view maintenance algorithm for shared nothing multi-processor machines
Publié en 1999
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Fadila BENTAYEB, Gaetan HAINS
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
Frequency-Adaptive Join for Shared Nothing Machines
Publié en 1999
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mostafa BAMHA, Gaetan HAINS
A New Result about the Decidability of the Existential One-Step Rewriting Theory
Publié en 1999
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Pierre RETY
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
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 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
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 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
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
On P_4-tidy graphs
Publié en 1997
Type de publication : Revue internationale à comité de lecture
Auteur(s) : V. GIAKOUMAKIS, F. ROUSSEL, H. THUILLIER
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
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
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
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
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
Bi-Complement reducible Graphs
Publié en 1997
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vassilis GIAKOUMAKIS, Jean-Marie VANHERPE
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
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
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
Algorithmique neuronale
Publié en 1995
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Bruno RAFFIN, Bernard VIROT
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

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