Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Heuristic-based algorithms"”.
-
Diagnosis, synthesis and analysis of probabilistic models
… all contribute to developing new theory and algorithms in the research field of probabilistic model checking. We start by introducing a formal definition of counterexamples in the setting of probabilistic model checking. We transform the problem of finding informative counterexamples to …
-
Heuristic Algorithms for Adaptive Resource Management of Periodic Tasks in Soft Real-Time Distributed Systems
… thesis proposes adaptive resource management heuristic techniques for periodic tasks in dynamic real-time distributed systems with the (soft real-time) objective of minimizing missed deadline ratios. The proposed resource management techniques continuously monitor the application tasks at …
-
Multiple-Valued Logic Design in Current-Mode CMOS
… requires fewer PTs compared to realizations based on the existing sets of operators. A comprehensive comparison has been conducted for all 19683 3-valued 2-variable functions. The maximum number of PTs is reduced from 6, using the existing set of operators, to 3, using the new set of …