16159 search results - page 2555 / 3232 » Parallel computing with CUDA |
204
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
194
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
185
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
185
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
In this work, a new type of collaborative learning activity is proposed in order to enable students to explore and understand information in highly mobile situations. We call this ...
176
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We investigate the following very simple load-balancing algorithm on the N-cycle (N even) which we call Odd-Even Transposition Balancing (OETB). The edges of the cycle ar...