.:. Browse > Year > 1999 .:.

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

1 - 2 - 3 - 4

Synchronisation and Load Balancing for Parallel Hierarchical Radiosity of Complex Scenes on a Heterogeneous Computer Network Meneveaux D., Bouatouch K. Computer Graphics Forum 18, 4 (1999) 201-212 [hal-00337791 - version 1]

Dynamic slicing : a generic analysis based on a natural semantics format Gouranton V., Le Métayer D. Journal of Logic and Computation 9 (1999) pp 835-871, number 6 [hal-00137413 - version 1]

Efficient strategies for integration and regression testing of oo systems Jézéquel J.-M., Jéron T., Le Traon Y., Morel P. 10th IEEE International Symposium on Software Reliability Engineering, ISSRE'99, United States (1999) [hal-00776500 - version 1]

UMLAUT: an extendible UML transformation framework Jézéquel J.-M., Ming Ho W., Le Guennec A., Pennaneac'H F. Proc. Automated Software Engineering, ASE'99, United States (1999) [hal-00776495 - version 1]

Self-testable components: from pragmatic tests to design-for-testability methodology Jézéquel J.-M., Deveaux D., Le Traon Y. TOOLS Europe 1999, France (1999) [hal-00776493 - version 1]

A synchronous model of the PLC programming language ST Jiménez-Fraustro F., Rutten E. In Proceedings of the Work In Progress session, 11th Euromicro Conference on Real-Time Systems, ECRTS 1999 - 11th Euromicro Conference on Real-Time Systems, ECRTS 1999, United Kingdom (1999) [hal-00546127 - version 1]

A simple dynamic load-balancing schemefor parallel molecular dynamics simulationon distributed memory machines Jézéquel J.-M., Sato N. Springer-Verlag, United States (1999) [hal-00776485 - version 1]

Des classes autotestables Jézéquel J.-M., Deveaux D. LMO'99, France (1999) [hal-00776490 - version 1]

Generating deductive database explanations Mallet S., Ducassé M. International Conference on Logic Programming, United States (1999) [hal-00756845 - version 1]

A generic approach to monitor program executions Jahier E., Ducassé M. International Conference on Logic Programming, United States (1999) [hal-00756844 - version 1]

Coca: An automated Debugger for C Ducassé M. International Conference on Automated Software Engineering, United States (1999) [hal-00756843 - version 1]

Opium: An extendable trace analyser for Prolog. Ducassé M. The Journal of Logic Programming (1999) [hal-00756828 - version 1]

Scene Segmentation and Image Feature Extraction for Video Indexing and Retrieval Bouthemy P., Garcia C., Ronfard R., Tziritas G., Veneau E., Zugaj D. 3d International Conference on Visual Information Systems (VISUAL'99), Pays-Bas (1999) [inria-00590110 - version 1]

Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints Smarandache I., Gautier T., Le Guernic P. Dans FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems - World Congress on Formal Methods in the Development of Computing Systems (FM'99), France (1999) [hal-00548887 - version 1]

Polyhedral Analysis for Synchronous Languages Besson F., Jensen T., Talpin J.-P. In Static Analysis: Proceedings of the 6th International Symposium, SAS'99 - 6th International Symposium on Static Analysis (SAS'99), Italy (1999) [hal-00544493 - version 1]

Code generation in the SACRES project Gautier T., Le Guernic P. Dans Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99 - Seventh Safety-critical Systems Symposium (SSS'99), Royaume-Uni (1999) [hal-00543824 - version 1]

Computer Animation of Human Walking: a Survey Multon F., France L., Cani-Gascuel M.-P., Debunne G. The Journal of Visualization and Computer Animation 10 (1999) 39--54 [inria-00527534 - version 1]

Modélisation de l'intention du locuteur au cours d'une recherche d'information Dubois J.-C., Romary L., Anglade Y. [inria-00491642 - version 1] (14/06/2010)

A unified approach to shot change detection and camera motion characterization Bouthemy P., Gelgon M., Ganansia F. IEEE Trans. on Circuits and Systems for Video Technology 9, 7 (1999) 1030-1044 [hal-00450210 - version 1]

Robust real-time visual tracking using a 2D-3D model-based approach Marchand E., Bouthemy P., Chaumette F., Moreau V. IEEE Int. Conf. on Computer Vision, ICCV'99, Grèce (1999) [inria-00352549 - version 1]