56 search results - page 8 / 12 » Localizing Program Errors via Slicing and Reasoning |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
We present a deterministic approximation algorithm to compute logarithm of the number of `good' truth assignments for a random k-satisfiability (k-SAT) formula in polynomial ...
JTRES
2009
ACM
15 years 4 months ago
2009
ACM
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
BROADNETS
2005
IEEE
15 years 3 months ago
2005
IEEE
— Due to varying wireless channel conditions, the IEEE 802.11 wireless local area network (WLAN) standard supports multiple modulation types to accommodate the tradeoff between d...
52
Voted
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
In progressive joint source-channel coding of images, experiments show that optimizing rate allocation according to PSNR criteria and according to rate criteria produce essentiall...
FUIN
2008
14 years 9 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...