3814 search results - page 462 / 763 » Operating system support for multimedia systems |
175
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
146
click to vote
FAST
2007
15 years 8 months ago
2007
In this paper, we present Nache, a caching proxy for NFSv4 that enables a consistent cache of a remote NFS server to be maintained and shared across multiple local NFS clients. Na...
198
click to vote
CONEXT
2010
ACM
15 years 4 months ago
2010
ACM
Abstract-- Network management and operations are complicated, tedious, and error-prone, requiring significant human involvement and domain knowledge. As the complexity involved ine...
157
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
Recent efforts to add new services to the Internet have increased interest in software-based routers that are easy to extend and evolve. This paper describes our experiences using...
177
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
We propose a new design for highly concurrent Internet services, which we call the staged event-driven architecture (SEDA). SEDA is intended to support massive concurrency demands...