Sciweavers

3228 search results - page 319 / 646
» Basics of Compiler Design
Sort
View
IEEEHPCS
2010
15 years 5 months ago
3-SAT on CUDA: Towards a massively parallel SAT solver
This work presents the design and implementation of a massively parallel 3-SAT solver, specifically targeting random problem instances. Our approach is deterministic and features ...
Quirin Meyer, Fabian Schonfeld, Marc Stamminger, R...
IJON
2010
127views more  IJON 2010»
15 years 5 months ago
Oscillation in a network model of neocortex
A basic understanding of the relationship between activity of individual neurons and macroscopic electrical activity of local field potentials or electroencephalogram (EEG) may pro...
Jennifer Dwyer, Hyong Lee, Amber Martell, Rick L. ...
SENSYS
2010
ACM
15 years 4 months ago
TinyTune, a collaborative sensor network musical instrument
This paper demonstrates the implementation of TinyTune, a collaborative musical instrument using sensor motes. The system implementation is distributed across multiple nodes and s...
Blake Newman, Joshua Sanders, Riley Hughes, Raja J...
IJNSEC
2010
98views more  IJNSEC 2010»
15 years 1 months ago
A Random Bit Generator Using Chaotic Maps
Chaotic systems have many interesting features such as sensitivity on initial condition and system parameter, ergodicity and mixing properties. In this paper, we exploit these int...
Narendra K. Pareek, Vinod Patidar, Krishan K. Sud
CHI
2011
ACM
14 years 10 months ago
Investigating Phicon feedback in non-visual tangible user interfaces
We investigated ways that users could interact with Phicons in non-visual tabletop tangible user interfaces (TUIs). We carried out a brainstorming and rapid prototyping session wi...
David K. McGookin, Stephen A. Brewster