Sciweavers

17082 search results - page 161 / 3417
» Abstractions for Mobile Computation
Sort
View
RTCSA
2009
IEEE
16 years 1 months ago
The Multi Supply Function Abstraction for Multiprocessors
Enrico Bini, Giorgio C. Buttazzo, Marko Bertogna
RTCSA
2008
IEEE
16 years 26 days ago
New Abstraction for Optimal Real-Time Scheduling on Multiprocessors
Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki
ISWC
2005
IEEE
16 years 2 days ago
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...
ASM
2005
ASM
16 years 1 days ago
Tools for System Validation with B Abstract Machines
Michael J. Butler, Michael Leuschel, Colin F. Snoo...