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 19 of 19  

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
	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 19 of 19  

Your query returned 19 matches in the database.