2000 search results - page 324 / 400 » Program Transformation and Proof Transformation |
125
Voted
ILP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
136
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
142
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
149
click to vote
ECLIPSE
2006
ACM
15 years 9 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
116
click to vote
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
Aggressive software speculation holds significant potential, because it enables program transformations to reduce the program’s critical path. Like any form of speculation, how...