Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Finite Domain Constraint Solver Learning
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, AbdelAli ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
Towards declarative diagnosis of constraint programs over finite domains
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER
Softgenlock: active stereo and genlock for pc cluster
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Jérémie ALLARD, Valérie GOURANTON, Guy LAMARQUE, Bruno RAFFIN
Learning Characteristic Rules Relying on Quantified Paths
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Teddy TURMEAUX, Ansaf SALLEB, Daniel CASSARD
ACID-Unification is NEXPTIME-Decidable
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
Book Review on: Implicit parallel programming in pH, by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001
Publié en 2003
Type de publication : Autres Publications
Auteur(s) : Gaétan HAINS
Manipulating tree tuple languages by transforming logic programs
Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Gernot SALZER
Unification modulo ACUI plus Homomorphisms/Distributivity
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michaël RUSINOWITCH
Fast Deployment of a Commodity VR Cluster
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Souley MADOUGOU, Jacques VAIRON
Genre and Domain Processing in an Information Retrieval Perspective
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Céline POUDAT
Collaborative Simulation by Reuse of COTS Simulators with a Reflexive XML Middleware
Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Mathieu BLANC, Fabien COSTANTINI, Sébastien DUBOIS, Manuel FORGET, Olivier FRANCILLON
Un outil d'aide à la décision publique pour l'agriculture dans la Caraïbe, MICA (Modèle Intégré pour les Agricultures Caraïbéennes)
Publié en 2002
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jean-Louis DIMAN, Françoise GERARD, Jean-Luc PAUL, Marie-Françoise ZÉBUS, François CAUSERET, Stephanie JOCK, Estelle DARIE
Caribbean Food Crops Society Proceedings
Autour de la décomposition modulaire des graphes bipartis
Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Marie VANHERPE
NetJuggler, Running VrJuggler with Multiple Displays on a Commodity Component Cluster
Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Jérémie ALLARD, Valérie GOURANTON, Loick LECOINTRE, Bruno RAFFIN
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER
A symbolic cost model for asynchronous parallel programs with structured dependences
Publié en 2002
Type de publication : Autres Publications
Auteur(s) : Emmanuel MELIN, Bruno RAFFIN, Xavier REBEUF, Bernard VIROT
Indexical-Based Solver Learning
Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Arnaud LALLOUET, Andrei LEGTCHENKO, Lionel MARTIN
Value Withdrawal Explanations: a Theoretical Tool for Programming Environments
Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT
Parallelizing pre-rendering computations on a net juggler PC cluster
Publié en 2002
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Jérémie ALLARD, Valérie GOURANTON, Bruno RAFFIN
Treewidth of planar graphs: connections with duality
Publié en 2001
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Vincent BOUCHITTÉ, Frédéric MAZOIT
On a cograph's recognition algorithm, possible generalizatins
Publié en 2001
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Marie VANHERPE
On minimal cutsets in P5-free minimal imperfect graphs
Publié en 2001
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent BARRÉ, Jean-Luc FOUQUET
Synchronized tree language revisited and new applications
Publié en 2001
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pierre RETY, Valérie GOURANTON, 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É
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
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
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
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
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
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
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
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
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
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
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
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
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

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