1855 search results - page 47 / 371 » Composing model programs for analysis |
128
click to vote
MP
2007
15 years 2 months ago
2007
We present a probabilistic analysis of integer linear programs (ILPs). More specifically, we study ILPs in a so-called smoothed analysis in which it is assumed that first an adve...
115
Voted
ICIAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Multi-scale aggregates are composed of particles which results themselves of agglomeration of other primary particles. If particles are modeled by their centers, the geom...
108
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
120
click to vote
SCOPES
2004
Springer
15 years 7 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
123
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...