34181 search results - page 294 / 6837 » Computer system |
297
click to vote
Lecture Notes
Driven by recent innovations in Field-Programmable Gate Arrays (FPGAs), reconfigurable computing offers unique ways to accelerate key algorithms. FPGAs offer a programmable logic f...
186
Voted
HCI
2007
15 years 9 months ago
2007
Brain-Computer Interfaces (BCIs) are systems capable of decoding neural activity in real time, thereby allowing a computer application to be directly controlled by the brain. Since...
193
click to vote
DATE
2000
IEEE
15 years 12 months ago
2000
IEEE
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...
197
click to vote
AAECC
2007
Springer
15 years 7 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
209
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...