4198 search results - page 528 / 840 » Data Parallel Program Design |
145
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
We present a novel integration of a brain-computer interface (BCI) with a music step sequencer composition program. Previous BCIs that utilize EEG data to form music provide users...
ISPA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In a hybrid peer-to-peer environment, clients can either directly download data from their server, or share data with each other. In order to create incentives for client...
129
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
In the analysis of multidimensional data sets questions involving detection of extremal events, correlations, patterns and trends play an increasingly important role in a variety ...
239
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
129
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...