6978 search results - page 1176 / 1396 » On Proofs in System P |
182
click to vote
AGENTS
1998
Springer
15 years 11 months ago
1998
Springer
The World-Wide Web is developing very fast. Currently, nding useful information on the Web is a time consuming process. In this paper, we present WebMate, an agent that helps user...
167
click to vote
DFT
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...
172
Voted
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
The SB-PRAM is a massively parallel, uniform memory access (UMA) shared memory computer. The main ideas of the design are multithreading on instruction level, hashing of the addre...
196
click to vote
HPCA
1996
IEEE
15 years 10 months ago
1996
IEEE
We have investigated the register file requirements of dynamically scheduled processors using register renaming and dispatch queues running the SPEC92 benchmarks. We looked at pro...
170
click to vote
HPCA
1996
IEEE
15 years 10 months ago
1996
IEEE
Networks of workstations and high-performance microcomputers have been rarely used for running highperformance applicationslike multimedia, simulations,scientific and engineering ...