1288 search results - page 191 / 258 » On Analysis of Design Component Contracts: A Case Study |
102
click to vote
ICICS
2010
Springer
14 years 11 months ago
2010
Springer
By now, many voting protocols have been proposed that, among others, are designed to achieve coercion-resistance, i.e., resistance to vote buying and voter coercion. Scantegrity II...
127
click to vote
WSC
2000
15 years 2 months ago
2000
We present a technique for analyzing a simulation metamodel that has been constructed using a variancestabilizing transformation. To compute a valid confidence interval for the ex...
91
Voted
ISCAS
2006
IEEE
15 years 7 months ago
2006
IEEE
— The X-architecture is a new integrated-circuit wiring technique in the physical design. Compared with the currently used M-architecture, which uses either horizontal or vertica...
115
click to vote
HPCC
2009
Springer
15 years 6 months ago
2009
Springer
This paper studies a load scheduling strategy with nearoptimal processing time leveraging the computational characteristics of parallel DNA sequence alignment algorithms, specific...
112
Voted
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Although CMOS feature size scaling has been the source of dramatic performance gains, it has lead to mounting reliability concerns due to increasing power densities and on-chip te...