503 search results - page 35 / 101 » Equality In Lazy Computation Systems |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Stability properties for continuous-time linear switched systems are at first determined by the (largest) Lyapunov exponent associated with the system, which is the analogous of t...
LATA
2009
Springer
14 years 3 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— Iterative equalization has emerged as an efficient means of achieving near-capacity detection performance in multiple-antenna (MIMO) systems. However, many proposed detection ...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
—In the next generation high-speed wireless packet access systems, hybrid automatic repeat request (HARQ) is necessary to achieve higher throughput performance. An HARQ with Chas...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...