3792 search results - page 440 / 759 » Techniques for Trusted Software Engineering |
142
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
192
click to vote
CGO
2006
IEEE
16 years 26 days ago
2006
IEEE
Although compile-time optimizations generally improve program performance, degradations caused by individual techniques are to be expected. One promising research direction to ove...
183
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
123
click to vote
UIST
1998
ACM
15 years 11 months ago
1998
ACM
Serial periodic data exhibit both serial and periodic properties. For example, time continues forward serially, but weeks, months, and years are periods that recur. While there ar...
147
click to vote
METRICS
1997
IEEE
15 years 11 months ago
1997
IEEE
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...