2286 search results - page 188 / 458 » Algorithms for Categorical Equivalence |
190
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
With advancing semiconductor technology and exponentially growing design complexities, predictability of design tools becomes an important part of a stable top-down design process...
195
click to vote
CSL
2007
Springer
16 years 22 days ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
155
click to vote
TACAS
2005
Springer
16 years 1 days ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
187
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present an optimal and scalable permutation routing algorithm for three reconfigurable models based on linear arrays that allow pipelining of information through an optical bus...
173
click to vote
ECP
1999
Springer
15 years 10 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...