.:. Consultation > Liste par année > 1998 .:.

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

1 - 2 - 3

Schémas de suivi d'objets vidéo dans une séquence animée : application à l'interpolation d'images intermédiaires. Bonnaud L. Université Rennes 1 (20/10/1998), Claude Labit (Dir.) [tel-00070533 - version 1]

Iterative compilation in a non-linear optimisation space Bodin F., Kisuki T., Knijnenburg P., O' Boyle M., Rohou E. Workshop on Profile and Feedback-Directed Compilation, France (1998) [inria-00475919 - version 1]

A Design Environment for Discrete-Event Controllers based on the Signal Language Marchand H., Bournai P., Le Borgne M., Le Guernic P. Dans Proceedings of the 1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC'98) - 1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC '98), États-Unis (1998) [hal-00546362 - version 1]

Simulation d'éclairage dans des environnements architecturaux complexes : approches séquentielle et parallèle Meneveaux D. Université Rennes 1 (28/06/1998), Bouatouch Kadi (Dir.) [tel-00007237 - version 1]

Object-Oriented Design of Real-Time Telecom Systems Jézéquel J.-M. ISORC'98, Japon (1998) [inria-00468946 - version 1]

Architectures et systèmes distribués tolérants aux fautes Morin C. Université Rennes 1 (05/03/1998), Jean-Pierre Banâtre (Pr.) [tel-00434053 - version 1]

Co-inductive Axiomatization of a Synchronous Language Nowak D., Beauvais J.-R., Talpin J.-P. Dans Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs '98 - 11th International Conference on Theorem Proving in Higher Order Logics (TPHOLs '98), Australie (1998) [hal-00544505 - version 1]

GASP: from Modular Programming to Distributed Execution Donikian S., Chauffaut A., Duval T., Kulpa R. Computer Animation 1998, États-Unis (1998) [inria-00534149 - version 1]

Reifying configuration management for object-oriented software Jézéquel J.-M. International Conference on Software Engineering, ICSE'20, Japon (1998) [inria-00372744 - version 1]

Specifying and verifying active vision-based robotic systems with the Signal environment Marchand E., Rutten E., Marchand H., Chaumette F. International Journal of Robotics Research 17, 4 (1998) 418-432 [inria-00352559 - version 1]

Quelques méthodes d'intelligence artificielle pour la modélisation de l'élève Py D. Sciences et Techniques Educatives 5(2) (1998) . [hal-00190201 - version 1]

Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems Badouel E., Oliver J. Rapport de recherche (1998) [inria-00073350 - version 1]

Une méthode non incrémentale d'homogénéisation de structures élastomères : application aux composites unidirectionnels Brieu M., Devries F., Erhel J. Rapport de recherche (1998) [inria-00073348 - version 1]

GCDS: A Compiler Strategy for Trading Code Size Against Performance in Embedded Applications Bodin F., Chamski Z., Eisenbeis C., Rohou E., Seznec A. Rapport de recherche (1998) [inria-00073343 - version 1]

Fault Tolerant Software Architectures Saridakis T., Issarny V. Rapport de recherche (1998) [inria-00073339 - version 1]

BDl, A Language of Distributed Reactive Objects Talpin J.-P., Benveniste A., Caillaud B., Jard C., Bouziane Z., Canon H. Rapport de recherche (1998) [inria-00073336 - version 1]

Safe and Efficient Active Network Programming Thibault S., Consel C., Muller G. Rapport de recherche (1998) [inria-00073334 - version 1]

Generation of Distributed Parallel Java Programs Launay P., Pazat J.-L. Rapport de recherche (1998) [inria-00073331 - version 1]

Deriving Unbounded Petri Nets from Formal Languages Darondeau P. Rapport de recherche (1998) [inria-00073324 - version 1]

Dynamic Slicing: a Generic Analysis Based on a Natural Semantics Format Gouranton V., Le Métayer D. Rapport de recherche (1998) [inria-00073314 - version 1]