.:. Browse > Year > 2000 .:.

97 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5

Approches langages pour la conception et la mise en oeuvre de programmes Fradet P. Université Rennes 1 (10/11/2000), Jean-Pierre Banâtre (Pr.) [tel-00011212 - version 1]

Camera Calibration and 3D Reconstruction from a Single Image Guillou E., Meneveaux D., Maisel E., Bouatouch K. Visual Computer 16, 7 (2000) 396-410 [hal-00337790 - version 1]

Building trust into oo components using a genetic analogy Baudry B., Le Hanh V., Jézéquel J.-M., Le Traon Y. Proceedings of ISSRE'2000, États-Unis (2000) [hal-00794307 - version 1]

Precise modeling of design patterns Le Guennec A., Sunyé G., Jézéquel J.-M. Proceedings of UML 2000, Royaume-Uni (2000) [hal-00794308 - version 1]

Trustable components: Yet another mutation-based approach Baudry B., Vu Le H., Jézéquel J.-M., Le Traon Y. Proceedings of the 1st Symposium on Mutation Testing (Mutation'2000), États-Unis (2000) [hal-00777468 - version 1]

Synthesis of Discrete-Event Controllers based on the Signal Environment Marchand H., Bournai P., Le Borgne M., Le Guernic P. Discrete Event Dynamic Systems 10, 4 (2000) 325-346 [hal-00546147 - version 1]

Hierarchical conditional dependency graphs as a unifying design representation in the CODESIS high-level synthesis system Kountouris A., Wolinski C. Dans Proceedings of the 13th International Symposium on System Synthesis - 13th International Symposium on System Synthesis (ISSS '00), Espagne (2000) [hal-00545528 - version 1]

Implementing and evaluating an efficient load balancer for distributed molecular dynamics simulation Jézéquel J.-M., Sato N. IEEE Workshop on High-Performance Scientific and Engineering Computing with Applications, France (2000) [hal-00776529 - version 1]

Incremental Design of a Power Transformer Station Controller using a Controller Synthesis Methodology Marchand H., Samaan M. IEEE Transactions on Software Engineering 26, 8 (2000) 729-741 [hal-00546156 - version 1]

Design pattern application in UML Sunyé G., Le Guennec A., Jézéquel J.-M. ECOOP'2000 proceedings, Allemagne (2000) [hal-00794299 - version 1]

Aspect-oriented design with the UML Jézéquel J.-M., Pennaneac'H F., Plouzeau N., Wai Ming H. Proc. of the ICSE2000 Workshop on Multi-Dimensional Separation of Concerns in Software Engineering, Ireland (2000) [hal-00794303 - version 1]

Aspect-oriented design with the UML Jézéquel J.-M., Ming Ho W., Pennaneac'H F., Plouzeau N. Proc. of the ICSE2000 Workshop on Multi-Dimensional Separation of Concerns in Software Engineering, Irlande (2000) [hal-00776828 - version 1]

Guest Editorial Horaud R., Chaumette F. International Journal of Computer Vision 37, 1 (2000) 5--6 [inria-00590126 - version 1]

An Efficient and Scalable Approach for Implementing Fault-Tolerant DSM Architectures Morin C., Kermarrec A.-M., Banâtre M., Gefflaut A. IEEE Transactions on Computers (2000) [inria-00435092 - version 1]

Le traité de la réalité virtuelle Volume 5 : les humains virtuels Fuchs P., Moreau G., Donikian S. (2000) 470 [hal-00753659 - version 1]

Verification by Testing for Recursive Program Schemes Le Métayer D., Nicolas V.-A., Ridoux O. Lecture notes in computer science 1817, Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Selected Pa (2000) 255-272 [hal-00783194 - version 1]

Tracing Prolog programs by source instrumentation is efficient enough Ducassé M., Noyé J. The Journal of Logic Programming (2000) [hal-00756827 - version 1]

Small Noise Asymptotics of the GLR Test for Off-Line Change Detection in Misspecified Diffusion Processes Campillo F., Kutoyants Y., Le Gland F. Stochastics and Stochastics Reports 70, 1--2 (2000) 109--129 [hal-00652116 - version 1]

On rational graphs Morvan C. Dans Fossacs 00 - Fossacs 00, France (2000) [hal-00620062 - version 1]

Combining Local Recognition Methods for Better Image Recognition Lamiroy B., Gros P., Picard S. Vision 17 (2000) 1-6 [inria-00604483 - version 1]