83 search results - page 3 / 17 » Minimization Algorithm for Symbolic Bisimilarity |
ESOP
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper introduces a resource allocation strategy which focuses on minimizing power consumption in Orthogonal Frequency Division Multiplexing(OFDM) systems. In case of multi...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
TCOM
2010
13 years 6 months ago
2010
—We propose an improved minimum mean square error (MMSE) vertical Bell Labs layered space-time (V-BLAST) detection technique, called a soft input, soft output, and soft feedback ...
WIA
2005
Springer
14 years 1 months ago
2005
Springer
There has been several attempts over the years to solve the bisimulation minimization problem for finite automata. One of the most famous algorithms is the one suggested by Paige ...