Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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 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 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 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
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
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
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
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
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
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
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 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
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 : 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