Sciweavers

22 search results - page 2 / 5
» emsoft 2009
Sort
View
EMSOFT
2009
Springer
15 years 4 months ago
On relational interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger,...
EMSOFT
2009
Springer
15 years 4 months ago
Modal interfaces: unifying interface automata and modal specifications
Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...
73
Voted
EMSOFT
2009
Springer
15 years 4 months ago
An effective synchronization approach for fast and accurate multi-core instruction-set simulation
Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-S...
EMSOFT
2009
Springer
15 years 4 months ago
Disk schedulers for solid state drivers
Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, ...
EMSOFT
2009
Springer
15 years 4 months ago
Markov decision process (MDP) framework for optimizing software on mobile phones
Tang Lung Cheung, Kari Okamoto, Frank Maker III, X...