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 12 of 12 for “"state explosion"”.
-
On-the-Fly Dynamic Dead Variable Analysis
State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used in software is the main cause of state explosion. As software grows in size and complexity the problem only becomes worse. As such, model …
-
Directed search for the verification of communication protocols
… techniques basically <br>explore the state space of a system in order to establish whether or <br>not it behaves correctly. The main drawback of such methods is the state explosion problem. The size of the state space can grow <br>exponentially in the number of components of the …
-
Learning in dynamic temporal domains using contextual prediction entropy as a guiding principle.
… to a simple Markov Decision Problem (in which state-augmentation is avoided altogether or becomes problematic in terms of combinatorial state explosion), or employ learning mechanisms that do not reflect simple human abilities in terms of fast, adaptive learning. Short term memory is …
-
Finding Termination and Time Improvement in Predicate Abstraction with Under-Approximation and Abstract Matching
… formal verification methods is mitigating the state explosion problem. One of these formal methods is predicate abstraction, which reduces concrete states of a system to bitvectors of true/false valuations of a set of predicates. Predicate abstraction comes in two flavors, over-approximation …
-
A practical model checking approach using FormalCheck
… automatic formal verification is limited by the state explosion problem. This thesis presents a practical verification approach using FormalCheck, which helps reducing the state space explosion problem when verifying the high level descriptions of practical systems. This approach relies on the …
-
PATTERN ENCODING ALGORITHMS AND INFORMATION MODELING METRICS FOR NETWORK QUALITY OF SERVICE
… packet inspection engine. Third, we address the state explosion problem of multi-stride DFA and exploit intra-stream parallelism to achieve multiple Gb/s speeds of DPI on a single processor. Fourth, to evaluate large scale deployment of DPI we develop a software test-bed for evaluating worm …
-
Dynamic safety assessment of FPGA-based safety critical systems with applications in nuclear power generation
… the International Atomic Energy Agency (IAEA) states that FPGA implementations of I&C systems in Nuclear Power Plants (NPPs) is expected to increase significantly in the future. One issue facing FPGAs in the nuclear field is a lack of technical standards and design/review documentation. …
-
Techniques for formal verification of concurrent and distributed program traces
… description. We develop techniques to combat the state explosion problem. Our algorithms have polynomial-time complexity in the size of the trace description as opposed to exponential. We suggest the use of an abstraction technique called slicing. Intuitively, the “slice” of a trace with respect …
-
Studies on memory consistency and synchronization : failure detection in parallel programs
… Partial Order Checking completely avoids the state explosion problem caused by the large amount of concurrence in trace sets. Our experimental result shows that for many trace sets with synchronization failures, the above techniques solve the detection problem in time linear to the trace set …
-
Algorithms and Frameworks for Accelerating Security Applications on HPC Platforms
… an algorithm capable of eliminating the state explosion in out-of-order packet situations, which reduces up to 400X of the memory overhead. We also present tools for improving the usability of Micron's Automata Processor. To study the cache configurations' impact on time-driven cache …
-
Discrete event system modeling using SysML and model transformation
… subset if the system can be modeled using finite state machines or finite state automata. Furthermore, the system modeled by the proposed subset can avoid the state explosion problem, i.e., the number of the system states grows exponentially when the number of the components increases. We also …
-
Dynamic Thermal Management for Microprocessors
… management in a centralized manner because of state explosion and the overhead of monitoring the entire chip. In this thesis, we present a framework for distributed thermal management in many-core systems where balanced thermal profile can be achieved by proactive task migration among …