309 search results - page 36 / 62 » A Comparative Revisitation of Some Program Transformation Te... |
DAGSTUHL
1996
13 years 8 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
ICCV
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper presents an e cient shape-based object detection method based on Distance Transforms and describes its use for real-time vision on-board vehicles. The method uses a tem...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The aim of this research is twofold: Firstly, to model and solve a complex nurse scheduling problem with an integer programming formulation and evolutionary algorithms. Secondly, ...
LOPSTR
1998
Springer
13 years 11 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
HPCA
2011
IEEE
12 years 11 months ago
2011
IEEE
― Phase Change Memory (PCM) is one of the most promising technologies among emerging non-volatile memories. PCM stores data in crystalline and amorphous phases of the GST materia...