3742 search results - page 553 / 749 » On the Use of Formal Techniques for Validation |
164
click to vote
ICIP
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper deals with the optimization of a new technique of image compression. After the wavelet transform of an image, blocks of coefficients are further linearly decomposed us...
182
click to vote
ICDE
2007
IEEE
16 years 25 days ago
2007
IEEE
With the proliferation of mobile devices (e.g., PDAs, cell phones, etc.), location-based services have become more and more popular in recent years. However, users have to reveal ...
157
click to vote
CSMR
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
191
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
Step caches are caches in which data entered to an cache array is kept valid only until the end of ongoing step of execution. Together with an advanced pipelined multithreaded arc...
163
click to vote
AIPR
2005
IEEE
16 years 4 days ago
2005
IEEE
Medical image fusion is becoming increasingly popular for enhancing diagnostic accuracy by intelligently ‘fusing’ information obtained from two different images. These images ...