1291 search results - page 187 / 259 » Arithmetic program paths |
134
click to vote
FCCM
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract We are developing an integrated algorithm analysis and mapping environment particularly tailored for signal processing applications on Adaptive Computing Systems ACS. Our ...
209
click to vote
CADE
2011
Springer
14 years 21 days ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
119
Voted
HPCA
2009
IEEE
15 years 7 months ago
2009
IEEE
While parallelism and multi-cores are receiving much attention as a major scalability path, customization is another, orthogonal and complementary, scalability path which can targ...
122
click to vote
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...
122
click to vote
WCE
2007
15 years 1 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...