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 “"formale Verifikation"”.
-
Entwicklung, Simulation und formale Verifikation eines optimierten DSP-Kerns
… des Designs durch Einsatz von Simulation und formaler Verikation eingegangen. Abschlieÿend erfolgt nach einer Zusammenfassung der erreichten Ziele ein Ausblick hinsichtlich weiterer Möglichkeiten zur Optimierung des DSP-Kerns in Bezug auf Geschwindigkeit und Leistung.
-
Transformation-Based Component Architectures - General Framework, Instantiations and Case Study
… ist primär für eine Instantiierung mit formalen Spezifikationstechniken ausgelegt. Die formale mathematische Semantik solcher Techniken bildet, zusammen mit dem vorgestellten Konzept, einen Ausgangspunkt für die Anwendung formaler Analysetechniken, zum Beispiel formale Verifikation und …
-
Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme
DNA-basierte Systeme beschreiben formal ein alternatives Berechnungskonzept, beruhend auf der Anwendung molekularbiologischer Operationen. Der Grundgedanke ist dabei die Entwicklung alternativer und universeller Rechnerarchitekturen. Infolge der zugrunde liegenden maximalen Parallelität sowie der …