3643 search results - page 688 / 729 » System Architecture for Software Peripherals |
CIKM
1999
Springer
14 years 28 days ago
1999
Springer
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...
GLVLSI
1998
IEEE
14 years 27 days ago
1998
IEEE
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...
EUROCRYPT
1997
Springer
14 years 24 days ago
1997
Springer
The UK government is fielding an architecture for secure electronic mail based on the NSA’s Message Security Protocol, with a key escrow scheme inspired by Diffie-Hellman. Attem...
ICS
1989
Tsinghua U.
14 years 21 days ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
CCS
2009
ACM
14 years 19 days ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...