240 search results - page 37 / 48 » Constrained Partial Deduction |
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Recent work suggests that the human ear varies significantly between different subjects and can be used for identification. In principle, therefore, using ears in addition to the f...
CAISE
2004
Springer
14 years 28 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
GECCO
2004
Springer
14 years 28 days ago
2004
Springer
Inspired by the efficient method of locomotion of the rattlesnake Crotalus cerastes, the objective of this work is automatic design through genetic programming, of the fastest poss...
CGO
2003
IEEE
14 years 25 days ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...