113 search results - page 15 / 23 » When Simulation Meets Antichains |
PACS
2000
Springer
15 years 1 months ago
2000
Springer
Because the inductive noise Ldi/dt is induced by the power change and can have disastrous impact on the timing and reliability of the system, high-performance CPU designs are more ...
ATAL
1995
Springer
15 years 1 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
133
click to vote
AAAI
1993
14 years 11 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
113
click to vote
JTRES
2010
ACM
14 years 9 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
113
click to vote
HASE
2008
IEEE
14 years 9 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...