Sciweavers

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