Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Hochschulschrift 11 [ausschließen]
- Automatic theorem proving 10 [ausschließen]
- Parallel processing (Electronic computers) 8 [ausschließen]
- Parallelverarbeitung 8 [ausschließen]
- Differential equations, Partial 7 [ausschließen]
- Distributed parameter systems 7 [ausschließen]
- Multigrid methods (Numerical analysis) 5 [ausschließen]
- Softwarewerkzeug 5 [ausschließen]
- Parallel programming (Computer science) 4 [ausschließen]
- Aufsatzsammlung 3 [ausschließen]
- Betriebssystem 3 [ausschließen]
- Computer algorithms 3 [ausschließen]
- Computer simulation 3 [ausschließen]
- Connectionism 3 [ausschließen]
- Finite element method 3 [ausschließen]
- Formale Methode 3 [ausschließen]
- Forschungsbericht 3 [ausschließen]
- Modellierung 3 [ausschließen]
- Parallelrechner 3 [ausschließen]
- Verteiltes System 3 [ausschließen]
- Virtueller Speicher 3 [ausschließen]
- Abhängigkeit 2 [ausschließen]
- CMOS-Schaltung 2 [ausschließen]
- Combinatorial optimization 2 [ausschließen]
- Computer 2 [ausschließen]
- Computer architecture 2 [ausschließen]
- Differential equations, Elliptic 2 [ausschließen]
- Functional programming (Computer science) 2 [ausschließen]
- Hardware 2 [ausschließen]
- Iterative methods (Mathematics) 2 [ausschließen]
-
1
-
2
Transformation und Komposition von P/T-Netzen unter Erhaltung wesentlicher Eigenschaften
Veröffentlicht 1991“… SFB-Bericht …”
Buch -
3
Modelling and performance analysis of a parallel theorem prover
Veröffentlicht 1991“… SFB-Bericht …”
Buch -
4
-
5
-
6
Cache behavior prediction by abstract interpretation
Veröffentlicht 1997“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
7
Improving path delay fault testability by path removal
Veröffentlicht 1997“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
8
Software fault tolerant distributed application in LiPS
Veröffentlicht 1997“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
9
Parallel searching, merging, and sorting
Veröffentlicht 1996“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
10
Building the 4 processor SB-PRAM prototype
Veröffentlicht 1996“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
11
Parallel numerical algorithms with data distribution types
Veröffentlicht 1995“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
12
On the arrangement complexity of uniform trees
Veröffentlicht 1995“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
13
Making FORK practical
Veröffentlicht 1995“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
14
Distributed computation of the number of points on an elliptic curve over a finite prime field
Veröffentlicht 1995“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
15
RODEO - ein Werkzeug zur Unterstützung der Wiederverwendung im VLSI-CAD-System Playout
Veröffentlicht 1994“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
16
Parallel iterated Runge Kutta and applications
Veröffentlicht 1994“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
17
The ADDAP system on the iPSC 860 automatic data distribution and parallelization
Veröffentlicht 1994“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
18
The playout framework approach
Veröffentlicht 1993“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
19
A survey on parallel logic simulation
Veröffentlicht 1993“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch -
20
Unterstützung der Ablaufsteuerung in Entwurfsumgebungen durch Versionierung und Konfigurierung
Veröffentlicht 1993“… Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität <Saarbrücken; Kaiserslautern>: SFB-Bericht …”
Buch