7103 search results - page 910 / 1421 » Program Generation and Components |
186
click to vote
ACSAC
2004
IEEE
15 years 10 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...
165
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
189
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: With continuing identification of novel structured noncoding RNAs, there is an increasing need to create schematic diagrams showing the consensus features of these mol...
197
click to vote
NAR
2010
15 years 1 months ago
2010
PDBselect (http://bioinfo.tg.fh-giessen.de/pdb select/) is a list of representative protein chains with low mutual sequence identity selected from the protein data bank (PDB) to e...
271
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...