955 search results - page 170 / 191 » Model Checking Operator Procedures |
115
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
— Recent investigations into the pricing of multiclass loss networks have shown that static prices are optimal in the asymptotic regime of many small sources. These results sugge...
104
Voted
AIME
2003
Springer
15 years 5 months ago
2003
Springer
There is much empirical evidence about the success of naive Bayesian classification (NBC) in medical applications of attribute-based machine learning. NBC assumes conditional inde...
107
click to vote
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
: A novel broadcast technique for wormhole-routed mesh and torus parallel computers based on recursion is presented in this paper. It works by partitioning the graph into several s...
109
Voted
ICRE
1998
IEEE
15 years 4 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...