E-LIB Suche - Ergebnisse für: Eisenbiegler, Dirk

1

Programmierung physikalischer Simulationen für Einsteiger: ..:

Eisenbiegler, Dirk
MNU Journal / Verband zur Förderung des MINT-Unterrichts. 71 (2018) 3 - p. 175-180 , 2018

Link: https://www.physolator.c..
Copies: Zentrale; TB Technik;

2

An Object Oriented Approach Towards Simulating Physical Sys..:

, In: Advances in Intelligent Systems and Computing; Simulation and Modeling Methodologies, Technologies and Applications,

Eisenbiegler, Dirk ; Rose, Waldemar - p. 23-32 , 2018

Link: https://doi.org/10.1007/..

3

Ein Kalkül für die Formale Schaltungssynthese:

Eisenbiegler, Dirk , 1999

Link: http://nbn-resolving.de/..

4

Automata

a theory dedicated towards formal circuit synthesis [Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 97,14]

Eisenbiegler, Dirk - [Electronic ed.] . , [ca.1998]

Link: http://edok01.tib.uni-ha..

5

An efficient representation for formal synthesis:

, In: Proceedings of the 10th international symposium on System synthesis,

Blumenröhr, Christian ; Eisenbiegler, Dirk - p. 9-15 , 1997

Link: https://dl.acm.org/doi/1..

6

A formal model for a VHDL subset of synchronous circuits:

Eisenbiegler, Dirk ; Kumar, Ramayya ; Mueller, J
https://publikationen.bibliothek.kit.edu/339196. , 2007

Link: https://publikationen.bi..

7

On the efficiency of formal synthesis - experimental result:

Blumenroehr, Christian ; Eisenbiegler, Dirk ; Schmid, Detlef
https://publikationen.bibliothek.kit.edu/101199. , 2007

Link: https://publikationen.bi..

8

Gropius - advanced reuse concepts in a new hardware descrip..:

Eisenbiegler, Dirk ; Blumenroehr, Christian
https://publikationen.bibliothek.kit.edu/365698. , 2007

Link: https://publikationen.bi..

9

Applicability of formal synthesis illustrated via schedulin:

Blumenroehr, Christian ; Eisenbiegler, Dirk ; Kumar, Ramayya
https://publikationen.bibliothek.kit.edu/339596. , 2007

Link: https://publikationen.bi..

10

Automata - a theory dedicated towards formal circuit synthe..:

Eisenbiegler, Dirk
https://publikationen.bibliothek.kit.edu/19697. , 2007

Link: https://publikationen.bi..

11

Ein Kalkül für die Formale Schaltungssynthese:

Eisenbiegler, Dirk
info:eu-repo/semantics/altIdentifier/isbn/3-89722-197-7. , 1999

Link: https://publikationen.bi..

12

Deriving structural RT-implementations from algorithmic des..:

Blumenroehr, Christian ; Eisenbiegler, Dirk
HNI-Verlagsschriftenreihe. , 1998

Link: https://publikationen.bi..

13

Performing high-level synthesis via program transformations..:

Blumenroehr, Christian ; Eisenbiegler, Dirk
info:eu-repo/semantics/altIdentifier/isbn/0-8186-8646-4. , 1998

Link: https://publikationen.bi..

14

Possibilities, limitations and problems in retiming - a vie..:

Eisenbiegler, Dirk
info:eu-repo/semantics/altIdentifier/isbn/3-85320-826-6. , 1997

Link: https://publikationen.bi..

15

A constructive approach towards correctness of synthesis - ..:

Eisenbiegler, Dirk ; Kumar, Ramayya ; Blumenroehr, Christian
info:eu-repo/semantics/altIdentifier/isbn/0-8186-7786-4. , 1997

Link: https://publikationen.bi..