535 search results - page 27 / 107 » Termination of Abstract Reduction Systems |
240
Voted
VLSI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
136
Voted
MFCS
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...
126
Voted
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
131
Voted
AMAST
2006
Springer
15 years 7 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...
127
Voted
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...