2632 search results - page 397 / 527 » Alternating Timed Automata |
104
click to vote
IEAAIE
2001
Springer
15 years 6 months ago
2001
Springer
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
108
click to vote
SSD
2001
Springer
15 years 6 months ago
2001
Springer
The need to access spatial data at multiple levels of detail is a fundamental requirement of many applications of geographical information, yet conventional spatial database access...
WABI
2001
Springer
15 years 6 months ago
2001
Springer
There are very few instances in which positive Darwinian selection has been convincingly demonstrated at the molecular level. In this study, we present a novel test for detecting p...
110
click to vote
HPCA
2000
IEEE
15 years 6 months ago
2000
IEEE
Memorylatency isbecominganincreasingly importantperformance bottleneck, especially in multiprocessors. One technique for tolerating memory latency is multithreading, whereby we sw...
103
click to vote
IEEEPACT
2000
IEEE
15 years 6 months ago
2000
IEEE
Recent research suggests that DSM clusters can benefit from parallel coherence controllers. Parallel controllers require address partitioning and synchronization to avoid handlin...