10038 search results - page 1596 / 2008 » Model Checking for Managers |
174
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an algorithm for simultaneous gate sizing and fanout optimization along the timing-critical paths in a circuit. First, a continuous-variable delay model that ...
172
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
159
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This author has mathematically correlated specific developmentpractices to defect density andprobability of on time delivev. Thispaper summarizes the results of this ongoing study...
141
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
138
click to vote
SIGIR
2000
ACM
15 years 11 months ago
2000
ACM
Abstract This paper investigates whether a machine can automatically learn the task of finding, within a large collection of candidate responses, the answers to questions. The lea...