1145 search results - page 95 / 229 » The Correctness of an Optimized Code Generation |
129
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Microencapsulated electrophoretic displays (EPDs) are quickly emerging as an important technology for use in battery-powered portable computing devices. Thanks to bistability and ...
146
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
Instruction set extensions (ISEs) can accelerate embedded processor performance. Many algorithms for ISE generation have shown good potential; some of them have recently been expa...
176
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
150
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
135
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper we present a novel interactive method and interface techniques for controlling the behavior of physically-based simulation of deformable objects. The goal of our r...