11168 search results - page 136 / 2234 » Abstract State Processes |
127
Voted
APCCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper proposes a new expression of frequency transformation for state-space digital filters. The proposed frequency transformation has the property of preserving ...
143
Voted
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
105
click to vote
APPROX
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
150
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption....
140
Voted
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...