526 search results - page 77 / 106 » Towards the Verifying Compiler |
ECOOP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
To learn the preferential visual attention given by humans to specific image content, we present NUSEF- an eye fixation database compiled from a pool of 758 images and 75 subjects....
DIGITALCITIES
2000
Springer
14 years 2 months ago
2000
Springer
The purpose of this study is to apply digital city concept for the development of a pictogram system for natural disaster reduction. Long lasting and tangible achievement of IDNDR ...
EUROMICRO
1998
IEEE
14 years 1 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
ISHPC
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...