Demo Data from EDBT 2026 / reviewers in the wild / expert
Terry Slater
dblp:89/5133
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 1990
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% | |
| Theoretical computer science
1 paper |
Automata and formal languages · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware verification and test › test response compaction
aliasing probability |
0.0 | 1 | 1990 | The analysis of one-dimensional linear cellular automata and their aliasing properties · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1990 |
Electronic design automation
hardware verification and test |
0.0 | 1 | 1990 | The analysis of one-dimensional linear cellular automata and their aliasing properties · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1990 |
Electronic design automation › hardware verification and test › test response compaction
signature analysis |
0.0 | 1 | 1990 | The analysis of one-dimensional linear cellular automata and their aliasing properties · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1990 |
Automata and formal languages
cellular automata |
0.0 | 1 | 1990 | The analysis of one-dimensional linear cellular automata and their aliasing properties · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1990 |
Methods — techniques the papers use, named apart from their topics
polynomial search algorithm · 0.0linear algebra · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1990 | The analysis of one-dimensional linear cellular automata and their aliasing propertiesabstractIt is shown how to construct a general linear hybrid cellular automaton (CA) such that it has a maximum length cycle, and how the aliasing properties of such automata compare with linear feedback shift registers (LFSRs) when used as signature analyzers. The construction is accomplished by formally demonstrating the isomorphism which binds this kind of CA to the LFSRs. Consequently, these CAs can be analyzed as linear machines. Linear algebraic techniques are then applied appropriately for the transformations, and a useful search algorithm is developed which, given an irreducible characteristic polynomial, finds a corresponding linear hybrid automaton. Such CAs are tabulated for all irreducible and primitive polynomials up to degree 16, plus a selection of others of higher degree. The behavior of a linear hybrid CA and that of its corresponding LFSR are similar-that is, they have the same cycle structure and only relabel the states. The aliasing properties, when they are used as signature analyzers, remain unchanged.> Micaela Serra, Terry Slater, Jon C. Muzio, D. Michael Miller |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |