2632 search results - page 334 / 527 » Alternating Timed Automata |
179
click to vote
ISCAS
2002
IEEE
15 years 11 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...
175
click to vote
TIME
2002
IEEE
15 years 11 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] ...
149
click to vote
CDC
2009
IEEE
15 years 11 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 ...
162
click to vote
IV
2000
IEEE
15 years 10 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 ...
173
click to vote
SP
2000
IEEE
15 years 10 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...