366 search results - page 17 / 74 » Four equivalent equivalences of reductions |
ICCAD
2005
IEEE
14 years 7 months ago
2005
IEEE
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
ANTS
2000
Springer
14 years 3 months ago
2000
Springer
This paper analyzes reduction of fractional ideals in a purely cubic function field of unit rank one. The algorithm is used for generating all the reduced principal fractional ide...
LICS
1994
IEEE
14 years 3 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
FSTTCS
1998
Springer
14 years 3 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...