2943 search results - page 401 / 589 » Software Implementation of Synchronous Programs |
139
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
136
click to vote
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
118
Voted
ISCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Current techniques for prefetching linked data structures (LDS) exploit the work available in one loop iteration or recursive call to overlap pointer chasing latency. Jumppointers...
106
click to vote
MM
1997
ACM
15 years 6 months ago
1997
ACM
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
140
Voted
ITC
1996
IEEE
15 years 6 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...