144 search results - page 19 / 29 » Automatic generation of polynomial loop |
141
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
145
Voted
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
150
Voted
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
The recent trend in the processor industry of packing multiple processor cores in a chip has increased the importance of automatic techniques for extracting thread level paralleli...
126
Voted
EH
2005
IEEE
15 years 9 months ago
2005
IEEE
Evolutionary Design has demonstrated great potential to automatically generate a wide array of novel, interesting, and human-competitive designs. Few of these evolved designs, how...
137
Voted
CDES
2008
15 years 5 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...