14244 search results - page 252 / 2849 » Modeling Program Predictability |
121
click to vote
VL
2003
IEEE
15 years 8 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
107
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
138
click to vote
LANMR
2007
15 years 4 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
138
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
228
click to vote
RECOMB
2011
Springer
14 years 5 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...