4719 search results - page 831 / 944 » Newtonian program analysis |
130
click to vote
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
135
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. With support for C/C++, Fortran, MPI, OpenMP, and performance tools, the Eclipse integrated development environment (IDE) is a serious contender as a programming environm...
153
click to vote
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
136
click to vote
ASAP
2010
IEEE
15 years 5 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
139
click to vote
AAAI
2010
15 years 5 months ago
2010
Crowd-sourcing is a recent framework in which human intelligence tasks are outsourced to a crowd of unknown people ("workers") as an open call (e.g., on Amazon's Me...