.:. Consultation > Par publications .:.

50682 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 4287 - 4288 - 4289 - 4290 - 4291 - 4292 - 4293 ...

Gamma and the chemical reaction model: fifteen years after Banâtre J.-P., Fradet P., Le Métayer D. Dans Multiset Processing (2000) [inria-00000949 - version 1]

Vérification par Model-Checking Modulaire de Propriétés Dynamiques PLTL exprimées dans le cadre de Spécifications B événementielles Masson P.-A. Université de Franche-Comté (21/12/2001), Jacques Julliand (Dir.) [tel-00011112 - version 1]

Affectation automatique des relecteurs de la conférence PPSN VI : un exemple d'utilisation du language EASEA Collet P., Lutton E., Schoenauer M. N° RR-4177 (2001) [inria-00000850 - version 1]

EASEA : un langage de spécification pour les algorithmes évolutionnaires Collet P., Schoenauer M., Lutton E., Louchet J. N° RR-4218 (2001) [inria-00000849 - version 1]

Automatic Parallelization Techniques Based on Compact DAG Extraction and Symbolic Scheduling Cosnard M., Jeannot E. Parallel Processing Letters 11, 1 (2001) 151-168 [inria-00000278 - version 1]

Scilab to Scilab//, the OURAGAN Project Caron E., Chaumette S., Contassot-Vivier S., Desprez F., Fleury E., Gomez C., Goursat M., Jeannot E., Lazure D., Lombard F. et al Parallel Computing 27, 11 (2001) 1497-1519 [inria-00000277 - version 1]

On the Tree Inclusion Problem Alonso L., Schott R. Acta Informatica 37, 9 (2001) 653-670 [inria-00000272 - version 1]

Environment-adaptive algorithms for robust speech recognition Junqua J.-C., Cerisara C., Rigazio L., Kryze D. Dans International Workshop on Hands-Free Speech Communication - HSC 2001 (2001) 4 [hal-00008868 - version 1]

STRIP: Structural Sharing for Efficient Proof-search Larchey-Wendling D., Mery D., Galmiche D. (2001) 696 - 700 [hal-00008805 - version 1]

Refined localization of twenty-one genes in subregion p13.1 of human chromosome 1 Chelala C., Imbeaud S., Devignes M.-D., Zoorob R., Auffray C. Cytogenetics and Cell Genetics 92, 3-4 (2001) 209-212 [inria-00000242 - version 1]