Sciweavers

1626 search results - page 223 / 326
» Subtyping with Power Types
Sort
View
CF
2006
ACM
15 years 10 months ago
A nano-scale reconfigurable mesh with spin waves
In this paper, we present a nano-scale reconfigurable mesh that is interconnected with ferromagnetic spin-wave buses. The architecture described here, while requiring the same num...
Mary Mehrnoosh Eshaghian-Wilner, Alexander Khitun,...
IMC
2006
ACM
15 years 10 months ago
binpac: a yacc for writing application protocol parsers
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
Ruoming Pang, Vern Paxson, Robin Sommer, Larry L. ...
PPOPP
2006
ACM
15 years 10 months ago
Programming for parallelism and locality with hierarchically tiled arrays
Tiling has proven to be an effective mechanism to develop high performance implementations of algorithms. Tiling can be used to organize computations so that communication costs i...
Ganesh Bikshandi, Jia Guo, Daniel Hoeflinger, Gheo...
W4A
2006
ACM
15 years 10 months ago
Designing beneath the surface of the web
At its most basic, the web allows for two modes of access: visual and non-visual. For the most part, our design attention is focused on making decisions that affect the visual, or...
Sarah Horton
ACSAC
2005
IEEE
15 years 10 months ago
Lessons Learned: A Security Analysis of the Internet Chess Club
The Internet Chess Club (ICC) is a popular online chess server with more than 30,000 members worldwide including various celebrities and the best chess players in the world. Altho...
John Black, Martin Cochran, Martin Ryan Gardner