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 |