Title | Setname | Type | ||
---|---|---|---|---|
126 | Verification methodologies for fault-tolerant network-on-chip systems | ir_etd | Text | |
127 | Wireless sensor networks for exposure science and environmental monitoring | ir_etd | Text | |
128 | Word-level abstraction from combinational circuits using algebraic geometry | ir_etd | Text | |
129 | Word-level abstractions for sequential design verification using algebraic geometry | ir_etd | Text |