3792 search results - page 661 / 759 » Techniques for Trusted Software Engineering |
121
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
105
Voted
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
Body-area sensor network or BAN-based health monitoring is increasingly becoming a popular alternative to traditional wired bio-monitoring techniques. However, most biomonitoring ...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
105
click to vote
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
108
click to vote
PROMISE
2010
14 years 7 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...