1781 search results - page 105 / 357 » An Emerging Need for a New Software Engineering Method |
102
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
105
Voted
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
161
Voted
AAIP
2009
15 years 1 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
83
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
109
click to vote
EUROSYS
2011
ACM
14 years 4 months ago
2011
ACM
The high replication cost of Byzantine fault-tolerance (BFT) methods has been a major barrier to their widespread adoption in commercial distributed applications. We present ZZ, a...