2632 search results - page 334 / 527 » Alternating Timed Automata |
107
click to vote
ISCAS
2002
IEEE
15 years 6 months ago
2002
IEEE
As the complexity of embedded systems grows rapidly, it is common to accelerate critical tasks with hardware. Designers usually use off-the-shelf components or licensed IP cores t...
129
click to vote
TIME
2002
IEEE
15 years 6 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Event-triggered and self-triggered control have recently been proposed as an alternative to periodic implementations of feedback control laws over sensor/actuator networks. In ...
112
click to vote
IV
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes an ongoing project with the goal of designing and implementing a method to evaluate visualizations based on the tasks supported. The method evaluates time to ...
118
click to vote
SP
2000
IEEE
15 years 6 months ago
2000
IEEE
Nested certification is a methodology for efficient certificate path verification. Nested certificates can be used together with classical certificates in the Public Key Infrastru...