1100 search results - page 71 / 220 » Instrumenting annotated programs |
135
click to vote
SEFM
2008
IEEE
15 years 11 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
147
click to vote
TOOLS
2010
IEEE
15 years 9 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
137
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
144
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: With advances in high-throughput genomics and proteomics, it is challenging for biologists to deal with large data files and to map their data to annotations in public...
137
click to vote
IANDC
2006
15 years 4 months ago
2006
Dynamic Programming solves combinatorial optimization problems by recursive decomposition and tabulation of intermediate results. The first step in the design of a dynamic program...