634 search results - page 48 / 127 » Modeling Parallel System Workloads with Temporal Locality |
123
click to vote
ICCD
1995
IEEE
15 years 5 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
181
click to vote
ISCA
2011
IEEE
14 years 5 months ago
2011
IEEE
Since 2005, processor designers have increased core counts to exploit Moore’s Law scaling, rather than focusing on single-core performance. The failure of Dennard scaling, to wh...
111
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
104
click to vote
MASCOTS
2004
15 years 2 months ago
2004
A number of new network storage architectures have emerged recently that provide shared, adaptable and high-performance storage systems for dataintensive applications. Three commo...
116
click to vote
CGF
2008
15 years 1 months ago
2008
Algebraic Point Set Surfaces (APSS) define a smooth surface from a set of points using local moving least-squares (MLS) fitting of algebraic spheres. In this paper we first revisi...