22 search results - page 1 / 5 » Introduction to the GiNaC Framework for Symbolic Computation... |
JSC
2002
13 years 5 months ago
2002
SPIN
2001
Springer
13 years 9 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
LCPC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
ENTCS
2006
13 years 5 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...