Open AccessFlexible Bindings for Type-Safe Embedded Operating Systems.
Author(s) -
Damien Deville,
Christophe Rippert,
Gilles Grimaud
Publication year - 2004
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , component (thermodynamics) , exploit , embedded system , kernel (algebra) , extensibility , personalization , process (computing) , code generation , generator (circuit theory) , code (set theory) , scheme (mathematics) , distributed computing , operating system , key (lock) , programming language , mathematical analysis , power (physics) , physics , computer security , mathematics , set (abstract data type) , combinatorics , quantum mechanics , world wide web , thermodynamics