7961 search results - page 259 / 1593 » Input-Output Model Programs |
157
click to vote
ANOR
2006
15 years 6 months ago
2006
To solve a decision problem under uncertainty via stochastic programming means to choose or to build a suitable stochastic programming model taking into account the nature of the r...
138
click to vote
TCS
2010
15 years 5 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
160
click to vote
TSE
2010
15 years 5 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
140
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
162
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...