Hochschulschrift
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2016
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
symbolic simulation
verification
mixed-signal
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2016
- Urheber
-
Radojičić, Čarna
- Beteiligte Personen und Organisationen
-
Grimm, Christoph
- URN
-
urn:nbn:de:hbz:386-kluedo-44837
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Radojičić, Čarna
- Grimm, Christoph
- Technische Universität Kaiserslautern
Entstanden
- 2016
Ähnliche Objekte (12)
Analytic K-homology, arithmetic manifolds and symbolic dynamics
A Compiler for Sound Floating-Point using Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Extended Libor Market Models with Affine and Quadratic Volatility
Mixed signal circuit verification using symbolic model checking techniques
A Case Study on Case-Based and Symbolic Learning : (extended abstract)
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract)
Arithmetic
Arithmetic
Arithmetic
Arithmetic.
Analytic K-homology, arithmetic manifolds and symbolic dynamics
A Compiler for Sound Floating-Point using Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Extended Libor Market Models with Affine and Quadratic Volatility
Mixed signal circuit verification using symbolic model checking techniques
A Case Study on Case-Based and Symbolic Learning : (extended abstract)
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract)
Arithmetic
Arithmetic
Arithmetic
Arithmetic.
Analytic K-homology, arithmetic manifolds and symbolic dynamics
A Compiler for Sound Floating-Point using Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Extended Libor Market Models with Affine and Quadratic Volatility
Mixed signal circuit verification using symbolic model checking techniques
A Case Study on Case-Based and Symbolic Learning : (extended abstract)
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract)
Arithmetic
Arithmetic
Arithmetic