| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIORUON00271081 |
|
|
Autore |
DRANS, Jean |
|
|
Titolo |
Recueil de textes français classés méthodiquement et par ordre de difficulté avec traduction siamoise à l'usage des élèves de l'Ecole des Langues orientales vivantes er des étudiants des Universités siamoises / Jean Drans |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bangkok, : Bangkok Times Press, 1939 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Soggetti |
|
LINGUA THAI - GRAMMATICHE |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910298982703321 |
|
|
Autore |
Förster Michael |
|
|
Titolo |
Algorithmic Differentiation of Pragma-Defined Parallel Regions : Differentiating Computer Programs Containing OpenMP / / by Michael Förster |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (411 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computer science - Mathematics |
Artificial intelligence |
Engineering mathematics |
Engineering - Data processing |
Mathematics of Computing |
Artificial Intelligence |
Mathematical and Computational Engineering Applications |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction with Examples from Numerical Optimization -- Algorithmic Differentiation by Source Transformation -- Transformation rules for Parallel Code Regions (e.g. OpenMP 3.1) -- Static Program Analysis. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Numerical programs often use parallel programming techniques such as OpenMP to compute the program's output values as efficient as possible. In addition, derivative values of these output values with respect to certain input values play a crucial role. To achieve code that computes not only the output values simultaneously but also the derivative values, this work introduces several source-to-source transformation rules. These rules are based on a technique called algorithmic differentiation. The main focus of this work lies on the important reverse mode of algorithmic differentiation. The inherent data-flow reversal of the reverse mode must be handled properly during the transformation. The first part of the work examines the transformations in a very general way since pragma-based parallel regions occur in many different kinds such as OpenMP, OpenACC, and Intel Phi. The second part describes the transformation rules of the most important OpenMP constructs. Contents Introduction with Examples from Numerical Optimization Algorithmic Differentiation by Source Transformation Transformation rules for Parallel Code Regions (e.g. OpenMP 3.1) Static Program Analysis Target Groups Lecturers and students of computer science Computer scientists, engineers, mathematicians and numerical analysts The Author Michael Förster is currently Research Associate of the Institute Software and Tools for Computational Engineering, RWTH Aachen University. |
|
|
|
|
|
|
|
| |