Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
1 |
![]() |
Batchu, Satish | Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits | AMS; Analog/mixed-signal; Modeling; Petri-net; Simulation; Verification | 2011-05 | thesis |
2 |
![]() |
Kulkarni, Dhanashree R. | Improved model generation and property specification for analog/mixed-signal circuits | AMS; Analog; Circuits; Formal verification; Mixed signal; Modeling | 2013-08 | thesis |
3 |
![]() |
Richards, Alyssa Magleby | Measurement and modeling of intravehicular channels for multiantenna communication | 3D ray tracing; Communication; Intravehicle; Modeling; Multiantenna; Sensor network; MIMO systems | 2011-05 | dissertation |
4 |
![]() |
Wagner, David Ray | Coal conversion experimental methods for validation of pressurized entrained-flow gasifier simulation | Coal; Entrained flow; Gasification; Modeling; Pyrolysis; Wire-mesh reactor | 2013-12 | dissertation |