3750 search results - page 389 / 750 » Code Optimization for Code Compression |
155
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
— The pervasive computing environment and the wide network bandwidth provide users more opportunities to utilize remote computing resources. In this paper, we introduce a highper...
144
click to vote
IEEEPACT
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe the design, generation and compression of the extended whole program path (eWPP) representation that not only captures the control flow history of a program execution...
133
Voted
JUCS
2010
15 years 3 months ago
2010
: Generalized finite automata with weights for states and transitions have been successfully applied to image generation for more than a decade now. Bilevel images (black and whit...
175
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
We present a mobile product recognition system for the camera-phone. By snapping a picture of a product with a camera-phone, the user can retrieve online information of the produc...
134
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...