Sciweavers

2887 search results - page 61 / 578
» Name Generation and Linearity
Sort
View
ISCAS
2007
IEEE
92views Hardware» more  ISCAS 2007»
16 years 7 days ago
Multifunctional RF Transmitters for Next Generation Wireless Transceivers
: Future generations of wireless communications are expected to place increasing burdens on the efficiency and linearity of power amplifiers, due to the use of more complex wavefor...
Lawrence Larson, Peter Asbeck, Donald Kimball
SPIN
2007
Springer
16 years 2 days ago
Minimal Counterexample Generation for SPIN
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
Paul Gastin, Pierre Moro
AAIM
2006
Springer
94views Algorithms» more  AAIM 2006»
15 years 9 months ago
Linear Programming Polytope and Algorithm for Mean Payoff Games
We investigate LP-polytopes generated by mean payoff games and their properties, including the existence of tight feasible solutions of bounded size. We suggest a new associated al...
Ola Svensson, Sergei G. Vorobyov
AAECC
2002
Springer
132views Algorithms» more  AAECC 2002»
15 years 5 months ago
Lattice Structure and Linear Complexity of Nonlinear Pseudorandom Numbers
It is shown that a q-periodic sequence over the finite field Fq passes an extended version of Marsaglia's lattice test for high dimensions if and only if its linear complexity...
Harald Niederreiter, Arne Winterhof
155
Voted
DATE
2008
IEEE
148views Hardware» more  DATE 2008»
16 years 13 days ago
On Analysis and Synthesis of (n, k)-Non-Linear Feedback Shift Registers
— Non-Linear Feedback Shift Registers (NLFSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for generating pseudo-random sequences for stream c...
Elena Dubrova, Maxim Teslenko, Hannu Tenhunen