7892 search results - page 111 / 1579 » Programming with Models |
214
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
130
Voted
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
119
click to vote
EOR
2006
15 years 2 months ago
2006
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...
100
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
WSC
2004
15 years 3 months ago
2004
This paper presents a research project being developed at the Industrial and Systems Engineering Graduate Program at the Catholic University of Paran