Search
Now showing items 1-4 of 4
Equivalence Verification for NULL Convention Logic and Latency-Insensitive Circuits
(North Dakota State University, 2016)
NULL convention logic and latency-insensitive circuits are delay-tolerant circuits that can
be synthesized from a synchronous speci cation. These design paradigms can use existing CAD
ows to implement circuits that are ...
Formal Verification Techniques for Safety Critical Medical Device Software Control
(North Dakota State University, 2016)
Safety-critical medical devices play an important role in improving patients health and
lifestyle. Faulty behaviors of such devices can cause harm or even death. Often these faulty
behaviors are caused due to bugs in ...
Cloud Based Recommendation Services for Healthcare
(North Dakota State University, 2016)
With the inception of portable computing devices, enormous growth in the healthcare data over the Internet has been observed. Consequently, the Web based systems come across several challenges, such as storage, availability, ...
Dynamic State Estimation Assisted Power System Monitoring and Protection
(North Dakota State University, 2016)
The advent of phasor measurement units (PMUs) has unlocked several novel methods to monitor, control, and protect bulk electric power systems. This thesis introduces the concept of “Dynamic State Estimation” (DSE), aided ...