1830 search results - page 61 / 366 » Workshop on Graph Computation Models |
113
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
125
click to vote
CAISE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
110
click to vote
MEMBRANE
2004
Springer
15 years 7 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
100
click to vote
DCC
2008
IEEE
16 years 1 months ago
2008
IEEE
The name `graph state' is used to describe a certain class of pure quantum state which models a physical structure on which one can perform measurement-based quantum computin...