Sciweavers

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