8. EMSOFT 2008: Atlanta, GA, USA

Refine list

showing all ?? records

Abstraction and verification

Flash memory

Modeling, interfaces, and simulation

Power

Scheduling

Static techniques

Testing

Virtual machines, compilers, memory management