8874 search results - page 350 / 1775 » A New Implementation of Automath |
157
click to vote
ICT
2004
Springer
16 years 5 days ago
2004
Springer
The Resilient Packet Ring IEEE 802.17 is an evolving standard for the construction of Local and Metropolitan Area Networks. The RPR protocol scales to the demands of future packet ...
170
click to vote
ISPA
2004
Springer
16 years 5 days ago
2004
Springer
We propose a novel alternative to application-level overlays called VIOLIN, or Virtual Internetworking on OverLay INfrastructure. Inspired by recent advances in virtual machines, ...
169
click to vote
WISA
2004
Springer
16 years 4 days ago
2004
Springer
The most common way to implement full-disk encryption (as opposed to encrypted file systems) in the GNU/Linux operating system is using the encrypted loop device, known as CryptoL...
168
click to vote
ARITH
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper we investigate the implementation of basic arithmetic functions, such as addition and multiplication, in Single Electron Tunneling (SET) technology. First, we descri...
173
click to vote
ISCAS
2003
IEEE
16 years 2 days ago
2003
IEEE
Spatial image processing chips, known as silicon retinas, are based on the architecture of vertebrate retina and can be mathematically represented as the Laplacian of Gaussian (LO...