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.
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 |
| Autore | Espinosa Alexis |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (230 pages) |
| Disciplina | 005.45 |
| Altri autori (Persone) |
KlemmMichael
de SupinskiBronis R CytowskiMaciej KlinkenbergJannis |
| 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 |
| ISBN | 3-031-72567-0 |
| 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 |
Espinosa Alexis
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automatic translation / D. Yu. Panov ; translated from the russian by R. Kisch ; edited by A. J. Mitchell
| Automatic translation / D. Yu. Panov ; translated from the russian by R. Kisch ; edited by A. J. Mitchell |
| Autore | Padov, D. Yu. |
| Pubbl/distr/stampa | London [etc.] : Pergamon Press, 1960 |
| Descrizione fisica | 73 p. : ill. ; 22 cm |
| Disciplina | 005.45 |
| Soggetto non controllato | Traduzione meccanica - Elaboratori |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000494860403321 |
| Padov, D. Yu. | ||
| London [etc.] : Pergamon Press, 1960 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning C : From Beginner to Pro / / by German Gonzalez-Morris, Ivor Horton
| Beginning C : From Beginner to Pro / / by German Gonzalez-Morris, Ivor Horton |
| Autore | Gonzalez-Morris German |
| Edizione | [7th ed. 2024.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 |
| Descrizione fisica | 1 online resource (710 pages) |
| Disciplina | 005.45 |
| Altri autori (Persone) | HortonIvor |
| Soggetto topico | C (Computer program language) |
| ISBN | 9798868801495 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Programming in C -- 2. First Steps in Programming -- 3. Making Decisions -- 4. Loops -- 5. Arrays -- 6. Applications with Strings and Text -- 7. Pointers -- 8. Structuring Your Programs -- 9. More on Functions -- 10. Essential Input and Output Operations -- 11. Structuring Data -- 12. Working with Files -- 13. Supporting Facilities -- 14. Advanced and Specialized Topics -- A. Computer Arithmetic -- B. ASCII Character Code Definitions -- C. Reserved Words in C -- D. Input and Output Format Specifications -- E. Standard Library Headers. |
| Record Nr. | UNINA-9910841862903321 |
|
Gonzalez-Morris German
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CGO '17 : proceedings of the 2017 International Symposium on Code Generation and Optimization : February 4-8, 2017, Austin, USA / / edited by Vijay Janapa Reddi, Aaron Smith, and Lingjia Tang
| CGO '17 : proceedings of the 2017 International Symposium on Code Generation and Optimization : February 4-8, 2017, Austin, USA / / edited by Vijay Janapa Reddi, Aaron Smith, and Lingjia Tang |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2017 |
| Descrizione fisica | 1 online resource (317 pages) |
| Disciplina | 005.45 |
| Soggetto topico |
Code generators
Compilers (Computer programs) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910169251303321 |
| Piscataway, New Jersey : , : IEEE Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CGO '17 : proceedings of the 2017 International Symposium on Code Generation and Optimization : February 4-8, 2017, Austin, USA / / edited by Vijay Janapa Reddi, Aaron Smith, and Lingjia Tang
| CGO '17 : proceedings of the 2017 International Symposium on Code Generation and Optimization : February 4-8, 2017, Austin, USA / / edited by Vijay Janapa Reddi, Aaron Smith, and Lingjia Tang |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2017 |
| Descrizione fisica | 1 online resource (317 pages) |
| Disciplina | 005.45 |
| Soggetto topico |
Code generators
Compilers (Computer programs) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280210003316 |
| Piscataway, New Jersey : , : IEEE Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
CGO 2015 : proceedings of the 2015 IEEE/ACM International Symposium on Code Generation and Optimization : February 7-11, 2015, San Francisco, California, USA / / co-sponsored by ACM SIGMICRO, ACM SIGPLAN, and the IEEE Computer Society TC-uARCH
| CGO 2015 : proceedings of the 2015 IEEE/ACM International Symposium on Code Generation and Optimization : February 7-11, 2015, San Francisco, California, USA / / co-sponsored by ACM SIGMICRO, ACM SIGPLAN, and the IEEE Computer Society TC-uARCH |
| Pubbl/distr/stampa | Washington, District of Columbia : , : IEEE Computer Society, , 2015 |
| Descrizione fisica | 1 online resource (280 pages) |
| Disciplina | 005.45 |
| Soggetto topico |
Code generators
Compilers (Computer programs) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376615703321 |
| Washington, District of Columbia : , : IEEE Computer Society, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Data Parallel C++ : Programming Accelerated Systems Using C++ and SYCL / / by James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian
| Data Parallel C++ : Programming Accelerated Systems Using C++ and SYCL / / by James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian |
| Autore | Reinders James |
| Edizione | [2nd ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (XXX, 630 p. 329 illus., 294 illus. in color.) |
| Disciplina | 005.45 |
| Soggetto topico |
Compilers (Computer programs)
Makerspaces Compilers and Interpreters Maker |
| ISBN | 1-4842-9691-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction -- Chapter 2: Where Code Executes -- Chapter 3: Data Management and Ordering the Uses of Data -- Chapter 4: Expressing Parallelism -- Chapter 5: Error Handling -- Chapter 6: Unified Shared Memory -- Chapter 7: Buffers -- Chapter 8: Scheduling Kernels and Data Movement -- Chapter 9: Local Memory and Work-group Barriers -- Chapter 10: Defining Kernels -- Chapter 11: Vector and Math Arrays -- Chapter 12: Device Information and Kernel Specialization -- Chapter 13: Practical Tips -- Chapter 14: Common Parallel Patterns -- Chapter 15: Programming for GPUs -- Chapter 16: Programming for CPUs -- Chapter 17: Programming for FFGAs -- Chapter 18: Libraries -- Chapter 19: Memory Model and Atomics -- Chapter 20: Backend Interoperability -- Chapter 21: Migrating CUDA Code -- Epilogue. |
| Record Nr. | UNINA-9910746982603321 |
|
Reinders James
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings / / edited by Anne E. Haxthausen, Wendelin Serwe
| Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings / / edited by Anne E. Haxthausen, Wendelin Serwe |
| Autore | Haxthausen Anne E |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (267 pages) |
| Disciplina | 005.45 |
| Altri autori (Persone) | SerweWendelin |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Software engineering Application software Artificial intelligence Computer science Computer engineering Computer networks Compilers and Interpreters Software Engineering Computer and Information Systems Applications Artificial Intelligence Theory of Computation Computer Engineering and Networks |
| ISBN |
9783031681509
9783031681493 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Real-Time Systems/Robotics -- Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios -- 1 Introduction -- 2 Related Work -- 3 Encoding of Abstract Scenarios -- 4 Encoding Vehicle Dynamics and Scenes -- 4.1 Encoding Trajectories as Splines -- 4.2 Encoding of Scenes -- 4.3 Encoding of Vehicle Dynamics -- 5 Correctness -- 6 Demonstration -- 7 Conclusion -- References -- Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations -- 1 Introduction -- 2 Case Studies -- 3 The Stark Tool -- 3.1 The Evolution Sequence Model -- 3.2 RobTL -- 4 DT-Stark -- 4.1 The Feedback Mechanism -- 5 Experiments -- 6 Related Work -- 7 Concluding Remarks -- References -- UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations -- 1 Introduction -- 2 Background -- 2.1 ROS 2 -- 2.2 Reservation Based Scheduling -- 2.3 Timed Automata and UPPAAL -- 2.4 Pattern-Based Verification of ROS 2 Systems -- 3 Modeling and Verification in UPPAAL -- 3.1 Feature Selection and Abstraction -- 3.2 Modeling of Callbacks -- 3.3 Modeling of the Multi-threaded Executor -- 3.4 System Declaration and Verification in UPPAAL -- 3.5 Modeling of Operating System Reservations -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Multi-threaded Execution -- 4.3 Reservation-Based Scheduling -- 4.4 Answer to the Research Questions -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Semantics and Verification -- Formalising the Industrial Language SMMT in mCRL2 -- 1 Introduction -- 2 The SMMT Language -- 3 A Formal Semantics of SMMT -- 4 Translational Semantics in mCRL2 -- 5 Validation and Experiments -- 6 Discussion -- 7 Conclusions -- References.
Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics -- 1 Introduction -- 2 Preliminaries -- 2.1 Fault Trees -- 2.2 Failure Data Set -- 2.3 Inference of Fault Tree Models -- 3 FT-MOEA-CM's Methodology -- 4 Experimental Evaluation -- 5 Results -- 5.1 Feature Assessment -- 5.2 Comparing FT-MOEA and FT-MOEA-CM -- 5.3 FT-MOEA-CM's Features: Parallelization and Caching -- 6 Conclusions -- References -- Logika: The Sireum Verification Framework -- 1 Introduction -- 2 Design Goals and Background -- 3 Features -- 4 Assessment -- 5 Related Work -- 6 Conclusion -- References -- Case Studies -- Fuzzing an Industrial Proprietary Protocol -- 1 Introduction -- 2 Challenges -- 3 BinFuzz -- 3.1 Protocol Reconstruction Phase -- 3.2 Fuzzing Phase -- 4 Protocol Fuzzing -- 4.1 FTP Protocol -- 4.2 Proprietary Drone Control Protocol -- 4.3 Limitations and Potential Extensions -- 5 Related Work -- 6 Conclusion -- References -- Modelling and Analysis of DTLS: Power Consumption and Attacks -- 1 Introduction -- 2 Background -- 2.1 DTLS 1.3 -- 2.2 Uppaal -- 2.3 Uppaal SMC -- 3 Modelling DTLS -- 3.1 Default DTLS 1.3 Protocol -- 3.2 DTLS 1.3 with Heartbeat Extension on Server -- 3.3 DTLS 1.3 with Heartbeat Extension on Client -- 4 Modelling DTLS Under Attack -- 5 Experiments -- 5.1 Power Consumption Comparison -- 5.2 Power Consumption with Malicious Actor -- 6 Related Work -- 7 Conclusion -- References -- Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges -- 1 Introduction -- 2 Background -- 3 Case Study Description -- 3.1 DDECAL -- 3.2 Halide Implementation -- 4 Verification Challenges and Solutions -- 4.1 Tuple Support -- 4.2 Verifying Flattened Multidimensional Arrays -- 4.3 Dealing with Quantifiers -- 5 Experiments -- 5.1 Micro-benchmarks -- 6 Lessons Learned -- 7 Related Work. 8 Conclusion -- References -- Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report -- 1 Introduction -- 2 Methodology -- 2.1 Operating Assumptions -- 2.2 Main FSM Extraction Algorithm -- 2.3 Code Abstractions -- 3 The fsm-explorer Tool -- 3.1 Configuration -- 3.2 Analysis -- 4 Analysis of a Legacy Heat Pump Controller -- 5 Conclusions -- References -- Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools -- 1 Introduction -- 2 Relay-Based RIS -- 3 The CLEARSY Safety Platform (CSSP) -- 4 Logical Description of the RIS Behaviour -- 5 Creation and Use of the RIS CSSP Monitor -- 6 Case Studies -- 6.1 Temporary Reversed Direction Installation -- 6.2 Signalling Light Panel -- 7 Discussion -- 8 Conclusion -- References -- Neural Networks -- Unifying Syntactic and Semantic Abstractions for Deep Neural Networks -- 1 Introduction -- 2 Background -- 2.1 Notation -- 2.2 Formal Analysis of Neural Networks -- 2.3 Semantic Compressions and Abstractions with Empirical Guarantees -- 2.4 Strong Formal Connections Between N and N' -- 2.5 Syntactic Neural Network Splitting and Merging -- 2.6 Syntactic Refinement -- 3 Methodology -- 3.1 Semantic Closeness Factor -- 3.2 Tree of Merges -- 3.3 Tree-Cuts and Refinement -- 3.4 Optimality of Tree -- 3.5 CEGAR ch12cegarspsnn,ch12cegar Loop Framework -- 4 Experiments -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 Mission-Time Linear Temporal Logic (MLTL) ch13LVR19,ch13RRS14 -- 2.2 Abstract Syntax Tree Architecture -- 2.3 Model Predictive Runtime Verification (MPRV) ch13ZADJR23 -- 3 Multimodal Model Predictive Runtime Verification (MMPRV). 3.1 Predictive Mission-Time Linear Temporal Logic (PMLTL) -- 3.2 MMPRV Algorithm -- 3.3 Memory Requirements for MMPRV -- 4 Autonomous Vehicle Case Study -- 4.1 F1Tenth Autonomous Racing -- 4.2 Argoverse Autonomous Driving -- 5 Conclusion and Future Work -- References -- Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance -- 1 Introduction -- 2 Related Work -- 3 Case Study: Aircraft Loads-to-Stress Prediction -- 3.1 Description -- 3.2 Tested Models -- 3.3 Property to be Ensured: Local Stability -- 4 Method Combination for Local Stability Assessment -- 5 Experiments -- 6 Results -- 6.1 A Significant Verification Time Gain -- 6.2 Insights into the Models -- 7 Conclusions and Future Work -- A Open-Source Verification Pipeline -- References -- Author Index. |
| Record Nr. | UNINA-9910881098303321 |
|
Haxthausen Anne E
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Joys of Hashing : Hash Table Programming with C / / by Thomas Mailund
| The Joys of Hashing : Hash Table Programming with C / / by Thomas Mailund |
| Autore | Mailund Thomas |
| Edizione | [2nd ed. 2024.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 |
| Descrizione fisica | 1 online resource (225 pages) |
| Disciplina | 005.45 |
| Soggetto topico |
Compilers (Computer programs)
Computer programming Compilers and Interpreters Programming Techniques |
| ISBN | 979-88-6880-826-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. The Joys of Hashing -- 2. Hash Keys, Indices and Collisions -- 3. Collision Resolution, Load Factor and Performance -- 4. Resizing -- 5. Adding Application Keys and Values -- 6. Heuristic Hash Functions -- 7. Universal Hashing -- 8. Conclusions. |
| Record Nr. | UNINA-9910900171003321 |
|
Mailund Thomas
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Parallel SML : a functional language and its implementation in DACTL / Kevin Hammond
| Parallel SML : a functional language and its implementation in DACTL / Kevin Hammond |
| Autore | Hammond, Kevin |
| Pubbl/distr/stampa | London, : Pitman, 1991 |
| Descrizione fisica | 252 p. ; 25 cm |
| Disciplina |
005.4
005.45 |
| Collana | Research monographs in parallel and distributed computing |
| Soggetto topico |
Elaboratori paralleli - Programmazione
Linguaggi di programmazione |
| ISBN | 0273088319 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0398650 |
|
Hammond, Kevin
|
||
| London, : Pitman, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
