Sciweavers

22 search results - page 2 / 5
» emsoft 2009
Sort
View
EMSOFT
2009
Springer
15 years 11 months ago
On relational interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger,...
EMSOFT
2009
Springer
15 years 11 months ago
Modal interfaces: unifying interface automata and modal specifications
Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...
131
Voted
EMSOFT
2009
Springer
15 years 11 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 11 months ago
Disk schedulers for solid state drivers
Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, ...
EMSOFT
2009
Springer
15 years 11 months ago
Markov decision process (MDP) framework for optimizing software on mobile phones
Tang Lung Cheung, Kari Okamoto, Frank Maker III, X...