3056 search results - page 146 / 612 » Open Implementation Analysis and Design |
134
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
130
click to vote
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
128
Voted
IJACTAICIT
2010
15 years 1 months ago
2010
We have proposed a fault-prone software module detection method using text-filtering approach, called Fault-proneness filtering. Even though the fault-proneness filtering achieved...
125
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
This paper addresses the problem of computational error modeling and analysis. Choosing different word-lengths for each functional unit in hardware implementations of numerical al...
126
click to vote
PEPM
2009
ACM
16 years 24 days ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...