6719 search results - page 370 / 1344 » A Generalization of Automatic Sequences |
128
click to vote
ISSRE
2008
IEEE
15 years 10 months ago
2008
IEEE
As software systems evolve, the size of their test suites grow due to added functionality and customer-detected defects. Many of these tests may contain redundant elements with pr...
120
click to vote
ICDCSW
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the design and use of distributed pipelines for automated processing of sensor data streams. In particular, we focus on the detection and extraction of meanin...
137
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
128
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present a new pseudo-random sequence generator, constructed by the generalized discrete Baker transformation. This new generator is called Cascaded Baker Register...
126
Voted
DCC
2010
IEEE
15 years 4 months ago
2010
IEEE
In [8], the authors formulate new coset bounds for algebraic geometric codes. The bounds give improved lower bounds for the minumum distance of algebraic geometric codes as well a...