331 search results - page 47 / 67 » HOLCF: Higher Order Logic of Computable Functions |
100
click to vote
ISCA
2000
IEEE
15 years 4 months ago
2000
IEEE
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
109
click to vote
NDSS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
122
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
As device size shrinks to the nanometer range, FPGAs are increasingly prone to manufacturing defects. We anticipate that the ability to tolerate multiple defects will be very impo...
85
Voted
RT
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we present a novel illumination model that takes into account multiple anisotropic scattering in a layer bounded by two rough surfaces. We compute the model by a dis...
165
click to vote
HPCA
2011
IEEE
14 years 4 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have de�...