26 search results - page 6 / 6 » Correct-by-Construction Transformations across Design Enviro... |
ASPLOS
2011
ACM
12 years 8 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...