1611 search results - page 204 / 323 » A Library for Self-Adjusting Computation |
153
click to vote
IPPS
2008
IEEE
16 years 21 days ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
152
click to vote
SASP
2008
IEEE
16 years 20 days ago
2008
IEEE
— With the increasing popularity of MP3 audio, there is a need to develop cost and power efficient architectures for the MP3 encoder and decoder. This paper describes dedicated ...
166
click to vote
TPHOL
2008
IEEE
16 years 20 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
178
click to vote
IPPS
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper explores generating efficient, portable HighSpeed Producer Consumer (HSPC) code on current shared memory architectures: Chip Multi-Processors (CMP), Simultaneous Multi...
156
click to vote
CASC
2007
Springer
16 years 14 days ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...