Albert R. Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
1988–2001
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | ICCD | Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem. | Ying Zhao, Sharad Malik, Albert R. Wang, Matthew W. Moskewicz, Conor F. Madigan |
| 1995 | DAC | Code Optimization Techniques for Embedded DSP Microprocessors. | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang |
| 1995 | DAC | A Design and Validation System for Asynchronous Circuits. | Peter Vanbekbergen, Albert R. Wang, Kurt Keutzer |
| 1995 | PLDI | Storage Assignment to Decrease Code Size. | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang |
| 1992 | DAC | Certified Timing Verification and the Transition Delay of a Logic Circuit. | Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert R. Wang |
| 1992 | ICCAD | Verification of asynchronous interface circuits with bounded wire delays. | Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert R. Wang |
| 1989 | DAC | Multi-level Logic Simplification Using Don't Cares and Filters. | Alexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | Boolean decomposition in multi-level logic optimization. | Srinivas Devadas, Albert R. Wang, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | Logic verification using binary decision diagrams in a logic synthesis environment. | Sharad Malik, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | Timing optimization of combinational logic. | Kanwar Jit Singh, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |