955 search results - page 143 / 191 » Model Checking Operator Procedures |
112
Voted
ISLPED
2010
ACM
15 years 27 days ago
2010
ACM
Estimation of static and dynamic energy of caches is critical for high-performance low-power designs. Commercial CAD tools performing energy estimation statically are not aware of...
96
Voted
VTS
2008
IEEE
15 years 7 months ago
2008
IEEE
Dealing with static and dynamic parameter variations has become a major challenge for design and test. To avoid unnecessary yield loss and to ensure reliable system operation a ro...
101
click to vote
VISUALIZATION
2003
IEEE
15 years 6 months ago
2003
IEEE
Unstructured meshes are often used in simulations and imaging applications. They provide advanced flexibility in modeling abilities but are more difficult to manipulate and anal...
CONEXT
2008
ACM
15 years 2 months ago
2008
ACM
Today, a large body of research exists regarding the correctness of routing protocols. However, many reported global disruptions of Internet connectivity, e.g., inter-AS persisten...
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
One of the fundamental decisions in content networks is how the information about the existing contents is deployed and accessed. In particular, in many content network architectu...