9049 search results - page 119 / 1810 » The New C Standard |
163
click to vote
MSE
2005
IEEE
15 years 12 months ago
2005
IEEE
The reusing of Intellectual Property cores has been an alternative to the increasing gap between design productivity and chip complexity of emerging System-on-chip (SoC) designs. ...
157
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
163
click to vote
GBRPR
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we explore how a spectral technique suggested by quantum walks can be used to distinguish non-isomorphic cospectral graphs. Reviewing ideas from the field of quantum...
178
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
As the technology is shrinking and the working frequency is going into multi gigahertz range, the issues related to interconnect testing are becoming more dominant. Specifically,...
184
click to vote
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a multi-resolution space carving algorithm that reconstructs a 3D model of visual scene photographed by a calibrated digital camera placed at multiple viewpoints. Our a...