718 search results - page 73 / 144 » Extraction of Structured Programs from Specification Proofs |
130
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
Traditionally, combinatorial optimization problems (such as maximum flow, maximum matching, etc.) have been studied for networks where each link has a fixed capacity. Recent resear...
143
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: The program InDeVal was originally developed to help researchers find known regions of insertion/deletion activity (with the exception of isolated single-base indels) ...
118
click to vote
DIAGRAMS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
115
Voted
CC
2007
Springer
15 years 8 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
129
click to vote
LISP
2008
15 years 2 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...