76 search results - page 6 / 16 » Cartesian Partial-Order Reduction |
ENTCS
2002
13 years 8 months ago
2002
AUSAI
2008
Springer
13 years 10 months ago
2008
Springer
In this paper the notion of a partial-order plan is extended to task-hierarchies. We introduce the concept of a partial-order taskhierarchy that decomposes a problem using multi-ta...
PDCAT
2009
Springer
14 years 3 months ago
2009
Springer
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
FSTTCS
2006
Springer
14 years 2 days ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...