774 search results - page 87 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
VL
2010
IEEE
14 years 8 months ago
2010
IEEE
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
ISCA
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper develops and validates an analytical model for evaluating various types of architectural alternatives for shared-memory systems with processors that aggressively exploi...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...
ANSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Accurate failure prediction in Grids is critical for reasoning about QoS guarantees such as job completion time and availability. Statistical methods can be used but they suffer f...
ICN
2005
Springer
15 years 3 months ago
2005
Springer
ESCORT aims at decreasing the energy cost of communication in dense sensor networks. We employ radio frequency (RF) signal quality assessment in forming communities of redundant no...