Consel, Charles, 1960-....
Consel, Charles
Consel, C. (Charles)
Charles Consel Ph.D. Université Pierre-et-Marie-Curie - Paris VI 1989
VIAF ID: 73404302 ( Personal )
Permalink: http://viaf.org/viaf/73404302
Preferred Forms
- 100 0 _ ‡a Charles Consel ‡c Ph.D. Université Pierre-et-Marie-Curie - Paris VI 1989
-
-
- 100 1 _ ‡a Consel, C. ‡q (Charles)
-
-
-
-
-
- 100 1 _ ‡a Consel, Charles
- 100 1 _ ‡a Consel, Charles, ‡d 1960-....
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Alanguage-based approach for developing network application protocol support. | |
ANALYSE DE PROGRAMMES, EVALUATION PARTIELLE ET GENERATION DE COMPILATEURS | |
Analyses totales de programmes par interprétation abstraite : application au langage C++ | |
Approche déclarative à la spécialisation de programmes C | |
Une approche événementielle pour le développement de services multi-métiers dédiés à l'assistance domiciliaire | |
Approche langage au développement logiciel : application au domaine des services de téléphonie sur IP | |
AN AUTOMATIC APPROACH TO SPECIALIZING SYSTEM COMPONENTS. | |
Automatic program specialization for Java | |
BRIDGING THE GAP BETWEEN FUNCTIONAL AND IMPERATIVE LANGUAGES. | |
Canevas de programmation pour gérer l'hétérogénéité et la consommation d'énergie des mobiles dans un environnement ubiquitaire | |
Compilation de déclarations dans des cadriciels : une méthodologie indépendante du langage. | |
Conception and validation of an assisted living platform for the older adult with finctional decline. | |
Conception et validation d'une assistance numérique domiciliaire pour la personne âgée en perte d'autonomie | |
Design and Experimental Validation of a Technological Assistant for School Inclusion of Children with Autism Spectrum Disorders in Mainstream Classrooms. | |
Design and validation of self-determination support technologies for people with intellectual disabilities.. | |
Development of dependable applications : a design-driven approach. | |
Devil : An IDL for Hardware Programming | |
The Devil language | |
Digital technologies for the school inclusion of children with ASD in middle school : from individual to ecosystemic approaches in supporting the individuals and their caregivers.. | |
Domain-Speci?c Languages for Developing Communication Services. | |
Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers | |
An event-driven approach to developing interdisciplinary services dedicated to aging in place. | |
Experiments in program compilation by interpreter specialization | |
A Framework of application generator design | |
A general approach for run-time specialization and its application to C | |
Generative programming and component engineering : ACM SIGPLAN/SIGSOFT conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings | |
Gestion autonome de la résilience des applications IoT distribuées en bordure de réseau (Fog). | |
GPCE 2002 | |
Infrastructure orientée service pour le développement d'applications ubiquitaires | |
JIT vs offline : Limits and benefits of bytecode compilation | |
LANGAGES DEDIES : CONCEPTION, IMPLEMENTATION ET APPLICATION | |
A language-based approach for software engineering : a case study in telephony over IP service creation. | |
A language-independent methodology for compiling declarations into open platform frameworks | |
L'EVALUATION PARTIELLE POUR LE GENIE LOGICIEL A OBJETS | |
Leveraging software architectures to guide and verify the development of sense–compute–control applications. | |
Managing heterogeneity and energy via high-level programming framework. | |
Mapping software architectures to efficient implementations via partial evaluation | |
Une methodologie dirigée par la conception pour le developpement d’applications d’orchestration à grande echelle. | |
Modeling and verification of functional and non functional requirements of ambient, self adaptative systems | |
Modélisation et vérification des exigences fonctionnelles et non fonctionnelles des systèmes ambiants auto-adaptatifs. | |
Object-oriented technology : ECOOP 2006 workshop reader : ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports | |
Optimistic compiler optimizations for network systems. | |
Partial evaluation and semantics-based program manipulation, c2000: | |
Safe and efficient active network programming | |
STATIC ANALYSES FOR THE EFFECTIVE SPECIALIZATION OF REALISTIC APPLICATIONS. | |
A step-wise approach for integrating QoS throughout software development process. | |
Des technologies numériques pour l'inclusion scolaire des collégiens avec TSA : des approches individuelles aux approches écosystémiques pour soutenir l'individu et ses aidants | |
Test and Validation of Web Services | |
Tool-based methodologies for developing assisted living services. | |
Towards securing pervasive computing systems by design : a language approach. | |
Towards verifiable device drivers : an approach based on domain-specific languages | |
Vers la sécurisation des systèmes d'informatique ubiquitaire par le design : une approche langage | |
VERS UNE CORRESPONDANCE ENTRE LES PARADIGMES FONCTIONNELS ET IMPERATIFS | |
Vers une méthodologie dédiée à l'orchestration d'entités communicantes | |
Virtualisation in HPC context. |