3373 search results - page 192 / 675 » Linear transformations on codes |
123
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
114
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
This paper considers the robustness of stochastic stability of Markovian jump linear systems in continuous- and discrete-time with respect to their transition rates and probabilit...
132
click to vote
AUTOMATICA
2005
15 years 3 months ago
2005
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
131
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
The linear scan algorithm for register allocation provides a good register assignment with a low compilation overhead and is thus frequently used for just-in-time compilers. Altho...
115
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
As a variant of the HB authentication protocol for RFID systems, which relies on the complexity of decoding linear codes against passive attacks, Madhavan et al. presented Non-Line...