Donald Labrecque

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Ai Technologies

Top Venues

Publications

Marcia Golmohamadi, Ryan Jurasek, Wolfgang Hokenmaier, Donald Labrecque, Ruoyu Zhi, Bret Dale, Nibir Islam, Dave Kinney, Angela Johnson
Verification and Testing Considerations of an In-Memory AI Chip. NATW (2020)
Ryan Pennucci, Ryan Jurasek, Wolfgang Hokenmaier, Lester Patrick, Jacob Bucci, Donald Labrecque, David Kinney
An analysis of an inexpensive memory test solution. NATW (2018)
Jean-Pierre Dussault, Donald Labrecque, Pierre L'Ecuyer, Reuven Y. Rubinstein
Combining the Stochastic Counterpart and Stochastic Approximation Methods. Discret. Event Dyn. Syst. 7 (1) (1997)