16159 search results - page 2979 / 3232 » Parallel computing with CUDA |
135
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
104
Voted
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
99
Voted
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
137
click to vote
DAMON
2007
Springer
15 years 8 months ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
108
Voted
DAMON
2007
Springer
15 years 8 months ago
2007
Springer
Recently, graphics processing units, or GPUs, have become a viable alternative as commodity, parallel hardware for generalpurpose computing, due to their massive data-parallelism,...