1145 search results - page 191 / 229 » The Correctness of an Optimized Code Generation |
115
click to vote
HASKELL
2007
ACM
15 years 3 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
110
click to vote
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Buffer overflow vulnerabilities are caused by programming errors that allow an attacker to cause the program to write beyond the bounds of an allocated memory block to corrupt oth...
NIPS
2004
15 years 1 months ago
2004
Alternative splicing (AS) is an important and frequent step in mammalian gene expression that allows a single gene to specify multiple products, and is crucial for the regulation ...
BMCBI
2008
14 years 12 months ago
2008
Background: Most gene finders score candidate gene models with state-based methods, typically HMMs, by combining local properties (coding potential, splice donor and acceptor patt...
106
click to vote
ISCA
2002
IEEE
14 years 11 months ago
2002
IEEE
Traditional vector architectures have shown to be very effective for regular codes where the compiler can detect data-level parallelism. However, this SIMD parallelism is also pre...