[ACM Press the conference - Munich, Germany (1999..-..)] Proceedings of the conference on Design, automation and test in Europe - DATE '99 - Approximate equivalence verification of sequential circuits via genetic algorithms
- 作者Corno, F.; Reorda, M. Sonza; Squillero, G.
- 文件大小23.86KB
- 发表时间1999
- DOI10.1145/307418.307431
ReviewsArora, Ranjit; Burton, Diana; Carr, David; Cush, Denise; David, Tricia; English, John; Hall, Kathy; Halpin, David; Hannan, Andrew; Harrison, Bernard T.; Lawton, Denis; McCulloch, Myra; Quicke, John; Riley, Jeni; Taylor, F. John; Troman, Geoff · British Journal of Educational Studies · 1996
Association between lifestyle factors and mental health measures among community-dwelling older womenCassidy, Kellie; Kotynia-English, Ria; Acres, John; Flicker, Leon; Lautenschlager, Nicola T.; Almeida, Osvaldo P.; Cassidy, Kellie; Kotynia-English, Ria; Acres, John; Flicker, Leon; Lautenschlager, Nicola T.; Almeida, Osvaldo P. · Australian and New Zealand Journal of Psychiatry · 2004
Calcium Overload during Reperfusion is Accelerated in Isolated Hypertrophied Rat HeartsMichael F. Allard; Julia D.A. Flint; John C. English; Sarah L. Henning; M.Clara Salamanca; Craig T. Kamimura; Dean R. English · 1994
Forecasting freight demand using economic indicesFite, Jonathon T.; Don Taylor, G.; Usher, John S.; English, John R.; Roberts, John N. · International Journal of Physical Distribution & Logistics Management · 2002
Clinical pathologic conferenceJohn R. Dainauskas; Richard L. Hughes; John T. English · 1971
BacktalkSamuel E. Pisaro, John I. Goodlad, William D. Corbett, Van Miller, John S. Hand, Raymond F. English, Charles H. B. Arning and Sharon G. Boardman · The Phi Delta Kappan · 1981
Pleuroparenchymal fibroelastosis: a rare interstitial lung diseaseEnglish, John C.; Mayo, John R.; Levy, Robert; Yee, John; Leslie, Kevin O. · Respirology Case Reports · 2015
Other Foreign MediaLent, John A.; English, H.Edward; Stapleton, John; Szecsko, Tamas; Fodor, Gabor; Mahle, Walter A.; Richter, Rolf; Furhoff, Lars; Jonsson, Lennart; Nilsson, Lennart · Communication Booknotes · 1975