- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Forschungszentrum Rossendorf; FZR-195 October 1997
- Erschienen in
-
Wissenschaftlich-technische Berichte ; FZR-195
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Forschungszentrum Dresden
- (wann)
-
2010
- Ereignis
-
Veröffentlichung
- (wo)
-
Rossendorf
- (wer)
-
Forschungszentrum Rossendorf
- (wann)
-
2010
- Urheber
-
Grundmann, Ulrich
Rohde, Ulrich
- URN
-
urn:nbn:de:bsz:d120-qucosa-30991
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:26 MESZ
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.
Beteiligte
- Grundmann, Ulrich
- Rohde, Ulrich
- Forschungszentrum Dresden
- Forschungszentrum Rossendorf
Entstanden
- 2010
Ähnliche Objekte (12)
The Quantitative Verification Benchmark Set
Implementation and verification of global optimization benchmark problems
The ISMIP-HOM benchmark experiments performed using the Finite-Element code Elmer
Verification of the C0 compiler implementation on the source code level
SIMMER-III code verification phase I
Applying source code verification to a microkernel : the V-fiasco project
Refinement-Based Verification of Communicating Unstructured Code
Experimental benchmark of the NINJA code for application to the Linac4 H− ion source plasma
Predicting unstable software benchmarks using static source code features
Code verification of immersed boundary techniques using the method of manufactured solutions
Code verification of immersed boundary techniques using the method of manufactured solutions
The LDBC benchmark suite
The Quantitative Verification Benchmark Set
Implementation and verification of global optimization benchmark problems
The ISMIP-HOM benchmark experiments performed using the Finite-Element code Elmer
Verification of the C0 compiler implementation on the source code level
SIMMER-III code verification phase I
Applying source code verification to a microkernel : the V-fiasco project
Refinement-Based Verification of Communicating Unstructured Code
Experimental benchmark of the NINJA code for application to the Linac4 H− ion source plasma
Predicting unstable software benchmarks using static source code features
Code verification of immersed boundary techniques using the method of manufactured solutions
Code verification of immersed boundary techniques using the method of manufactured solutions
The LDBC benchmark suite
The Quantitative Verification Benchmark Set
Implementation and verification of global optimization benchmark problems
The ISMIP-HOM benchmark experiments performed using the Finite-Element code Elmer
Verification of the C0 compiler implementation on the source code level
SIMMER-III code verification phase I
Applying source code verification to a microkernel : the V-fiasco project
Refinement-Based Verification of Communicating Unstructured Code
Experimental benchmark of the NINJA code for application to the Linac4 H− ion source plasma
Predicting unstable software benchmarks using static source code features
Code verification of immersed boundary techniques using the method of manufactured solutions
Code verification of immersed boundary techniques using the method of manufactured solutions