7121 search results - page 1348 / 1425 » Functions as Session-Typed Processes |
113
click to vote
ASPLOS
2000
ACM
15 years 7 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
127
Voted
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
Adaptively Sampled Distance Fields (ADFs) are a unifying representation of shape that integrate numerous concepts in computer graphics including the representation of geometry and...
120
Voted
SIGMOD
2000
ACM
15 years 7 months ago
2000
ACM
This paper proposes a scheme for scheduling disk requests that takes advantage of the ability of high-level functions to operate directly at individual disk drives. We show that s...
132
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
116
click to vote
CHI
1999
ACM
15 years 6 months ago
1999
ACM
The past decades have seen huge improvements in computer systems but these have proved difficult to translate into comparable improvements in the usability and social integration)...