2994 search results - page 539 / 599 » Time sequences |
EVOW
2001
Springer
14 years 1 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...
SSD
2001
Springer
14 years 1 months ago
2001
Springer
Spatial joins are fundamental in spatial databases. Over the last decade, the primary focus of research has been on joins with the predicate “region intersection.” In modern da...
SIGMETRICS
1996
ACM
14 years 1 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
TIME
1994
IEEE
14 years 1 months ago
1994
IEEE
: In a dynamic, multi-agent environment, an the intelligent agents act as automated pilots automated intelligent agent is often faced with the for the simulated aircraft. These aut...
CAV
1992
Springer
14 years 1 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...