1222 search results - page 161 / 245 » Verifying a File System Implementation |
128
Voted
VL
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper proposes a novel user interface to manage the dynamic layout of multimedia objects in the Multimedia Bulletin Board (MBB) system. The MBB has been designed and implemen...
119
click to vote
VLDB
1994
ACM
15 years 6 months ago
1994
ACM
Advanced technical applications like routing systems or electrical network managementsystems introduce the need for complex manipulations of large size graphs. Efficiently support...
131
click to vote
CCGRID
2004
IEEE
15 years 6 months ago
2004
IEEE
We describe design and implementation of a "Gridenabled" message passing library, in the context of Phoenix message passing model. It supports (1) message routing betwee...
159
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
150
Voted
USENIX
2008
15 years 4 months ago
2008
A common approach to benchmarking a server is to measure its behavior under load from a workload generator. Often a set of such experiments is required-perhaps with different serv...