1744 search results - page 128 / 349 » A Proof-Carrying File System |
108
Voted
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Process variation in future technologies can cause severe performance degradation since different parts of the shared Register File (RF) in VLIW processors may operate at various ...
142
click to vote
SIGECOM
2005
ACM
15 years 9 months ago
2005
ACM
Copyright holders have been investigating technological solutions to prevent distribution of copyrighted materials in peer-to-peer file sharing networks. A particularly popular t...
171
Voted
SC
2004
ACM
15 years 9 months ago
2004
ACM
The file-bundle caching problem arises frequently in scientific applications where jobs process several files concurrently. Consider a host system in a data-grid that maintains...
144
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...
137
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....