Search for dissertations about: "verification mapping"
Showing result 1 - 5 of 21 swedish dissertations containing the words verification mapping.
-
1. Mapping and integration of schema representations of component specefications
Abstract : Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. READ MORE
-
2. Proving the correctness of a virtual machine by a bisimulation
Abstract : .... READ MORE
-
3. System Level Techniques for Verification and Synchronization after Local Design Refinements
Abstract : Today's advanced digital devices are enormously complex and incorporate many functions. In order to capture the system functionality and to be able to analyze the needs for a final implementation more efficiently, the entry point of the system development process is pushed to a higher level of abstraction. READ MORE
-
4. Array-based Autoantibody Profiling and Epitope Mapping
Abstract : Antibodies are a class of proteins that are made by the immune system to recognize harmful organisms and molecules. Their exceptional capability of specifically recognizing molecules has been investigated for over a century and information thereof has been utilized for a variety of applications including vaccine and generation of therapeutic antibodies. READ MORE
-
5. Dominator-based Algorithms in Logic Synthesis and Verification
Abstract : Today's EDA (Electronic Design Automation) industry faces enormous challenges. Their primary cause is the tremendous increase of the complexity of modern digital designs. Graph algorithms are widely applied to solve various EDA problems. READ MORE