226 search results - page 13 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
DT
2000
13 years 8 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
AIED
2011
Springer
13 years 6 days ago
2011
Springer
Many Intelligent Tutoring Systems (ITSs) have started to incorporate game-based components in an attempt to improve student engagement during system interactions. iSTART-ME is a ne...
WSC
2004
13 years 10 months ago
2004
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Control dominated embedded systems have to be designed for fast reaction to asynchronous external events occurring in the environment. Such systems must be able to perform signal ...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...