4029 search results - page 405 / 806 » Reconfigurable Systems in Education |
162
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This is an example of C++ code of Clifford algebra calculations with the GiNaC computer algebra system. This code makes both symbolic and numeric computations. It was used to produ...
174
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Free and open source software is more and more used for software developments on UNIX systems. We are proposing a solution to control the deployment of free software in the context...
155
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We want to achieve efficiency for the exact computation of the dot product of two vectors over word size finite fields. We therefore compare the practical behaviors of a wide range...
161
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
225
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We consider transmitting a source across a pair of independent, nonergodic channels with random states (e.g., slow-fading channels) so as to minimize the average distortion. The ge...