717 search results - page 90 / 144 » Kill-safe synchronization abstractions |
169
click to vote
PROCEDIA
2010
15 years 21 days ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
309
click to vote
NFM
2011
15 years 12 days ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
187
click to vote
ICANN
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Traditional seizure detection algorithms act on single channels ignoring the synchronously recorded, inherently interdependent multichannel nature of EEG. However, the sp...
219
click to vote
ACII
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
199
Voted
CC
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Data-parallel languages like OpenCL and CUDA are an important means to exploit the computational power of today’s computing devices. In this paper, we deal with two asp...