Sciweavers

13917 search results - page 122 / 2784
» Abstraction of Probabilistic Systems
Sort
View
RTCSA
2009
IEEE
15 years 4 months ago
The Multi Supply Function Abstraction for Multiprocessors
Enrico Bini, Giorgio C. Buttazzo, Marko Bertogna
RTCSA
2008
IEEE
15 years 4 months ago
New Abstraction for Optimal Real-Time Scheduling on Multiprocessors
Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki
QEST
2006
IEEE
15 years 4 months ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker