4164 search results - page 470 / 833 » Timing model reduction for hierarchical timing analysis |
152
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
181
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
166
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
165
click to vote
GLVLSI
2006
IEEE
16 years 27 days ago
2006
IEEE
Process variations have become a key concern of circuit designers because of their significant, yet hard to predict impact on performance and signal integrity of VLSI circuits. St...
162
click to vote
ISAAC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...