2056 search results - page 260 / 412 » time 2000 |
140
click to vote
AAAI
2000
15 years 7 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
154
click to vote
OSDI
2000
ACM
15 years 7 months ago
2000
ACM
In current multiprogrammed multiprocessor systems, to take into account the performance of parallel applications is critical to decide an efficient processor allocation. In this pa...
149
Voted
HPCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Prefetching offers the potential to improve the performance of linked data structure (LDS) traversals. However, previously proposed prefetching methods only work well when there i...
144
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
189
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
An efficient and general graph-theoretic model (the Wavelength-Graph (WG)) has been proposed which enables solving the static Routing and Wavelength Assignment (RWA) problems in Mu...