4770 search results - page 918 / 954 » Flexible Type Analysis |
108
click to vote
HT
1987
ACM
15 years 3 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
NSDI
2007
15 years 2 months ago
2007
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...
127
click to vote
OSDI
2008
ACM
15 years 2 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
125
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...
106
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...