TO
Filters: Department: "Electrical & Computer Engineering" Publication Type: "dissertation" School Or College: "College of Engineering" Collection: "ir_etd" Type: "Text"
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 126 |
 |
Zhang, Zhen | Verification methodologies for fault-tolerant network-on-chip systems | Compositional Minimization; Labeled Petri-net; Model Checking; Network-on-Chip; Partial Order Reduction; Process Calculus | 2016-05 | dissertation |
| 127 |
 |
Min, Kyeong T. | Wireless sensor networks for exposure science and environmental monitoring | Computer engineering | 2018 | dissertation |
| 128 |
 |
Pruss, Tim | Word-level abstraction from combinational circuits using algebraic geometry | Abstraction; Digital Design; Formal Verification; Grobner Basis; Hardware Verification | 2015-08 | dissertation |
| 129 |
 |
Sun, Xiaojun | Word-level abstractions for sequential design verification using algebraic geometry | Algebraic geometry; Formal verification; Groebner basis; multiplier; normal basis; unsatisfiability | 2017 | dissertation |