6155 search results - page 894 / 1231 » A language for multiple models of computation |
163
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
FinFET devices promise to replace traditional MOSFETs because of superior ability in controlling leakage and minimizing short channel effects while delivering a strong drive curre...
173
click to vote
EH
2005
IEEE
16 years 10 days ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
188
click to vote
EUROCRYPT
2004
Springer
16 years 3 days ago
2004
Springer
Denoting by P = [k]G the elliptic-curve double-and-add multiplication of a public base point G by a secret k, we show that allowing an adversary access to the projective representa...
192
click to vote
3DIM
2003
IEEE
16 years 1 days ago
2003
IEEE
Autonomous range acquisition for 3D modeling requires reliable range registration, for both the precise localization of the sensor and combining the data from multiple scans for v...
173
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...