Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: William H. Joyner
    Last name: Jr.
    DBLP: 44/6729
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 20 of 20  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    William H. Joyner Jr., David C. Yeh.
    Guest Editors' Introduction: System IC Design Challenges beyond 32 nm.
    IEEE Design Test of Computers 2008, Volume 25 (0) 2008
    Conference paper
    R. Iris Bahar, Dan W. Hammerstrom, Justin E. Harlow III, William H. Joyner Jr., Clifford Lau, Diana Marculescu, Alex Orailoglu, Massoud Pedram.
    Architectures for Silicon Nanoelectronics and Beyond.
    IEEE Computer 2007, Volume 40 (0) 2007
    Conference paper
    Shishpal Rawat, William H. Joyner Jr., John A. Darringer, Daniel Gajski, Pat O. Pistilli, Hugo De Man, Carl Harris, James Solomon.
    Were the good old days all that good?: EDA then and now.
    Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004 2004 (0) 2004
    Journal article
    Ralph K. Cavin III, William H. Joyner Jr., Virginia C. Wiggins.
    A semiconductor industry perspective on future directions in ECE education.
    IEEE Trans. Education 2003, Volume 46 (0) 2003
    Conference paper
    Alan Allan, Don Edenfeld, William H. Joyner Jr., Andrew B. Kahng, Mike Rodgers, Yervant Zorian.
    2001 Technology Roadmap for Semiconductors.
    IEEE Computer 2002, Volume 35 (0) 2002
    Conference paper
    William H. Joyner Jr., Andrew B. Kahng.
    Guest Editor's Introduction: Roadmaps and Visions for Design and Test.
    IEEE Design Test of Computers 2001, Volume 18 (0) 2001
    Conference paper
    John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan.
    LSS: A system for production logic synthesis.
    IBM Journal of Research and Development 2000, Volume 44 (0) 2000
    Conference paper
    William H. Joyner Jr..
    Design and Test: The Lost World.
    ICCD 1997 (0) 1997
    Conference paper
    William H. Joyner Jr., Louise Trevillyan, Daniel Brand, Theresa A. Nix, Steven C. Gundersen.
    Technology adaption in logic synthesis.
    DAC 1986 (0) 1986
    Conference paper
    Louise Trevillyan, William H. Joyner Jr., C. Leonard Berman.
    Global Flow Analysis in Automatic Logic Design.
    IEEE Trans. Computers 1986, Volume 35 (0) 1986
    Conference paper
    John A. Darringer, Daniel Brand, William H. Joyner Jr., Louise Trevillyan, John V. Gerbi.
    Production logic synthesis.
    Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985 1985 (0) 1985
    Conference paper
    John A. Darringer, Daniel Brand, John V. Gerbi, William H. Joyner Jr., Louise Trevillyan.
    LSS: A System for Production Logic Synthesis.
    IBM Journal of Research and Development 1984, Volume 28 (0) 1984
    Conference paper
    John A. Darringer, William H. Joyner Jr., C. Leonard Berman, Louise Trevillyan.
    Logic Synthesis Through Local Transformations.
    IBM Journal of Research and Development 1981, Volume 25 (0) 1981
    Conference paper
    John A. Darringer, William H. Joyner Jr..
    A new look at logic synthesis.
    Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980 1980 (0) 1980
    Conference paper
    William C. Carter, William H. Joyner Jr., Daniel Brand.
    Symbolic simulation for correct machine design.
    Proceedings of the 16th Design Automation Conference, DAC '79, San Diego, California, USA, June 25-27, 1979 1979 (0) 1979
    Conference paper
    William H. Joyner Jr., William C. Carter, Daniel Brand.
    Using Machine Descriptions in Program Verification.
    Jerusalem Conference on Information Technology 1978 (0) 1978
    Conference paper
    Daniel Brand, William H. Joyner Jr..
    Verification of Protocols Using Symbolic Execution.
    Computer Networks 1978, Volume 2 (0) 1978
    Conference paper
    William H. Joyner Jr..
    Resolution Strategies as Decision Procedures.
    J. ACM 1976, Volume 23 (0) 1976
    Conference paper
    Alexander Birman, William H. Joyner Jr..
    A Problem-Reduction Approach to Proving Simulation Between Programs.
    IEEE Trans. Software Eng. 1976, Volume 2 (0) 1976
    Conference paper
    William H. Joyner Jr..
    Automatic Theorem-Proving and the Decision Problem
    14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973 1973 (0) 1973
    Show item 1 to 20 of 20  

    Your query returned 20 matches in the database.