| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990003658460203316 |
|
|
Autore |
DELLAVALLE, Sergio |
|
|
Titolo |
Dalla comunità particolare all'ordine universale / Sergio Dellavalle |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli : Edizioni scientifiche italiane, 2011- |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910640382503321 |
|
|
Titolo |
High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 – June 2, 2022, Revised Selected Papers / / edited by Hartwig Anzt, Amanda Bienz, Piotr Luszczek, Marc Baboulin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (398 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13387 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computer engineering |
Computer networks |
Software engineering |
Application software |
Microprogramming |
Logic design |
Computer Engineering and Networks |
Software Engineering |
Computer and Information Systems Applications |
Control Structures and Microprogramming |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Compiler-assisted Correctness Checking and Performance Optimization for HPC -- Compiler-assisted Instrumentation Selection for Large-scale C++ Codes -- Lightweight Array Contraction by Trace-Based Polyhedral Analysis -- Detecting scale-induced overflow bugs in production HPC codes -- HPC on Heterogeneous Hardware (H3) -- AI Benchmarking for Science: Efforts from the MLCommons Science Working Group -- Performance Analysis of Matrix Multiplication for Deep Learning on the Edge -- Strategies for efficient execution of Pipelined Conjugate Gradient method on GPU systems -- A Multi-Level Platform-Independent GPU API for High-Level Programming Models -- Precise Energy Consumption Measurements of Heterogeneous Artificial Intelligence Workloads -- Malleability Techniques Applications in High Performance Computing -- Detecting interference between applications and improving the scheduling using malleable application proxies -- An Emulation Layer for Dynamic Resources with MPI Sessions -- Exploiting OpenMP malleability with free agent threads and DLB -- QR Factorization using Malleable BLAS on Multicore Processors -- IMSS: In-Memory Storage System for Data Intensive Applications -- On the Convergence of Malleability and the HPC PowerStack: Exploiting Dynamism in Over-Provisioned and Power-Constrained HPC Systems -- Fifth Workshop on Interactive High Performance Computing -- Interactive, Cloud-Native Workflows on HPC Using KNoC -- Workflows to driving high-performance interactive supercomputing for urgent decision making -- 3rd ISC HPC International Workshop on Monitoring & Operational Data Analytics -- Data Center Facility Monitoring with Physics Aware Approach -- Rule-based Thermal Anomaly Detection for Tier-0 HPC Systems -- 6th International Workshop on In Situ Visualization -- InSitu Analysis and Visualization of Extreme-Scale Particle Simulations -- Insite: A Pipeline Enabling In-Transit Visualization and Analysis for Neuronal Network Simulations -- The Need for Pervasive In Situ Analysis and Visualization (P-ISAV) -- Interactive Visualization of Large-Scale Oil and Gas Reservoir Simulation Models -- Cinema Transfer: a Containerized Visualization Workflow -- 17th Workshop on Virtualization in High Performance Cloud Computing -- Virtual Clusters: Isolated, Containerized HPC Environments in Kubernetes -- Analyzing Unikernel Support for HPC: Experimental Study of OpenMP -- On the use of Linux Real-Time Features for RAN Packet Processing in Cloud Environments -- eBPF-based Extensible Paravirtualization. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Chapter “Compiler-Assisted Instrumentation Selection for Large-Scale C++ Codes” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. |
|
|
|
|
|
|
|
| |