7393 search results - page 1065 / 1479 » Synthesis-for-testability using transformations |
139
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
151
Voted
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Aspect-oriented programming (AOP) eases the development of profilers, debuggers, and reverse engineering tools. Such tools frequently rely on calling context information. However,...
147
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
164
click to vote
ACISP
2006
Springer
15 years 8 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...
158
click to vote
DAWAK
2006
Springer
15 years 8 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...