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.
Accelerator programming using directives : 7th international workshop, WACCPD 2020, virtual event, November 20, 2020, proceedings / / edited by Sridutt Bhalachandra, Christopher Daley, and Verónica Melesse Vergara
| Accelerator programming using directives : 7th international workshop, WACCPD 2020, virtual event, November 20, 2020, proceedings / / edited by Sridutt Bhalachandra, Christopher Daley, and Verónica Melesse Vergara |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (157 pages) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
High performance computing
Microprogramming Computer programming Càlcul intensiu (Informàtica) Programació (Ordinadors) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-97759-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Directive Alternatives -- Can Fortran's `do concurrent' Replace Directives for Accelerated Computing?*-8pt -- 1 Introduction -- 2 Code and Test Description -- 2.1 Code Description -- 2.2 Test Description -- 2.3 Computational Environment -- 2.4 Baseline Performance Results -- 3 Implementation -- 3.1 The Fortran do concurrent construct -- 3.2 Code Versions -- 3.3 Compiler Flag Options -- 4 Results -- 4.1 Results Using nvfortran -- 4.2 Results Using gfortran -- 4.3 Results Using ifort -- 4.4 Experimental Results -- 5 Discussion -- 6 Artifact Availability Statement -- References -- Achieving Near-Native Runtime Performance and Cross-Platform Performance Portability for Random Number Generation Through SYCL Interoperability -- 1 Introduction -- 1.1 Contribution -- 2 Related Work -- 2.1 Parallel Programming Frameworks -- 2.2 Linear Algebra Libraries -- 2.3 The Proposed Approach -- 3 SYCL Overview -- 4 SYCL-Based RNG Implementations of NVIDIA and AMD GPUs in oneMKL -- 4.1 Technical Aspects -- 4.2 Native cuRAND and hipRAND flow -- 4.3 Implementation of cuRAND and hipRAND in oneMKL -- 5 Benchmark Applications -- 5.1 Random Number Generation Burner -- 5.2 FastCaloSim -- 6 Performance Evaluation -- 6.1 Performance Portability Metrics -- 6.2 Hardware Specifications -- 6.3 Software Specifications -- 7 Results -- 8 Conclusions and Future Work -- References -- Directive Extensions -- Extending OpenMP for Machine Learning-Driven Adaptation -- 1 Introduction -- 2 A Motivating Example -- 3 A Vision -- 4 The declare adaptation Directive -- 4.1 Syntax and Semantics of declare adaptation -- 4.2 Examples Using metadirective -- 5 Implementation -- 5.1 Compiler Support -- 5.2 Runtime Support -- 6 Evaluation -- 6.1 Software and Hardware Configurations -- 6.2 Performance Results -- 6.3 Accuracy of Prediction Models.
6.4 Overhead Analysis -- 7 Related Work -- 8 Conclusion -- References -- Directive Case Studies -- GPU Porting of Scalable Implicit Solver with Green's Function-Based Neural Networks by OpenACC -- 1 Introduction -- 2 Solver with Green's Function-Based NN Preconditioner -- 2.1 Target Problem -- 2.2 GF-Based NN Predictor -- 2.3 Scalable Solver Algorithm Using GF-Based NN Predictor -- 3 GPU Porting of Solver with Green's Function-Based NN Preconditioner Using OpenACC -- 4 Performance Measurement -- 4.1 Problem Used for Measurement -- 4.2 Performance Measurement Environment -- 4.3 Solver Performance on GPU-Based System -- 4.4 Weak Scaling on GPU-Based System -- 5 Closing Remarks -- References -- Challenges Porting a C++ Template-Metaprogramming Abstraction Layer to Directive-Based Offloading -- 1 Introduction -- 2 Related Work -- 3 Methods and APIs -- 3.1 Alpaka and PIConGPU -- 3.2 Review of OpenACC and OpenMP Target -- 3.3 Experimental Setup -- 4 Porting Alpaka -- 4.1 Final Touches: PIConGPU -- 5 Major Hurdles and Discussion -- 5.1 Standards Issues -- 5.2 Compiler and Runtime Issues -- 5.3 Preliminary Results -- 6 Conclusions and Outlook -- References -- Accelerating Quantum Many-Body Configuration Interaction with Directives -- 1 Introduction -- 2 Computational Motifs in Configuration Interaction Code MFDn -- 2.1 Matrix Sparsity Determination -- 2.2 Parallel Prefix Sum -- 2.3 Filling Shared Arrays -- 2.4 Array Reductions -- 3 Conclusion and Outlook -- References -- GPU Offloading of a Large-Scale Gyrokinetic Particle-in-Cell Fortran Code on Summit: From OpenACC to OpenMP -- 1 Introduction -- 2 Software and Experimental Setup -- 2.1 Experimental Setup -- 2.2 OpenMP GPU Offloading -- 3 The Structure of GEM -- 4 Results and Analysis -- 4.1 Speedup Performance and Roofline Analysis for Single Node -- 4.2 Scalability Analysis. 4.3 Investigation of Hardware Threads -- 5 Discussion -- 6 Summary -- References -- Author Index. |
| Record Nr. | UNISA-996475771803316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ACM queue : tomorrow's computing today
| ACM queue : tomorrow's computing today |
| Pubbl/distr/stampa | New York, N.Y., : ACM, 2003- |
| Descrizione fisica | 1 online resource (volumes) |
| Soggetto topico |
Software engineering
Computer software - Development Génie logiciel Logiciels - Développement Informatica Informàtica Programació (Ordinadors) |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1542-7749 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Queue |
| Record Nr. | UNINA-9910144096103321 |
| New York, N.Y., : ACM, 2003- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Animated Program Design : Intermediate Program Design Using Video Game Development / / by Marco T. Morazán
| Animated Program Design : Intermediate Program Design Using Video Game Development / / by Marco T. Morazán |
| Autore | Morazán Marco T. |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (515 pages) |
| Disciplina | 794.81526 |
| Collana | Texts in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Video games - Programming Software Engineering Programming Techniques Game Development Disseny de videojocs Programació (Ordinadors) |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031043178
9783031043161 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Basic Problem Solving and Program Design -- 1. The Science of Problem Solving -- 2. The N-Puzzle Problem -- 3. Randomness -- Part II: Generative Recursion -- 4. Introduction to Generative Recursion -- 5. Sorting -- 6. Searching -- 7. N-Puzzle Version 2 -- 8. N-Puzzle Version 3 -- Part III: Accumulative Recursion -- 9. Accumulators -- 10. N-Puzzle Versions 4 and 5 -- 11. Iteration -- 12. N-Puzzle Version 6 -- 13. Continuation-Passing Style -- Part IV: Mutation -- 14. Sharing Values -- 15. Mutation Sequencing -- 16. Vectors -- 17. In-Place Operations -- 18. The Chicken and the Egg Paradox -- Part V: Epilogue -- 19. Where to go from here. |
| Record Nr. | UNINA-9910595029003321 |
Morazán Marco T.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Blockchain technology and application : third CCF China blockchain conference, CBCC 2020, Jinan, China, December 18-20, 2020 : revised selected papers / / Ke Xu [and three others] (editors)
| Blockchain technology and application : third CCF China blockchain conference, CBCC 2020, Jinan, China, December 18-20, 2020 : revised selected papers / / Ke Xu [and three others] (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (IX, 127 p. 76 illus., 43 illus. in color.) |
| Disciplina | 004.22 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Programació (Ordinadors)
Blockchains (Databases) Computer organization Data encryption (Computer science) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 981-336-478-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ChainSim: A P2P blockchain simulation framework -- Blockchain-based Access Control Mechanism in Electronic Evidence -- A Blockchain-Based Digital Copyright Protection System with Security and Efficiency -- Multi-Core and SIMD Architecture based Implementation on SHA-256 of Blockchain -- EduChain: A blockchain-based education data management system -- A Case Study for Blockchain in OTC: “BATN”: A Prototype for Bid and Ask Trading Network -- A Group-based Optimized Practical Byzantine Fault Tolerance Consensus Algorithm -- Storage Optimization for Certificates in Blockchain based PKI System. |
| Record Nr. | UNISA-996464436803316 |
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic programming and evolvable machines
| Genetic programming and evolvable machines |
| Pubbl/distr/stampa | Netherlands, : Kluwer Academic Publishers, 2000- |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Soggetto topico |
Genetic programming (Computer science)
Genetic algorithms Evolutionary programming (Computer science) Programació (Ordinadors) |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1573-7632 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910140520403321 |
| Netherlands, : Kluwer Academic Publishers, 2000- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Higher-order and symbolic computation
| Higher-order and symbolic computation |
| Pubbl/distr/stampa | [Dordrecht], : Kluwer Academic Publishers, 1998- |
| Disciplina | 005.133 |
| Soggetto topico |
LISP (Computer program language)
Computer programming LISP (Langage de programmation) - Périodiques Programmation (Informatique) - Périodiques LISP (Llenguatge de programació) Programació (Ordinadors) |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 2212-0793 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910143380703321 |
| [Dordrecht], : Kluwer Academic Publishers, 1998- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
International journal on software tools for technology transfer : STTT
| International journal on software tools for technology transfer : STTT |
| Pubbl/distr/stampa | Berlin, : Springer, 1997- |
| Disciplina | 005 |
| Soggetto topico |
Computer software - Development
Systems software Technology transfer Computer programming - Management Logiciels Programació (Ordinadors) Programari Transferència de tecnologia |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1433-2787 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
STTT
Software tools for technology transfer |
| Record Nr. | UNINA-9910138872003321 |
| Berlin, : Springer, 1997- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of software maintenance : research and practice
| Journal of software maintenance : research and practice |
| Pubbl/distr/stampa | [Chichester], : John Wiley & Sons, -©2000 |
| Disciplina | 005 |
| Soggetto topico |
Software maintenance
Programació (Ordinadors) Manteniment del programari |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1096-908X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software maintenance, research and practice
Software maintenance |
| Record Nr. | UNINA-9910172195203321 |
| [Chichester], : John Wiley & Sons, -©2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of software maintenance and evolution : research and practice
| Journal of software maintenance and evolution : research and practice |
| Pubbl/distr/stampa | [Chichester, UK], : John Wiley & Sons, ©2001-©2009 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.16 |
| Soggetto topico |
Software maintenance
Logiciels - Maintenance Logiciels - Entretien et réparations Programació (Ordinadors) Manteniment del programari |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1532-0618 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software maintenance and evolution, research and practice
Software maintenance and evolution J. softw. maint. evol.: res. pract |
| Record Nr. | UNINA-9910172107803321 |
| [Chichester, UK], : John Wiley & Sons, ©2001-©2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings / / edited by Ekaterina Komendantskaya
| Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings / / edited by Ekaterina Komendantskaya |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (281 pages) |
| Disciplina |
371.39445
005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Computer networks Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Computer Communication Networks Programació (Ordinadors) Matemàtica discreta |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031169120
3031169123 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Breadth-First Traversal Via Staging -- Subtyping without Reduction -- Calculating datastructures -- Flexibly Graded Monads and Graded Algebras -- Folding over Neural Networks -- Towards a Practical Library for Monadic Equational Reasoning in Coq -- Semantic preservation for a type directed translation scheme of Featherweight Go -- Streams of Approximations, Equivalence of Recursive Effectful Programs -- Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. |
| Record Nr. | UNINA-9910595052303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
