7103 search results - page 1191 / 1421 » Components and Generative Programming |
159
click to vote
BIBM
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
148
Voted
NDSS
2007
IEEE
16 years 21 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
165
click to vote
ESOP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
161
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
In recent years, several approaches have been proposed to use profile information in compiler optimization. This profile information can be used at the source level to guide loo...
217
click to vote
ACL2
2006
ACM
16 years 12 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...