490 search results - page 51 / 98 » Practical Extensions to the IFDS Algorithm |
ISORC
2006
IEEE
14 years 2 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
CONCUR
2007
Springer
14 years 25 days ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
PAMI
2006
13 years 8 months ago
2006
Video stabilization is an important video enhancement technology which aims at removing annoying shaky motion from videos. We propose a practical and robust approach of video stabi...
TC
2008
13 years 8 months ago
2008
Proper data placement schemes based on erasure correcting code are one of the most important components for a highly available data storage system. For such schemes, low decoding ...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— The capacity problem in wireless mesh networks can be alleviated by equipping the mesh routers with multiple radios tuned to non-overlapping channels. However, channel assignme...