Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

48 résultats

Automatic Program Specialization for Java

U.P. Schultz , J.L. Lawall , Charles Consel
ACM Transactions on Programming Languages and Systems (TOPLAS), 2003, 25 (4), pp.452--499
Article dans une revue inria-00475682v1
Image document

Adapting Distributed Applications Using Extensible Networks

Scott Thibault , Jérôme Marant , Gilles Muller
[Research Report] RR-3484, INRIA. 1998
Rapport inria-00073204v1
Image document

Mapping Software Architectures to Efficient Implementations via Partial Evaluation

Renaud Marlet , Scott Thibault , Charles Consel
[Research Report] RR-3217, INRIA. 1997
Rapport inria-00073472v1
Image document

The Devil Language

Laurent Réveillère , Fabrice Mérillon , Charles Consel , Renaud Marlet , Gilles Muller
[Research Report] RT-0244, INRIA. 2000, pp.29
Rapport inria-00069929v1

Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization

A.-F. Le Meur , J.L. Lawall , Charles Consel
Higher-Order and Symbolic Computation, 2004, 17 (1), pp.47--92
Article dans une revue inria-00475679v1

An Environment for Building Customizable Software Components

A.-F. Le Meur , Charles Consel , B. Escrig
IFIP/ACM Conference on Component Deployment, Jun 2002, Berlin, Germany. pp.1--14
Communication dans un congrès inria-00475715v1
Image document

Towards Automatic Specialization of Java Programs

Ulrik Pagh Schultz , Julia L. Lawall , Charles Consel , Gilles Muller
[Research Report] RR-3579, INRIA. 1998
Rapport inria-00073102v1
Image document

Faster Run-time Specialized Code using Data Specialization

Julia L. Lawall , Gilles Muller
[Research Report] RR-3833, INRIA. 1999
Rapport inria-00072824v1
Image document

Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages

Fabrice Mérillon , Laurent Réveillère , Charles Consel , Robin Hansen , Renaud Marlet , et al.
[Research Report] RR-3809, INRIA. 1999
Rapport inria-00072849v1
Image document

Towards robust OSes for appliances: A new approach based on Domain-Specific Languages

Gilles Muller , Charles Consel , Renaud Marlet , L. P. Barreto , Fabrice Mérillon , et al.
SIGOPS European Workshop, 2000, France
Communication dans un congrès hal-00350228v1

Efficient Incremental Run-Time Specialization for Free

Renaud Marlet , Charles Consel , P. Boinot
Proceedings of the ACM SIGPLAN'99 Conference on Programming Language Design and Implementation (PLDI'99), May 1999, Atlanta, GA, United States. pp.281--292
Communication dans un congrès inria-00476067v1
Image document

Spidle: A DSL approach to specifying streaming application

Charles Consel , Hedi Hamdi , Laurent Réveillère , Lenin Singaravelu , Haiyan Yu , et al.
International Conference on Generative Programming and Component Engineering, 2003, Germany. pp.1-17
Communication dans un congrès hal-00350193v1

Architecturing software using a methodology for language development

Charles Consel , Renaud Marlet
Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, Sep 1998, Pisa, Italy. pp.170--194
Communication dans un congrès inria-00476073v1

Combining Program and Data Specialization

S. Chirokoff , Charles Consel , Renaud Marlet
Higher-Order and Symbolic Computation, 1999, 12 (4), pp.309--335
Article dans une revue inria-00475689v1
Image document

Towards Robust OSes for Appliances : A New Approach Based on Domain-Specific Languages

Gilles Muller , Charles Consel , Renaud Marlet , Luciano Porto Barreto , Fabrice Mérillon , et al.
[Research Report] RR-3943, INRIA. 2000
Rapport inria-00072707v1
Image document

Specialization Patterns

Ulrik Pagh Schultz , Julia L. Lawall , Charles Consel
[Research Report] RR-3853, INRIA. 1999
Rapport inria-00072803v1
Image document

Efficient Incremental Checkpointing of Java Programs

Julia L. Lawall , Gilles Muller
[Research Report] RR-3810, INRIA. 1999
Rapport inria-00072848v1
Image document

Safe and Efficient Active Network Programming

Scott Thibault , Charles Consel , Gilles Muller
[Research Report] RR-3355, INRIA. 1998
Rapport inria-00073334v1
Image document

Dealing with Hardware in Embedded Software: A Retargetable Framework Based on the Devil Language

Fabrice Mérillon , Gilles Muller
[Research Report] RR-4187, INRIA. 2001
Rapport inria-00072436v1

Specialization Tools and Techniques for Systematic Optimization of System Software

Dylan Mcnamee , Jonathan Walpole , Calton Pu , Crispin Cowan , Charles Krasic , et al.
ACM Transactions on Computer Systems, 2001, 19, pp.217--251
Article dans une revue hal-00444034v1
Image document

Improving Driver Robustness: an Evaluation of the Devil Approach

Laurent Réveillère , Gilles Muller
The International Conference on Dependable Systems and Networks, Jul 2001, Göteborg, Sweden, Sweden. pp.131--140
Communication dans un congrès hal-00350218v2

A Tour of Tempo: A Program Specializer for the C Language

Charles Consel , J.L. Lawall , A.-F. Le Meur
Science of Computer Programming, 2004
Article dans une revue inria-00475667v1
Image document

Generative Programming from a Domain-Specific Language Viewpoint

Charles Consel
Unconventional Programming Paradigms, Sep 2004, Mont Saint Michel, France
Communication dans un congrès inria-00475707v1

Efficient Implementations of Software Architectures via Partial Evaluation

Renaud Marlet , S. Thibault , Charles Consel
Automated Software Engineering, 1999, 6 (4), pp.411--440
Article dans une revue inria-00475691v1
Image document

Towards Bridging the Gap Between Programming Languages and Partial Evaluation

A.-F. Le Meur , J.L. Lawall , Charles Consel
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Jan 2002, Portland, OR, United States. pp.9--18
Communication dans un congrès inria-00476047v1
Image document

Bossa: A DSL Framework for Application-specific Scheduling Policies

Luciano Porto Barreto , Gilles Muller
[Research Report] RR-4191, INRIA. 2001
Rapport inria-00072431v1
Image document

Improving Driver Robustness : an Evaluation of the Devil Approach

Laurent Réveillère , Gilles Muller
[Research Report] RR-4136, INRIA. 2001
Rapport inria-00072490v1
Image document

Devil : An IDL for Hardware Programming

Fabrice Mérillon , Laurent Réveillère , Charles Consel , Renaud Marlet , Gilles Muller
[Research Report] RR-3977, INRIA. 2000
Rapport inria-00072670v1
Image document

Experiments in Program Compilation by Interpreter Specialization

Scott Thibault , Laurent Bercot , Charles Consel , Renaud Marlet , Gilles Muller , et al.
[Research Report] RR-3588, INRIA. 1998
Rapport inria-00073092v1
Image document

Fast, Optimized Sun RPC Using Automatic Program Specialization

Gilles Muller , Renaud Marlet , Eugen-Nicolae Volanschi , Charles Consel , Calton Pu , et al.
[Research Report] RR-3220, INRIA. 1997
Rapport inria-00073469v1