4698 search results - page 515 / 940 » Making Functionality More General |
176
click to vote
PLDI
2003
ACM
16 years 7 hour ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
188
click to vote
SIGCOMM
2003
ACM
16 years 6 hour ago
2003
ACM
Traceroute is widely used to detect routing problems, characterize end-to-end paths, and discover the Internet topology. Providing an accurate list of the Autonomous Systems (ASes...
251
click to vote
ISCA
1997
IEEE
15 years 11 months ago
1997
IEEE
Recent technological advances have produced network interfaces that provide users with very low-latency access to the memory of remote machines. We examine the impact of such netw...
172
click to vote
ISCA
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper makes the case that pin bandwidth will be a critical consideration for future microprocessors. We show that many of the techniques used to tolerate growing memory laten...
183
click to vote
CEAS
2008
Springer
15 years 8 months ago
2008
Springer
We believe this paper is the first extensive user-study of whitelisting email addresses. While whitelists are common in social networking and instant messaging (e.g., buddylists),...