| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991002370529707536 |
|
|
Autore |
Lucas Verdu, Pablo |
|
|
Titolo |
Teoría de la Constitución como ciencia cultural / Pablo Lucas Verdú |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991003317889707536 |
|
|
Titolo |
Advances in agricultural economic history [e-journal] |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Altri autori (Enti) |
|
ScienceDirect (Online service) |
|
|
|
|
|
|
Soggetti |
|
Agricultura - Aspetti economici - Periodici |
Industrializzazione - Periodici |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Software |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Description based on print version record |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910983066103321 |
|
|
Titolo |
Recent Advances in the Message Passing Interface : 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25–27, 2024, Proceedings / / edited by Claudia Blaas-Schenner, Christoph Niethammer, Tobias Haas |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (144 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15267 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Algorithms |
Computer networks |
Software engineering |
Computer programming |
Computer engineering |
Computer simulation |
Computer Communication Networks |
Software Engineering |
Programming Techniques |
Computer Engineering and Networks |
Computer Modelling |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Compile time Correctness Checks and Optimization -- SPMD IR Unifying SPMD and Multi Value IR Showcased for Static Verification of Collectives -- Annotation of Compiler Attributes for MPI Functions -- Limitations and Extensions for GPGPUs in MPI -- Understanding GPU Triggering APIs for MPI X Communication -- Stream Support in MPI without the Churn -- Improvements for MPI -- Improved MPI Collectives for 3D FFT -- To Share or Not to Share A Case for MPI in Shared Memory -- MPI Ecosystem -- Dynamic Resource Management for In Situ Techniques using MPI Sessions -- MPI BugBench A Framework for Assessing MPI Correctness Tools. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024. The 8 full papers presented here were carefully reviewed and selected from 19 submissions. These papers have been categorized under the following topical sections: Compile-time Correctness checks and optimization; Limitations and Extensions for GPGPUs in MPI; Improvements for MPI and MPI Ecosystem. |
|
|
|
|
|
|
|
| |