Search - Archive ouverte HAL Access content directly

Filter your results

205 Results
Structure: Internal structure identifier : 1695
Image document

L'unisson

Christian Boulinier
Réseaux et télécommunications [cs.NI]. Université de Picardie Jules Verne, 2007. Français. ⟨NNT : ⟩
Theses tel-01511431v1

A case base model for a case based forum : experimentation on pediatric pain management

Joiron C. , Dominique Leclet
International conference on Artificial Intelligence in Education, AI-ED 2001, 2001, San Antonio, Texas, USA, Unknown Region. pp.111-121
Conference papers hal-01184063v1

Scatter of Robots

Yoann Dieudonné , Franck Petit
Parallel Processing Letters, 2009, 19 (1), pp.175-184
Journal articles hal-01008754v1

How to meet asynchronously at polynomial cost

Yoann Dieudonné , Andrzej Pelc , Vincent Villain
PODC 2013, 2013, Montreal, QC, Canada, Canada. pp.92-99
Conference papers hal-01008769v1
Image document

An ontological approach to the construction of problem-solving models

Sabine Bruaux , Gilles Kassel , Gilles Morel
2005
Preprints, Working Papers, ... hal-00005019v1

Virtual Memory Management in Data Parallel Applications

Eddy Caron , Olivier Cozette , Dominique Lazure , Gil Utard
Workshop: High Performance Computing on Very Large Datasets, HPCN'99 (High Performance Computing and Networking), Apr 1999, Amsterdam, Netherlands. pp.9
Conference papers hal-01444354v1
Image document

network reliability measures with binary decision diagrams

Gary Hardy , Corinne Lucet , N. Limnios
2005
Preprints, Working Papers, ... hal-00019249v1
Image document

Circle Formation of Weak Mobile Robots

Yoann Dieudonne , Ouiddad Labbani-Igbida , Franck Petit
2006
Preprints, Working Papers, ... hal-00085394v1
Image document

Améliorer un dispositif pédagogique par l'intégration de nouveaux canaux de communication

Dominique Leclet , Eric Leprêtre , Yvan Peter , Céline Quénu-Joiron , Bénédicte Talon et al.
EIAH 2007, 2007, Lausanne, Swaziland. pp.347-358
Conference papers hal-00190044v1
Image document

Algorithmique parallèle du texte : du modèle systolique au modèle CGM

Thierry Garcia
Calcul parallèle, distribué et partagé [cs.DC]. Université de Picardie Jules Verne, 2003. Français. ⟨NNT : ⟩
Theses tel-00008672v1
Image document

Circle Formation of Weak Robots and Lyndon Words

Yoann Dieudonné , Franck Petit
2006
Preprints, Working Papers, ... hal-00069724v1
Image document

A Repair Mechanism for Fault-Tolerance for Tree-Structured Peer-to-Peer Systems

Eddy Caron , Frédéric Desprez , Franck Petit , Cédric Tedeschi , Charles Fourdrignier et al.
[Research Report] RR-6029, LIP RR-2006-34, INRIA, LIP. 2006, pp.15
Reports inria-00115997v3

End-User Specification of Quality of Service Applying the Model-Driven Approach

