1222 search results - page 125 / 245 » corr 2008 |
190
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
194
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
190
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In MaxSat, we ask for an assignment which satisfies the maximum number of clauses for a boolean formula in CNF. We present an algorithm yielding a run time upper bound of O (2 K 6....
182
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
162
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The solving of least square systems is a useful operation in neurocomputational modeling of learning, pattern matching, and pattern recognition. In these last two cases, the soluti...