1604 search results - page 291 / 321 » Development Separation in Lambda-Calculus |
AIPR
2000
IEEE
14 years 2 days ago
2000
IEEE
The advance of technology makes video acquisition devices better and less costly, thereby increasing the number of applications that can effectively utilize digital video. Compare...
MSS
2000
IEEE
14 years 1 days ago
2000
IEEE
The InTENsity PowerWall is a display system used for high-resolution visualization of very large volumetric data sets. The display is linked to two separate computing environments...
MSS
2000
IEEE
14 years 1 days ago
2000
IEEE
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
ASPLOS
2000
ACM
14 years 21 hour ago
2000
ACM
This paper describes the architecture and implementation of the AlphaServer GS320, a cache-coherent non-uniform memory access multiprocessor developed at Compaq. The AlphaServer G...
ASIACRYPT
2000
Springer
14 years 8 hour ago
2000
Springer
We consider a problem which was stated in a request for comments made by NIST in the FIPS97 document. The question is the following: Can we have a digital signature public key infr...