Remote specialization for efficient embedded operating systems

S. Bhatia Charles Consel 1 Calton Pu 2
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Type de document :
Article dans une revue
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2008, 30 (22)
Liste complète des métadonnées

https://hal.inria.fr/inria-00412500
Contributeur : Nicolas Loriant <>
Soumis le : mardi 1 septembre 2009 - 17:40:23
Dernière modification le : jeudi 10 septembre 2015 - 01:08:03

Identifiants

  • HAL Id : inria-00412500, version 1

Collections

Citation

S. Bhatia, Charles Consel, Calton Pu. Remote specialization for efficient embedded operating systems. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2008, 30 (22). 〈inria-00412500〉

Partager

Métriques

Consultations de la notice

173