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 2 of 2 for “"Structural invariants"”.
-
Design of Deryaft : a novel framework for generating representation invariants of structurally complex data
… presents a novel approach for generating likely structural invariants of complex data structures. Generating likely invariants using dynamic analyses is becoming an increasingly effective technique in software checking methodologies. Given a small set of concrete structures, our approach analyzes …
-
Implicit network descriptions of RLC networks and the problem of re-engineering
… of evolution of system properties as well as structural invariants. For linear systems the traditional system representations, such as transfer functions, state space models and polynomial type models do not provide a suitable framework for study structure and property evolutions, since for …