5159 search results - page 617 / 1032 » Structural Testing of Executables |
206
click to vote
OOPSLA
2010
Springer
15 years 6 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
215
click to vote
RAID
2010
Springer
15 years 6 months ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
222
click to vote
SMC
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract — The natural environments that robotic applications often encounter can present difficult problems for imagebased task execution. Prior efforts have used both grayscale...
192
click to vote
TAOSD
2010
15 years 6 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
203
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
Escaped errors in released silicon are growing in number due to the increasing complexity of modern processor designs and shrinking production schedules. Worsening the problem are ...