7892 search results - page 111 / 1579 » Programming with Models |
206
click to vote
POPL
2005
ACM
16 years 1 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...
117
click to vote
FORMATS
2009
Springer
15 years 8 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...
105
click to vote
EOR
2006
15 years 1 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 ...
ICLP
2010
Springer
15 years 5 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 2 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