David Durand , C. Loge
Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services - (icas-isns'05), Oct 2005, Papette, French Polynesia. pp.67-67, ⟨10.1109/ICAS-ICNS.2005.49⟩
Conference papers hal-03060553v1

Case-based simulations

Gérard Weidenfeld , Dominique Leclet
International Journal Of Continuing Engineering Education and Life-long Learning, IJCEEL 1998, 1998, 9, Nos. 3/4, pp.222-236
Journal articles hal-01184077v1

An ethno-participative Methodology for Designing E-Learning Environments : Experiment in Project Management Training

Dominique Leclet , Bénédicte Talon , C. Quénu-Joiron
World Internationale Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education, E-LEARN 2006, 2006, Hawai, USA, Unknown Region. pp.1295-1301
Conference papers hal-01183989v1

Learning Know-How through a Method using Technologies of Information and Communication and Project-Based Learning : the MAETIC Project

Bénédicte Talon , Dominique Leclet , C. Quénu-Joiron
World Internationale Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education, E-LEARN 2006, 2006, Hawai, USA, Unknown Region. pp.949-956
Conference papers hal-01183986v1

A linear algorithm for the detection of evolutive tandem repeats

Richard Groult , M. Léonard , L. Mouchard
Prague Stringology Conference, 2003, Czech Republic. pp.77-90
Conference papers hal-00465094v1

Snap-stabilizing PIF algorithm in arbitrary networks

A. Cournier , A.K. Datta , F. Petit , Vincent Villain
22nd International Conference on Distributed Computing Systems, May 2003, Vienna, France. pp.199-206, ⟨10.1109/ICDCS.2002.1022257⟩
Conference papers hal-03238140v1

On a conjecture about finite fixed points of morphisms

Gwenaël Richomme , Florence Levé
Theoretical Computer Science, 2005, 339, pp.103-128
Journal articles hal-00599741v1
Image document

Tabu Search to Plan Schedules in a Multiskill Customer Contact Center

Florence Mendes , Corinne Lucet , Aziz Moukrim
ICSSSM'06, Oct 2006, France. pp.1126-1131
Conference papers hal-00783884v1

Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids

Daniel Kirsten , Gwenaël Richomme
Theory of Computing Systems, 2001, 34, pp.193-217. ⟨10.1007/s00224-001-0006-x⟩
Journal articles hal-00598214v1

An efficient approach to solving random k-SAT problems

Gilles Dequen , Olivier Dubois
Journal of Automated Reasoning, 2006, 37 (4), pp.261--276. ⟨10.1007/s10817-006-9025-2⟩
Journal articles istex hal-00845689v1

A Collaborative Approach for Multi-Threaded SAT Solving

Pascal Vander-Swalmen , Gilles Dequen , Michaël Krajecki
International Journal of Parallel Programming, 2009, 37 (3), pp.324--342. ⟨10.1007/s10766-009-0097-6⟩
Journal articles istex hal-00845690v1
Image document

Etude d'un cheminement de conception : structure hypertextuelle des connaissances pour les traces d'un projet architectural

Fabien Gandon , Catherine Barry , Régine Loisel
IC 1999, Journée francophones d'ingénierie des connaissances, Plateforme AFIA 1999, Jun 1999, Palaiseau, France
Conference papers hal-01145740v1

Algorithms for Constrained Best-Fit Alignement

Serge Dumont , Laure Brisoux Devendeville , Olivier Goubet , Sylvain Lefebvre
CPAIOR 2010, Jun 2010, Bologna, Italy
Conference papers hal-01818038v1

An exact algorithm for the knapsack sharing problem

Mhand Hifi , Hedi Mhalla , Slim Sadfi
Computers and Operations Research, 2005, 32 (5), pp.1311-1324. ⟨10.1016/j.cor.2003.11.005⟩
Journal articles istex hal-00308682v1

Self-stabilizing PIF algorithm in arbitrary rooted networks

A. Cournier , A.K. Datta , F. Petit , Vincent Villain
21st International Conference on Distributed Computing Systems, Apr 2001, Mesa, France. pp.91-98, ⟨10.1109/ICDSC.2001.918937⟩
Conference papers hal-03238085v1

Search in Indecomposable Graphs

Alain Cournier
International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2002, Český Krumlov, Czech Republic. pp.80-91, ⟨10.1007/3-540-36379-3_8⟩
Conference papers istex hal-03238095v1
Image document

Snap-stabilizing Prefix Tree for Peer-to-peer Systems

Eddy Caron , Frédéric Desprez , Franck Petit , Cédric Tedeschi
[Research Report] RR-6297, LIP RR-2007-39, INRIA, LIP. 2007, pp.20
Reports inria-00173050v2
Image document

Improving Cluster IO Performance with Remote Efficient Access to Distant Device

Olivier Cozette , Cyril Randriamaro , Gil Utard
[Research Report] RR-4401, LIP RR-2002-11, INRIA, LIP. 2002
Reports inria-00072187v1