6111 search results - page 850 / 1223 » Time, Hardware, and Uniformity |
160
click to vote
ISPD
2000
ACM
15 years 11 months ago
2000
ACM
We address the problem of computing critical area for missing material defects in a circuit layout. The extraction of critical area is the main computational problem in VLSI yield...
200
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
191
click to vote
SIGMETRICS
2000
ACM
15 years 11 months ago
2000
ACM
—In this paper, we examine the potential benefits of Web proxy caches in improving the effective capacity of servers and networks. Since networks and servers are typically provis...
173
click to vote
SIGMETRICS
2000
ACM
15 years 11 months ago
2000
ACM
The Lightweight Directory Access Protocol (LDAP) is being used for an increasing number of distributed directory applications. We describe a tool to analyze the performance of LDA...
164
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...