The following pages link to Mark R. Greenstreet (Q225069):
Displaying 10 items.
- Verifying global start-up for a Möbius ring-oscillator (Q479839) (← links)
- An efficient linear programming solver for optimal filter synthesis (Q3392865) (← links)
- (Q4028334) (← links)
- Reachability Analysis Using Polygonal Projections (Q4249578) (← links)
- (Q4787224) (← links)
- Modeling Energy-Time Trade-Offs in VLSI Computation (Q5277628) (← links)
- A light-weight framework for hardware verification (Q5953449) (← links)
- Extending ACL2 with SMT solvers (Q6591106) (← links)
- Real vector spaces and the Cauchy-Schwarz inequality in ACL2(r) (Q6591117) (← links)
- Convex functions in ACL2(r) (Q6591118) (← links)
