David T. Miller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1983–1992
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | DAC | Freeze!: A New Approach for Testing Sequential Circuits. | Miron Abramovici, Krishna B. Rajan, David T. Miller |
| 1990 | ITC | Global cost functions for test generation. | Miron Abramovici, David T. Miller, R. Henning |
| 1989 | ICCAD | Dynamic redundancy identification in automatic test generation. | Miron Abramovici, David T. Miller, Rabindra K. Roy |
| 1989 | ICCD | System-level design verification in the AT&T computer division: overview and strategy. | Miron Abramovici, J. W. Bierbauer, R. H. Hellman, C. L. Hong, David T. Miller, R. G. Taylor |
| 1989 | ICCD | System-level design verification in the AT&T Computer Division: tools. | Miron Abramovici, James J. Kulikowski, David T. Miller, Prem R. Menon |
| 1985 | ITC | Test Generation In Lamp2: System Overview. | Miron Abramovici, James J. Kulikowski, Premachandran R. Menon, David T. Miller |
| 1985 | ITC | Test Generation In Lamp2: Concepts and Algorithms. | Miron Abramovici, James J. Kulikowski, Premachandran R. Menon, David T. Miller |
| 1983 | DAC | Critical path tracing - an alternative to fault simulation. | Miron Abramovici, Prem R. Menon, David T. Miller |