-
1
المؤلفون: Roth, Niklas
مصطلحات موضوعية: Leistungsanalyse, Parallel Computing, Paralleles Rechnen, HPC, Performance Analysis, MPI
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::94eae881afdf1296d32df3143293d774Test
-
2
المؤلفون: Rain, Sophie
مصطلحات موضوعية: higher-order theorem proving, computergest��tztes Beweisen, Symbolische Rechnen, mathematical logic, formales Beweisen, first-order theorem proving, Beweisen in Pr��dikatenlogik erster Stufe, symbolic computation, automated reasoning, Beweisen in Pr��dikatenlogik h��herer Stufe
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::864362994ccab397f570b1be5b53e000Test
-
3
المؤلفون: Kainer, Michael
مصطلحات موضوعية: Delta-stepping, Benchmarking, Dijkstra's algorithm, Paralleles Rechnen, Parallel algorithms, Dijkstra's Algorithmus, Single-source shortest path problem, Simulation
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::fb601e485e810c3476ae82ced71a33dbTest
-
4
المؤلفون: Haselsteiner, Lukas
مصطلحات موضوعية: Adaptive Lastverteilung, Gemeinsame Speicher, Parallel Computing, Paralleles Rechnen, Shared Memory Systems, Adaptive Load-Balancing
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::aeffb213ac8cfcd40a72157bb6945ca5Test
-
5
المؤلفون: Klein, Tobias
مصطلحات موضوعية: Parallel Computing, Paralleles Rechnen, Visualisierung, Visualization
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::6f502b95a601f96b812f8a860dbda647Test
-
6
-
7
المؤلفون: Heinzl, René
مصطلحات موضوعية: high performance computing, programming techniques, application design, Applikationsentwicklung, Programmiertechniken, scientific computing, Hochgeschwindigkeitsprogrammieren, microelectronics, programming paradigms, Mikroelektronik, Programmierparadigmen, wissenschaftliches Rechnen
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::a517acb9efa63d3b5ff90c3163b5a5efTest