3979 search results - page 706 / 796 » Wild control operators |
176
click to vote
USENIX
2007
15 years 8 months ago
2007
Memory state can be corrupted by the impact of particles causing single-event upsets (SEUs). Understanding and dealing with these soft (or transient) errors is important for syste...
161
click to vote
USENIX
2008
15 years 8 months ago
2008
Conventional prefetching schemes regard prediction accuracy as important because useless data prefetched by a faulty prediction may pollute the cache. If prefetching requires cons...
176
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
High-speed organizational networks running over leased fiber-optic lines or VPNs suffer from the well-known limitations of TCP over long-fat pipes. High-performance protocols like...
185
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
137
click to vote
IMC
2007
ACM
15 years 7 months ago
2007
ACM
Testbeds composed of end hosts deployed across the Internet enable researchers to simultaneously conduct a wide variety of experiments. Active measurement studies of Internet path...