William H. Joyner Jr.

According to our database, William H. Joyner Jr. authored at least 22 papers between 1973 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Guest Editors' Introduction: System IC Design Challenges beyond 32 nm.

William H. Joyner Jr., David C. Yeh

IEEE Des. Test Comput., 2008

2007

Architectures for Silicon Nanoelectronics and Beyond.

R. Iris Bahar, Dan W. Hammerstrom, Justin E. Harlow III, William H. Joyner Jr., Clifford Lau, Diana Marculescu, Alex Orailoglu, Massoud Pedram

Computer, 2007

2004

Were the good old days all that good?: EDA then and now.

Shishpal Rawat, William H. Joyner Jr., John A. Darringer, Daniel Gajski, Pat O. Pistilli, Hugo De Man, Carl Harris, James Solomon

Proceedings of the 41th Design Automation Conference, 2004

2003

A semiconductor industry perspective on future directions in ECE education.

Ralph K. Cavin III, William H. Joyner Jr., Virginia C. Wiggins

IEEE Trans. Educ., 2003

2002

2001 Technology Roadmap for Semiconductors.

Alan Allan, Don Edenfeld, William H. Joyner Jr., Andrew B. Kahng, Mike Rodgers, Yervant Zorian

Computer, 2002

2001

Guest Editor's Introduction: Roadmaps and Visions for Design and Test.

William H. Joyner Jr., Andrew B. Kahng

IEEE Des. Test Comput., 2001

1997

Design and Test: The Lost World.

William H. Joyner Jr.

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

1986

Global Flow Analysis in Automatic Logic Design.

Louise Trevillyan, William H. Joyner Jr., C. Leonard Berman

IEEE Trans. Computers, 1986

Technology adaption in logic synthesis.

William H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

1985

Production logic synthesis.

John A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi

Proceedings of the 13th ACM Annual Conference on Computer Science, 1985

1984

LSS: A System for Production Logic Synthesis.

John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan

IBM J. Res. Dev., 1984

1982

Verification of HDLC.

Daniel Brand, William H. Joyner Jr.

IEEE Trans. Commun., 1982

1981

Logic Synthesis Through Local Transformations.

John A. Darringer, William H. Joyner Jr., C. Leonard Berman, Louise Trevillyan

IBM J. Res. Dev., 1981

1980

A new look at logic synthesis.

John A. Darringer, William H. Joyner Jr.

Proceedings of the 17th Design Automation Conference, 1980

1979

Symbolic simulation for correct machine design.

William C. Carter, William H. Joyner Jr., Daniel Brand

Proceedings of the 16th Design Automation Conference, 1979

1978

Verification of Protocols Using Symbolic Execution.

Daniel Brand, William H. Joyner Jr.

Comput. Networks, 1978

Using Machine Descriptions in Program Verification.

William H. Joyner Jr., William C. Carter, Daniel Brand

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

Microprogram verification considered necessary.

William C. Carter, William H. Joyner Jr., Daniel Brand

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1976

A Problem-Reduction Approach to Proving Simulation Between Programs.

Alexander Birman, William H. Joyner Jr.

IEEE Trans. Software Eng., 1976

Resolution Strategies as Decision Procedures.

William H. Joyner Jr.

J. ACM, 1976

Automated proofs of microprogram correctness.

William H. Joyner Jr., William C. Carter, George B. Leeman Jr.

Proceedings of the 9th annual workshop on Microprogramming, 1976

1973

Automatic Theorem-Proving and the Decision Problem

William H. Joyner Jr.

Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973