Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 | A correctness criterion for asynchronous circuit validation and optimization | 1992 | Text | ir_uspace | |
2 | Performance analysis and optimization of asynchronous circuits | 1994 | Text | ir_uspace | |
3 | Treatment time reduction through parameter optimization in magnetic resonance guided high intensity focused ultrasound treatments | 2012-12 | Text | ir_etd |