9842 search results - page 1610 / 1969 » Compositional timing analysis |
141
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
141
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
117
click to vote
ISSRE
2000
IEEE
15 years 9 months ago
2000
IEEE
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
MSS
2000
IEEE
15 years 9 months ago
2000
IEEE
— We examine the primary challenges for building a practical and competitive holographic random access memory (HRAM) system, specifically size, speed, and cost. We show that a fa...
124
click to vote
MSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe a real implementation of a software component that manages caching of files from a tertiary storage management system to a large disk cache developed for use in the a...