1744 search results - page 52 / 349 » A Proof-Carrying File System |
SOSP
2005
ACM
15 years 6 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
111
click to vote
IPTPS
2005
Springer
15 years 3 months ago
2005
Springer
Maze1 is a P2P file-sharing system with an active and large user base. It is developed, deployed and operated by an academic research team. As such, it offers ample opportunities ...
CRIWG
2009
14 years 11 months ago
2009
Intensive research and development has been conducted in the design and creation of groupware systems for distributed users. While for some activities, these groupware tools are wi...
SOSP
2003
ACM
15 years 6 months ago
2003
ACM
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming ...
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
Parallel file systems are widely used in clusters to provide high performance I/O. However, most of the existing parallel file systems are based on UNIX-like operating systems. W...