1. Recherche
341 résultats  enregistrer la recherche
...
inria-00073290v1  Rapport
Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier. Analytic Variations on Bucket Selection and Sorting
[Research Report] RR-3399, INRIA. 1998
...
inria-00073353v1  Rapport
Christine Eisenbeis, Sylvain Lelait, Bruno Marmol. Circular-arc Graph Coloring and Unrolling
RR-3336, INRIA. 1998
...
inria-00073155v1  Rapport
Philippe Jacquet, Véronique Joly. Retro-information in Wheeler-Feynman Universe Model: Applications Over an Hypothetical Concept in Quantum Mechanics
[Research Report] RR-3530, INRIA. 1998
...
inria-00073204v1  Rapport
Scott Thibault, Jérôme Marant, Gilles Muller. Adapting Distributed Applications Using Extensible Networks
[Research Report] RR-3484, INRIA. 1998
...
inria-00073179v1  Rapport
Philippe Jacquet. Éléments de théorie analytique de l'information, modélisation et évaluation de performances
[Rapport de recherche] RR-3505, INRIA. 1998
...
inria-00073352v1  Rapport
Sylvain Lelait, Guang R. Gao, Christine Eisenbeis. A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops
[Research Report] RR-3337, INRIA. 1998
...
inria-00073334v1  Rapport
Scott Thibault, Charles Consel, Gilles Muller. Safe and Efficient Active Network Programming
[Research Report] RR-3355, INRIA. 1998
...
inria-00073103v1  Rapport
Lars Raeder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller. Java Bytecode Compression for Embedded Systems
[Research Report] RR-3578, INRIA. 1998
...
inria-00073343v1  Rapport
François Bodin, Zbigniew Chamski, Christine Eisenbeis, Erven Rohou, André Seznec. GCDS: A Compiler Strategy for Trading Code Size Against Performance in Embedded Applications
[Research Report] RR-3346, INRIA. 1998
...
inria-00073469v1  Rapport
Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu et al.  Fast, Optimized Sun RPC Using Automatic Program Specialization
[Research Report] RR-3220, INRIA. 1997
...
inria-00073470v1  Rapport
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet. Scaling up Partial Evaluation for Optimizing The Sun Commercial RPC Protocol
[Research Report] RR-3219, INRIA. 1997
...
inria-00073472v1  Rapport
Renaud Marlet, Scott Thibault, Charles Consel. Mapping Software Architectures to Efficient Implementations via Partial Evaluation
[Research Report] RR-3217, INRIA. 1997
...
inria-00073471v1  Rapport
Scott Thibault, Renaud Marlet, Charles Consel. A Domain-Specific Language for Video Device Drivers: from Design to Implementation
[Research Report] RR-3218, INRIA. 1997
...
inria-00073572v1  Rapport
Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan. Declarative Specialization of Object-Oriented Programs
[Research Report] RR-3118, INRIA. 1997
...
inria-00073102v1  Rapport
Ulrik Pagh Schultz, Julia Lawall, Charles Consel, Gilles Muller. Towards Automatic Specialization of Java Programs
[Research Report] RR-3579, INRIA. 1998
...
inria-00073111v1  Rapport
Philippe Jacquet, Nikita Vvedenskaya. ON/OFF Sources in an Interconnection Network: Performance Analysis when Packets are Routed to the Shortest Queue of two Randomly Selected Nodes
[Research Report] RR-3570, INRIA. 1998
...
inria-00073110v1  Rapport
Philippe Jacquet. Left Pattern Matching Predictor is Optimal Over Bernoulli Source Models
[Research Report] RR-3571, INRIA. 1998
...
inria-00073097v1  Rapport
Laurent Viennot. Complexity Results on Election of Multipoint Relays in Wireless Networks
[Research Report] RR-3584, INRIA. 1998
...
inria-00073092v1  Rapport
Scott Thibault, Laurent Bercot, Charles Consel, Renaud Marlet, Gilles Muller et al.  Experiments in Program Compilation by Interpreter Specialization
[Research Report] RR-3588, INRIA. 1998
...
inria-00073168v1  Rapport
Philippe Jacquet. Long Term Dependences and Heavy Tails in Traffics and Queues Generated by Memoriless on/off Sources in Series
[Research Report] RR-3516, INRIA. 1998
...
inria-00073233v1  Rapport
Georges Gyory. Animated Image Compression in CATSERVER - Preliminary Description
[Research Report] RR-3457, INRIA. 1998
...
inria-00073253v1  Rapport
Julia Lawall. Faster Fourier Transforms via Automatic Program Specialization
[Research Report] RR-3437, INRIA. 1998
hal-00772676v1  Communication dans un congrès
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
FOSSACS, Mar 2009, York, United Kingdom. pp.440-455, 2009
...
hal-00772771v1  Communication dans un congrès
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl. Realizability of Concurrent Recursive Programs
de Alfaro, Luca. Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), 2009, York, UK, United Kingdom. Springer, 5504, pp.410-424, 2009, <10.1007/978-3-642-00596-1_29>
hal-00772665v1  Chapitre d'ouvrage
Paul Gastin, Madhavan Mukund, K. Narayan Kumar. Reachability and boundedness in time-constrained MSC graphs
Lodaya, Kamal and Mukund, Madhavan and Ramanujam, R. Perspectives in Concurrency Theory, Universities Press, pp.157-183, 2009
hal-00772667v1  Communication dans un congrès
Paul Gastin, Nathalie Sznajder, Thomas Chatain. Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
Nielsen, Mogens and Ku\v cera, Antonín and Bro Miltersen, Peter and Palamidessi, Catuscia and T\ruma, Petr and Valencia, Franck. Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Jan 2009, Mlýn, Czech Republic. Springer, 5404, pp.141-152, 2009, <10.1007/978-3-540-95891-8_16>
hal-00772679v1  Communication dans un congrès
Paul Gastin, Benedikt Bollig. Weighted versus Probabilistic Logics
Diekert, Volker and Nowotka, Dirk. Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09), 2009, Stuttgart, Germany, Germany. Springer, 5583, pp.18-38, 2009, <10.1007/978-3-642-02737-6_2>
hal-00772637v1  Communication dans un congrès
Thomas Chatain, Alexandre David, Kim Guldstrand Larsen. Playing Games with Timed Games
Giua, Alessandro and Silva, Manuel and Zaytoon, Janan. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Sep 2009, Zaragoza, Spain, Spain. 2009

Contact


archive-ouverte@inria.fr