Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Burch, Andrea R
36  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Contributors:

, In: Endocrinology: Adult and Pediatric,
Aiello, Lloyd Paul ; Alatzoglou, Kyriaki S. ; Alexander, Erik K.... - p. iii-xvi , 2016
Link: https://doi.org/10.1016/..
 
?
2

Memory modeling in ESL-RTL equivalence checking:

, In: Proceedings of the 44th annual Design Automation Conference,
Koelbl, Alfred ; Burch, Jerry R. ; Pixley, Carl - p. 205-209 , 2007
Link: https://dl.acm.org/doi/1..
 
?
3

Program Evaluation and Quality Assurance in Animal-Assisted..:

, In: Handbook on Animal-Assisted Therapy,
Burch, Mary R. - p. 129-149 , 2006
Link: https://doi.org/10.1016/..
 
?
4

Detecting support-reducing bound sets using two-cofactor sy..:

, In: Proceedings of the 2005 Asia and South Pacific Design Automation Conference,
Zhang, Jin S. ; Chrzanowska-Jeske, Malgorzata ; Mishchenko, Alan. - p. 266-271 , 2005
Link: https://dl.acm.org/doi/1..
 
?
5

Conservative approximations for heterogeneous design:

, In: Proceedings of the 4th ACM international conference on Embedded software,
Passerone, Roberto ; Burch, Jerry R. ; Sangiovanni-Vincentelli, Alberto L. - p. 155-164 , 2004
Link: https://dl.acm.org/doi/1..
 
?
6

Robust latch mapping for combinational equivalence checking:

, In: Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design,
Burch, Jerry R. ; Singhal, Vigyan - p. 563-569 , 1998
Link: https://dl.acm.org/doi/1..
 
?
7

Tight integration of combinational verification methods:

, In: Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design,
Burch, Jerry R. ; Singhal, Vigyan - p. 570-576 , 1998
Link: https://dl.acm.org/doi/1..
 
?
8

Safe BDD minimization using don't cares:

, In: Proceedings of the 34th annual Design Automation Conference,
Hong, Youpyo ; Beerel, Peter A. ; Burch, Jerry R.. - p. 208-213 , 1997
Link: https://dl.acm.org/doi/1..
 
?
9

Techniques for verifying superscalar microprocessors:

, In: Proceedings of the 33rd annual Design Automation Conference,
Burch, Jerry R. - p. 552-557 , 1996
Link: https://dl.acm.org/doi/1..
 
?
10

Efficient validity checking for processor verification:

, In: Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design,
Jones, Robert B. ; Dill, David L. ; Burch, Jerry R. - p. 2-6 , 1995
Link: https://dl.acm.org/doi/1..
 
?
11

Modeling hierarchical combinational circuits:

, In: Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design,
Burch, Jerry R. ; Dill, David ; Wolf, Elizabeth. - p. 612-617 , 1993
Link: https://dl.acm.org/doi/1..
 
?
12

Efficient Boolean function matching:

, In: Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design,
Burch, Jerry R. ; Long, David E. - p. 408-411 , 1992
Link: https://dl.acm.org/doi/1..
 
?
13

Using BDDs to verify multipliers:

, In: Proceedings of the 28th ACM/IEEE Design Automation Conference,
Burch, Jerry R. - p. 408-412 , 1991
Link: https://dl.acm.org/doi/1..
 
?
14

The stability and shelf life of vitamin-fortified foods:

, In: Food and Beverage Stability and Shelf Life,
Burch, R. - p. 743-754 , 2011
Link: https://doi.org/10.1533/..
 
?
15

Kinetics of the Reduction of NO by C3H6 and C3H8 Over Pt Ba..:

, In: Catalysis and Automotive Pollution Control IV, Proceedings of the Fourth International Symposium (CAPoC4); Studies in Surface Science and Catalysis,
Burch, R. ; Watling, T.C. - p. 199-211 , 1998
Link: https://doi.org/10.1016/..
 
1-15