4716 search results - page 665 / 944 » Iterative-free program analysis |
169
click to vote
IFM
2009
Springer
16 years 24 days ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
153
click to vote
SERA
2009
Springer
16 years 24 days ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
168
click to vote
ACMSE
2009
ACM
16 years 23 days ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...
175
click to vote
ASPDAC
2009
ACM
16 years 23 days ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
143
click to vote
EICS
2009
ACM
16 years 23 days ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...