Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Active Object Languages: Current Research Trends / / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
| Active Object Languages: Current Research Trends / / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (382 pages) |
| Disciplina | 005.4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Microprogramming Computer input-output equipment Logic design Computer networks Microprocessors Computer architecture Programming Techniques Control Structures and Microprogramming Input/Output and Data Communications Logic Design Computer Communication Networks Processor Architectures Arquitectura d'ordinadors Xarxes d'ordinadors Equip perifèric Programació (Ordinadors) Estructura lògica Microprocessadors |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-51060-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Active Objects based on Algebraic Effects -- Actor-based Designs for Distributed Self-organisation Programming -- Encore: Coda -- Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems -- A Survey of Actor-Like Programming Models for Serverless Computing -- Programming Language Implementations with Multiparty Session Types -- Modelling -- Integrated Timed Architectural Modeling/Execution Language -- Simulating User Journeys with Active Objects -- Actors Upgraded for Variability, Adaptability, and Determinism -- Analysis -- Integrating Data Privacy Compliance in Active Object Languages -- Context-aware Trace Contracts -- Type-Based Verification of Delegated Control in Hybrid Systems -- Enforced Dependencies for Active Objects. |
| Record Nr. | UNINA-9910806197803321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advancing OpenMP for Future Accelerators : 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23–25, 2024, Proceedings / / edited by Alexis Espinosa, Michael Klemm, Bronis R. de Supinski, Maciej Cytowski, Jannis Klinkenberg
| Advancing OpenMP for Future Accelerators : 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23–25, 2024, Proceedings / / edited by Alexis Espinosa, Michael Klemm, Bronis R. de Supinski, Maciej Cytowski, Jannis Klinkenberg |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (230 pages) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Microprogramming Computer input-output equipment Computers, Special purpose Computer systems Compilers and Interpreters Control Structures and Microprogramming Input/Output and Data Communications Special Purpose and Application-Based Systems Computer System Implementation Compiladors (Programes d'ordinador) Sistemes informàtics Equip perifèric |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031725678
3031725670 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Current and Future OpenMP Optimization. -- Towards Locality-Aware Host-to-Device Offloading in OpenMP. -- Performance Porting the ExaStar Multi-physics App Thornado On Heterogeneous Systems - A Fortran-OpenMP Code-base Evaluation. -- Event-Based OpenMP Tasks for Time-Sensitive GPU-Accelerated Systems. -- Targeting More Devices. -- Integrating Multi-FPGA Acceleration to OpenMP Distributed Computing. -- Towards a Scalable and Efficient PGAS-based Distributed OpenMP. -- Multilayer Multipurpose Caches for OpenMP Target Regions on FPGAs. -- Best Practices. -- Survey of OpenMP Practice in General Open Source Software. -- CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations. -- Evaluation of Directive-based Programming Models for Stencil Computation on Current GPGPU Architectures. -- Tools. -- Finding Equivalent OpenMP Fortran and C/C++ Code Snippets Using Large Language Models. -- Visualizing Correctness Issues in OpenMP Programs. -- Developing an Interactive OpenMP Programming Book with Large Language Models. -- Simplifying Parallelization. -- Automatic Parallelization and OpenMP Offloading of Fortran Array Notation. -- Detrimental Task Execution Patterns in Mainstream OpenMP Runtimes. |
| Record Nr. | UNINA-9910888598803321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer architecture news
| Computer architecture news |
| Pubbl/distr/stampa | New York, N.Y., : ACM Special Interest Group on Computer Architecture, 1972-[2017] |
| Disciplina | 001.64 |
| Soggetto topico |
Computer architecture
Ordinateurs - Architecture Computerarchitectuur Informàtica Sistemes operatius (Ordinadors) Equip perifèric Arquitectura d'ordinadors |
| Soggetto genere / forma |
Periodical
periodicals. Periodicals. Périodiques. Revistes electròniques. |
| ISSN | 1943-5851 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
SIGARCH computer architecture news
ACM SIGARCH computer architecture news S.I.G.A.R.C.H. computer architecture news SIGARCH |
| Record Nr. | UNINA-9910375865403321 |
| New York, N.Y., : ACM Special Interest Group on Computer Architecture, 1972-[2017] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Job Scheduling Strategies for Parallel Processing : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers / / edited by Dalibor Klusáček, Julita Corbalán, Gonzalo P. Rodrigo
| Job Scheduling Strategies for Parallel Processing : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers / / edited by Dalibor Klusáček, Julita Corbalán, Gonzalo P. Rodrigo |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (200 pages) |
| Disciplina | 004.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Coding theory Information theory Microprogramming Computer input-output equipment Logic design Software Engineering Artificial Intelligence Coding and Information Theory Control Structures and Microprogramming Input/Output and Data Communications Logic Design Intel·ligència artificial Teoria de la codificació Teoria de la informació Equip perifèric Estructura lògica Enginyeria de programari |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-031-43943-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architecture of the Slurm Workload Manager -- Asynchronous Execution of Heterogeneous Tasks in ML-driven HPC Workflows -- Memory-Aware Latency Prediction Model for Concurrent Kernels in Partitionable GPUs: Simulations and Experiments -- Stragglers in Distributed Matrix Multiplication -- Optimization Metrics for the Evaluation of Batch Schedulers in HPC -- An experimental analysis of regression-obtained HPC scheduling heuristics -- An efficient approach based on graph neural networks for predicting wait time in job schedulers -- Evaluating the Potential of Coscheduling on High-Performance Computing Systems -- Scaling Optimal Allocation of Cloud Resources Using Lagrange Relaxation. |
| Record Nr. | UNINA-9910746090903321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Konrad Zuse's Early Computers : The Quest for the Computer in Germany / / by Raúl Rojas
| Konrad Zuse's Early Computers : The Quest for the Computer in Germany / / by Raúl Rojas |
| Autore | Rojas Raúl |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (240 pages) |
| Disciplina | 004.094309041 |
| Collana | History of Computing |
| Soggetto topico |
Computers - History
Technology History Microprocessors Computer architecture Computers History of Computing History of Technology Processor Architectures Computer Hardware Equip perifèric Arquitectura d'ordinadors Microprocessadors Història de la informàtica Història de la tecnologia |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 9783031398766 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Konrad Zuse and the Dawn of the Computer Age -- 2. The Race to Build the Computer in World War II -- 3. The Z1: Architecture and Algorithms of Zuse’s First Computer -- 4. The Z2 and the Cipher Machine -- 5. The Architecture of the Z3 -- 6. How to Make Zuse’s Z3 a Universal Computer -- 7. The S1 and S2: Zuse’s Work for the German Military 1941-1945 -- 8. The Architecture of the Z4 -- 9. The Conditional Jump: Making the Z4 Universal -- 10. Plankalkül -- 11. Zuse’s Computer for Binary Logic -- 12. The First Code for Computer Chess -- 13. The Reconstruction of Konrad Zuse’s Z3 -- 14. Epilogue. |
| Record Nr. | UNINA-9910751397703321 |
Rojas Raúl
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
OpenMP: Advanced Task-Based, Device and Compiler Programming : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings / / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg
| OpenMP: Advanced Task-Based, Device and Compiler Programming : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings / / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg |
| Autore | McIntosh-Smith Simon |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (244 pages) |
| Disciplina | 005.275 |
| Altri autori (Persone) |
KlemmMichael
De SupinskiBronis R DeakinTom KlinkenbergJannis |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Microprocessors
Computer architecture Compilers (Computer programs) Microprogramming Computer input-output equipment Computers, Special purpose Computer systems Processor Architectures Compilers and Interpreters Control Structures and Microprogramming Input/Output and Data Communications Special Purpose and Application-Based Systems Computer System Implementation Microprocessadors Arquitectura d'ordinadors Compiladors (Programes d'ordinador) Sistemes informàtics Equip perifèric |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031407444
303140744X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OpenMP and AI: Advising OpenMP Parallelization via a Graph-Based Approach with Transformers -- Towards Effective Language Model Application in High-Performance Computing -- OpenMP Advisor: A Compiler Tool for Heterogeneous Architectures -- Tasking Extensions: Introducing Moldable Task in OpenMP -- Suspending OpenMP Tasks on Asynchronous Events: Extending the Taskwait Construct -- How to Efficiently Parallelize Irregular DOACROSS Loops Using Fine-Grained Granularity and OpenMP Tasks? The mcf Case -- OpenMP Offload Experiences: The Kokkos OpenMPTarget Backend: Implementation and Lessons Learned -- Fine-Grained Parallelism on GPUs Using OpenMP Target Offloading -- Improving a Multigrid Poisson Solver with Peer-to-Peer Communication and Task Dependencies -- Beyond Explicit GPU Support: Multipurpose Cacheing to accelerate OpenMP Target Regions on FPGAs -- GeneralizingHierarchical Parallelism -- Exploring the Limits of Generic Code Execution on GPUs via Direct (OpenMP) Offload -- OpenMP Infrastructure and Evaluation: Improving Simulations of Task-Based Applications on Complex NUMA Architectures -- Experimental Characterization of OpenMP Offloading Memory Operations and Unified Shared Memory Support -- OpenMP Reverse Offloading Using Shared Memory Remote Procedure Calls. |
| Record Nr. | UNINA-9910743696103321 |
|
McIntosh-Smith Simon
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
