8009 search results - page 95 / 1602 » cans 2005 |
140
click to vote
CW
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we propose FVRML—a function-based extension of Virtual Reality Modeling Language which allows for time-dependent shape modeling on the web. Shape’s geometry, 3D ...
132
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we present power emulation, a novel design paradigm that utilizes hardware acceleration for the purpose of fast power estimation. Power emulation is based on the ob...
123
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
116
click to vote
FOCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We initiate the study of two-party cryptographic primitives with unconditional security, assuming that the adversary’s quantum memory is of bounded size. We show that oblivious ...
151
click to vote
FPT
2005
IEEE
15 years 10 months ago
2005
IEEE
Aggressive pipelining allows FPGAs to achieve high throughput on many Digital Signal Processing applications. However, cyclic data dependencies in the computation can limit pipeli...