305 search results - page 58 / 61 » From Sets to Bits in Coq |
159
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— The influence of interconnects on processor performance and cost is becoming increasingly pronounced with technology scaling. In this paper, we present a fast compression sche...
169
click to vote
SMA
2009
ACM
16 years 17 days ago
2009
ACM
The Corner Table (CT) promoted by Rossignac et al. provides a simple and efficient representation of triangle meshes, storing 6 integer references per triangle (3 vertex reference...
168
Voted
PAM
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Tracing traffic using commodity hardware in contemporary highspeed access or aggregation networks such as 10-Gigabit Ethernet is an increasingly common yet challenging t...
154
click to vote
STACS
2007
Springer
16 years 5 days ago
2007
Springer
We consider the problem of maintaining aggregates over recent elements of a massive data stream. Motivated by applications involving network data, we consider asynchronous data str...
157
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
By studying the behavior of programs in the SPECint95 suite we observed that six out of eight programs exhibit a new kind of value locality, the frequent value locality, according...