4520 search results - page 187 / 904 » Algebraic Techniques for Timed Systems |
165
Voted
CC
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applicati...
188
click to vote
JCM
2008
15 years 7 months ago
2008
This paper analyzes the influence of time-varying cyclic delay diversity (TV-CDD) on the channel fading correlation properties in orthogonal frequency division multiplexing (OFDM) ...
167
click to vote
ISCC
2007
IEEE
16 years 1 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
204
click to vote
DDECS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
219
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We study the complexity of the isomorphism and automorphism problems for finite rings. We show that both integer factorization and graph isomorphism reduce to the problem...