352 search results - page 39 / 71 » Evaluating the imprecision of static analysis |
128
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
160
Voted
WWW
2011
ACM
14 years 9 months ago
2011
ACM
Computing the degree of semantic relatedness of words is a key functionality of many language applications such as search, clustering, and disambiguation. Previous approaches to c...
114
click to vote
PEWASUN
2006
ACM
15 years 8 months ago
2006
ACM
Many previous papers have pointed out that TCP performance in multi-hop ad hoc networks is not optimal. This is due to several TCP design principles that reflect the characteristi...
135
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
152
click to vote
WISEC
2010
ACM
15 years 6 months ago
2010
ACM
Key management in wireless sensor networks does not only face typical, but also several new challenges. The scale, resource limitations, and new threats such as node capture and c...