Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Apprentissage de solveurs de contraintes sur les domaines finis
Publié en 2003
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO, AbdelAli ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
Secure replication limiting passive and active attacks
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Mahery ANDRIAMBOLOLONA, Mathieu BLANC, Lionel BARTHE, Bruno DOOLAEGHE, Michaël HERVIEUX, Khalid KADRI HASSANI, Pascal LEFEUVRE, Thomas MEURISSE
Chordal embeddings of planar graphs
Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Vincent BOUCHITTÉ, Frédéric MAZOIT
Language, Definition and Optimal Computation of CSP Approximations
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
Linear Time Recognition and Optimization for Weak-Bisplit Graphs, Bi-Cographs and Bipartite ${P_6}$-free Graphs
Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vassilis GIAKOUMAKIS, Jean-Marie VANHERPE
Distributed multigrid algorithms for interactive scientific simulations on clusters
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Sophie ROBERT, Ronan GAUGNE
Apprentissage de Règles Caractéristiques
Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Teddy TURMEAUX, Daniel CASSARD, Ansaf SALLEB
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
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
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
Learning Approximate Consistencies
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
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
Pipelined parallelism for multi-join queries on shared nothing machines
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Matthieu EXBRAYAT
Correctness of Constraint Retraction Algorithms
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Willy LESAINT, Romuald DEBRUYNE, Gérard FERRAND, Narendra JUSSIEN, Samir OUIS, Alexandre TESSIER
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
Some optimization problems on weak-bisplit graphs
Publié en 2003
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Marie VANHERPE
Feedback Vertex Set and Longest Induced Path on AT-Free Graphs
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Dieter KRATSCH, Haiko MÜLLER
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
Intermediate (Learned) Consistencies
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
Une méthode de regroupement de mots fondée sur la recherche de cliques dans un graphe de cooccurrences
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Viviane CLAVIER, Lionel MARTIN
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
Disjunctive Learning with a Soft-Clustering Method
Publié en 2003
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Christel VRAIN, Lionel MARTIN
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
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
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
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
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
Treewidth of planar graphs: connections with duality
Publié en 2001
Type de publication : Revue internationale à 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
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
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
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
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
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 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

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