1421 search results - page 150 / 285 » The First and Second Max-SAT Evaluations |
INFOCOM
1999
IEEE
14 years 2 months ago
1999
IEEE
Much work on the performance of Web proxy caching has focused on high-level metrics such as hit rates, but has ignored low-level details such as "cookies," aborted connec...
MICRO
1999
IEEE
14 years 2 months ago
1999
IEEE
Since there is generally insufficient instruction level parallelism within a single basic block, higher performance is achieved by speculatively scheduling operations in superbloc...
ICRE
1998
IEEE
14 years 2 months ago
1998
IEEE
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
As part of its HiPer-D Program, the United States Navy is developing an experimental distributed system which achieves survivability by dynamically reconfiguring the system using ...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. We present two models, namely...