Search Results - "Joyner, William H."
-
1
2001 technology roadmap for semiconductors
Published in Computer (Long Beach, Calif.) (01-01-2002)“…The International Technology Roadmap for Semiconductors is a worldwide collaborative effort within the semiconductor industry to confront the challenges…”
Get full text
Journal Article -
2
Architectures for silicon nanoelectronics and beyond
Published in Computer (Long Beach, Calif.) (01-01-2007)“…Although nanoelectronics won't replace CMOS for some time, research is needed now to develop the architectures, methods, and tools to maximally leverage…”
Get full text
Journal Article -
3
Like a virgin (mother): analysis of data from a longitudinal, US population representative sample survey
Published in BMJ (Online) (17-12-2013)“…Objective To estimate the incidence of self report of pregnancy without sexual intercourse (virgin pregnancy) and factors related to such reporting, in a…”
Get full text
Journal Article -
4
Guest Editors' Introduction: System IC Design Challenges beyond 32 nm
Published in IEEE design & test of computers (01-07-2008)“…This special issue highlights ongoing research to address some of the challenges in the design of large ICs with dimensions well below 100 nm. The Gigascale…”
Get full text
Journal Article -
5
Custom is from Venus and synthesis from Mars
Published in 2008 45th ACM/IEEE Design Automation Conference (08-06-2008)“…Due to ever increasing cost of doing design, design productivity and more specifically, cost of design has become a major bottleneck in large scale design…”
Get full text
Conference Proceeding -
6
Like a virgin (mother): analysis of data from a longitudinal, US population representative sample survey
Published in BMJ. British medical journal (International ed.) (21-12-2013)“…Herring et al estimate the incidence of self report of pregnancy without sexual intercourse and factors related to such reporting, in a population…”
Get full text
Journal Article -
7
Like a virgin (mother): analysis of data from a longitudinal, US population representative sample survey
Published in BMJ (Online) (21-12-2013)“…OBJECTIVE To estimate the incidence of self report of pregnancy without sexual intercourse (virgin pregnancy) and factors related to such reporting, in a…”
Get full text
Journal Article -
8
The Design Automation Conference and the Early Days of EDA
Published in IEEE design and test (01-04-2014)“…This paper is based on an invited talk presented at the 50th DAC. Using superb examples, it portrays the early days of Electronic Design Automation field and…”
Get full text
Magazine Article -
9
General Chair's Welcome
Published in Proceedings. 42nd Design Automation Conference, 2005 (2005)“…Presents the welcome message from the conference proceedings…”
Get full text
Conference Proceeding -
10
A semiconductor industry perspective on future directions in ECE education
Published in IEEE transactions on education (01-11-2003)“…This paper looks at changes in the education of engineers made necessary by unprecedented challenges within the semiconductor industry, from the perspective of…”
Get full text
Journal Article -
11
Variation-aware analysis: savior of the nanometer era?
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 43rd annual conference on Design automation; 24-28 July 2006 (24-07-2006)“…VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability.As we go into deep sub micron issues, the analysis…”
Get full text
Conference Proceeding -
12
Wireless design: toughest challenge in electronics
Published in Electronics Weekly (01-06-2005)“…Wireless consumer electronics is a bright spot in the electronics industry and a key driver for electronic design automation tools. According to Gartner…”
Get full text
Journal Article Trade Publication Article -
13
Automatic theorem-proving and the decision problem
Published in 14th Annual Symposium on Switching and Automata Theory (swat 1973) (01-10-1973)“…This paper investigates the possibilities of the resolution method of J.A. Robinson [12] as a decision procedure for classes of first-order formulas. It is…”
Get full text
Conference Proceeding -
14
A new look at logic synthesis
Published in 17th Design Automation Conference (23-06-1980)“…Despite many attempts to generate hardware implementations automatically from functional specifications, the literature does not record any commercial success…”
Get full text
Conference Proceeding -
15
Session 26: panel
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 43rd annual conference on Design automation (01-01-2006)Get full text
Conference Proceeding -
16
Verification of HDLC
Published in IEEE transactions on communications (01-01-1982)“…A version of the standard high level data link control protocol has been verified as an experiment with an automated verification system. This paper tries to…”
Get full text
Journal Article -
17
Roadmaps and visions for design and test
Published in IEEE design & test of computers (01-11-2001)Get full text
Journal Article -
18
Were the good old days all that good?: EDA then and now
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation (07-06-2004)“…A long, long time ago, in a laboratory far, far away, EDA researchers and developers used paper tape instead of Linux, rubylith instead of GDS II, yellow wires…”
Get full text
Conference Proceeding -
19
A Problem-Reduction Approach to Proving Simulation Between Programs
Published in IEEE transactions on software engineering (01-06-1976)“…System correctness often presents itself as the problem of showing that two programs, the "specification" and the "implementation," are in some sense…”
Get full text
Journal Article -
20
Technology Adaptation in Logic Synthesis
Published in 23rd ACM/IEEE Design Automation Conference (1986)“…Systems which synthesize logic implementations from specifications have moved, under the pressure of production requirements, from Boolean minimizers to…”
Get full text
Conference Proceeding