William H. Joyner Jr.

24 papers A* 6C 1Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2008 J jnl
Guest Editors' Introduction: System IC Design Challenges beyond 32 nm.
IEEE Des. Test Comput.
William H. Joyner Jr., David C. Yeh
2007 J jnl
Architectures for Silicon Nanoelectronics and Beyond.
Computer
R. Iris Bahar, Dan W. Hammerstrom, Justin E. Harlow III, William H. Joyner Jr., Clifford Lau, Diana Marculescu, Alex Orailoglu, Massoud Pedram
2005 A* ed.
Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005
DAC
William H. Joyner Jr., Grant Martin, Andrew B. Kahng
2004 A* conf
Were the good old days all that good?: EDA then and now.
DAC
Shishpal Rawat, William H. Joyner Jr., John A. Darringer, Daniel Gajski, Pat O. Pistilli, Hugo De Man, Carl Harris, James Solomon
2003 J jnl
A semiconductor industry perspective on future directions in ECE education.
IEEE Trans. Educ.
Ralph K. Cavin III, William H. Joyner Jr., Virginia C. Wiggins
2002 J jnl
2001 Technology Roadmap for Semiconductors.
Computer
Alan Allan, Don Edenfeld, William H. Joyner Jr., Andrew B. Kahng, Mike Rodgers, Yervant Zorian
2001 J jnl
Guest Editor's Introduction: Roadmaps and Visions for Design and Test.
IEEE Des. Test Comput.
William H. Joyner Jr., Andrew B. Kahng
2000 J jnl
LSS: A system for production logic synthesis.
IBM J. Res. Dev.
John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan
1997 C conf
Design and Test: The Lost World.
ICCD
William H. Joyner Jr.
1986 J jnl
Global Flow Analysis in Automatic Logic Design.
IEEE Trans. Computers
Louise Trevillyan, William H. Joyner Jr., C. Leonard Berman
1986 A* conf
Technology adaption in logic synthesis.
DAC
William H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen
1985 — conf
Production logic synthesis.
ACM Conference on Computer Science
John A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi
1984 J jnl
LSS: A System for Production Logic Synthesis.
IBM J. Res. Dev.
John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan
1982 J jnl
Verification of HDLC.
IEEE Trans. Commun.
Daniel Brand, William H. Joyner Jr.
1981 J jnl
Logic Synthesis Through Local Transformations.
IBM J. Res. Dev.
John A. Darringer, William H. Joyner Jr., C. Leonard Berman, Louise Trevillyan
1980 A* conf
A new look at logic synthesis.
DAC
John A. Darringer, William H. Joyner Jr.
1979 A* conf
Symbolic simulation for correct machine design.
DAC
William C. Carter, William H. Joyner Jr., Daniel Brand
1978 — conf
Microprogram verification considered necessary.
AFIPS National Computer Conference
William C. Carter, William H. Joyner Jr., Daniel Brand
1978 — conf
Using Machine Descriptions in Program Verification.
Jerusalem Conference on Information Technology
William H. Joyner Jr., William C. Carter, Daniel Brand
1978 J jnl
Verification of Protocols Using Symbolic Execution.
Comput. Networks
Daniel Brand, William H. Joyner Jr.
1976 J jnl
A Problem-Reduction Approach to Proving Simulation Between Programs.
IEEE Trans. Software Eng.
Alexander Birman, William H. Joyner Jr.
1976 A* conf
Automated proofs of microprogram correctness.
MICRO
William H. Joyner Jr., William C. Carter, George B. Leeman Jr.
1976 J jnl
Resolution Strategies as Decision Procedures.
J. ACM
William H. Joyner Jr.
1973 — conf
Automatic Theorem-Proving and the Decision Problem
SWAT
William H. Joyner Jr.