11436 search results - page 179 / 2288 » Modeling Real Reasoning |
132
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
133
click to vote
ICCBR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games...
132
click to vote
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
126
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
115
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...