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

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

1 - 2 - 3 - 4

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]

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]

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]

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]

Sommes de trois carrés en deux variables et représentation de bas degré pour le niveau des courbes réelles Macé O. Université Rennes 1 (31/03/2000), Mahé Louis (Dir.) [tel-00006239 - version 1]

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals Marchand H., Boivineau O., Lafortune S. SIAM Journal on Control and Optimization 39, 2 (2000) 512-532 [inria-00584875 - version 1]

Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example Besnard L., Bournai P., Gautier T., Halbwachs N., Nadjm-Tehrani S., Ressouche A. Dans Intensional Programming II (Based on the Papers at ISLIP '99) (2000) 149-167 [hal-00546676 - version 1]

Specification and Verification of a Steam-Boiler with Signal-Coq Kerboeuf M., Nowak D., Talpin J.-P. Dans Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000 - 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2000), États-Unis (2000) [hal-00544631 - version 1]

Compositionality in dataflow synchronous languages: specification & distributed code generation Benveniste A., Caillaud B., Le Guernic P. Information and Computation 163, 1 (2000) 125-171 [hal-00543297 - version 1]

Using the PAC-Amodeus Model and Design Patterns to Make Interactive an Existing Object-Oriented Kernel Duval T., Pennaneac'H F. Tools Europe 2000, France (2000) [inria-00534147 - version 1]

Using GASP for Collaborative Interaction within 3D Virtual Worlds Duval T., Margery D. Virtual Worlds 2000, France (2000) [inria-00534146 - version 1]

Building Objects and Interactors for Collaborative Interactions with GASP Duval T., Margery D. CVE 2000, États-Unis (2000) [inria-00534145 - version 1]

A Deflated Version of the Conjugate Gradient Algorithm Saad Y., Yeung M., Erhel J., Guyomarc'H F. SIAM Journal on Scientific Computing 21, 5 (2000) 1909-1926 [inria-00523686 - version 1]

An Augmented Conjugate Gradient Method for Solving Consecutive Symmetric Positive Definite Linear Systems Erhel J., Guyomarc'H F. SIAM Journal on Matrix Analysis and Applications 21, 4 (2000) 1279-1299 [inria-00523682 - version 1]

Generic Software Component Configuration Via Partial Evaluation Le Meur A.-F., Consel C. SPLC'2000 Workshop -- Product Line Architecture, United States (2000) [inria-00476065 - version 1]

AeDEn: un cadre général pour une distribution adaptative et dynamique des applications en environnements mobiles Le Mouël F., André F. Proceedings of the 3rd International Conference on New Technologies in Distributed Systems (NOTERE'2000), France (2000) [inria-00394916 - version 1]

Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment André F., Kermarrec A.-M., Le Mouël F. Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS'2000), Germany (2000) [inria-00394919 - version 1]

Distribution over Mobile Environments Le Mouël F., André F. Proceedings of 2000 ACM Symposium on Applied Computing (SAC'2000), Italy (2000) [inria-00394908 - version 1]

Improving Mobile Computing Performance by Using an Adaptive Distribution Framework Le Mouël F., Segarra M.-T., André F. In Proceedings of 7th International Conference on High Performance Computing (HiPC'2000) (2000) 479-488 [inria-00394900 - version 1]