4139 search results - page 511 / 828 » Designing and Implementing Combinator Languages |
156
click to vote
CDES
2006
15 years 7 months ago
2006
- Error detection plays an important role in fault-tolerant computer systems. Two primary parameters concerned for error detection are the latency and coverage. In this paper, a ne...
168
click to vote
IFIP3
2003
15 years 7 months ago
2003
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
161
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
We present PacketShader, a high-performance software router framework for general packet processing with Graphics Processing Unit (GPU) acceleration. PacketShader exploits the mas...
169
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
183
click to vote
FUNGAMES
2010
15 years 4 months ago
2010
We present the design, implementation and evaluation of a novel pervasive location-aware multiplayer game. In the game teams of players try to score points by conquering the real-...