7892 search results - page 185 / 1579 » Programming with Models |
158
click to vote
ASE
1998
15 years 1 months ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
110
click to vote
ENTCS
2010
14 years 11 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
106
click to vote
ISIPTA
2003
IEEE
15 years 6 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
105
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
102
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...