12334 search results - page 30 / 2467 » The Use of C |
ISLPED
1997
ACM
14 years 2 months ago
1997
ACM
CIBCB
2009
IEEE
13 years 11 months ago
2009
IEEE
CORR
2004
Springer
13 years 9 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...
AMAST
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...