xTune: A Formal Methodology for Cross-layer Tuning
of Mobile Real-time Embedded Systems
[Home] [People] [News] [Publications] [Sponsors] [Links]
Maude: a high-performance reflective language and system
Forge: a framework for optimization of distributed embedded systems software
SATWARE: a middleware for sentient spaces