16159 search results - page 2591 / 3232 » Parallel computing with CUDA |
171
click to vote
CONCUR
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
182
click to vote
ECUMN
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We introduce a user-empowered UDP packet reflector to create virtual multicasting environments as an overlay on top of current unicast networks. The end-users’ ability...
188
click to vote
EUROPAR
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
185
click to vote
EUROPAR
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
207
click to vote
EUROPAR
2004
Springer
16 years 16 days ago
2004
Springer
In hot-potato (deflection) routing, nodes in the network have no buffers for packets in transit, so that some conflicting packets must be deflected away from their destination...