5330 search results - page 294 / 1066 » The Performability Tool P'ility |
145
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In the robotic-assisted off-pump Coronary Artery Bypass Graft (CABG) surgery, surgeon performs the operation with intelligent robotic instruments controlled through teleoperati...
190
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Emerging heterogeneous multiprocessors will have custom memory and bus architectures that must balance resource sharing and system partitioning to meet cost constraints. We propos...
212
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Implementing real-time video processing systems put high requirements on computation and memory performance. FPGAs have proven to be effective implementation architecture for thes...
232
click to vote
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
154
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...