751 search results - page 10 / 151 » Design, Implementation, and Evaluation of Optimizations in a... |
234
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
145
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
124
click to vote
IEEEPACT
2003
IEEE
15 years 7 months ago
2003
IEEE
Graphics and media processing is quickly emerging to become one of the key computing workloads. Programmable graphics processors give designers extra flexibility by running a sma...
151
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
132
Voted
SAMOS
2010
Springer
15 years 5 days ago
2010
Springer
Abstract—Geometric Algebra (GA), a generalization of quaternions, is a very powerful form for intuitively expressing and manipulating complex geometric relationships common to en...