1288 search results - page 117 / 258 » On Analysis of Design Component Contracts: A Case Study |
119
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
118
click to vote
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
Process variations have become a critical issue in performance verification of high-performance designs. We present a new, statistical timing analysis method that accounts for int...
140
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Graph theory provides a computational framework for modeling a variety of datasets including those emerging from genomics, proteomics, and chemical genetics. Networks ...
121
Voted
UAI
2001
15 years 3 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
185
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...