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 : 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / / edited by Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara
| Accelerator Programming Using Directives : 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / / edited by Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (157 pages) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Compilers (Computer programs)
Computer engineering Computer networks Microprogramming Computer input-output equipment Compilers and Interpreters Computer Engineering and Networks Control Structures and Microprogramming Input/Output and Data Communications |
| ISBN | 3-030-97759-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Can Fortran's `do concurrent' Replace Directives for Accelerated Computing? -- Achieving near native runtime performance and cross-platform performance portability for random number generation through SYCL interoperability -- Extending OpenMP for Machine Learning-Driven Adaptation -- GPU porting of scalable implicit solver with Green’s function-based neural networks by OpenACC -- Challenges Porting a C++ Template-Metaprogramming Abstraction Layer to Directive-based Offloading -- Accelerating quantum many-body configuration interaction with directives -- GPU offloading of a large-scale gyrokinetic particle-in-cell Fortran code: From OpenACC to OpenMP. |
| Record Nr. | UNINA-9910568267303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accelerator Programming Using Directives : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / / edited by Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland
| Accelerator Programming Using Directives : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / / edited by Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (108 pages) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Compilers (Computer programs)
Computer engineering Computer networks Microprogramming Computer programming Numerical analysis Compilers and Interpreters Computer Engineering and Networks Control Structures and Microprogramming Programming Techniques Numerical Analysis Programació (Ordinadors) Càlcul intensiu (Informàtica) |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-74224-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evaluating Performance Portability of OpenMP for SNAP on NVIDIA, Intel, and AMD GPUs using the Roofline Methodology -- Performance Assessment of OpenMP Compilers Targeting NVIDIA V100 GPUs -- GPU acceleration of the FINE/FR CFD solver in a heterogeneous environment with OpenACC directives -- Performance and Portability of a Linear Solver Across Emerging Architectures -- ADELUS: A Performance-Portable Dense LU Solver for Distributed-Memory Hardware-Accelerated Systems. |
| Record Nr. | UNINA-9910484727803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accelerator Programming Using Directives [[electronic resource] ] : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra
| Accelerator Programming Using Directives [[electronic resource] ] : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (170 pages) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer organization Microprogramming Input-output equipment (Computers) Logic design Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Control Structures and Microprogramming Input/Output and Data Communications Logic Design |
| ISBN | 3-030-49943-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996418304403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Accelerator Programming Using Directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra
| Accelerator Programming Using Directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (170 pages) |
| Disciplina |
005.1
005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Compilers (Computer programs)
Computer engineering Computer networks Microprogramming Computer input-output equipment Logic design Compilers and Interpreters Computer Engineering and Networks Control Structures and Microprogramming Input/Output and Data Communications Logic Design |
| ISBN | 3-030-49943-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910409662003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accelerator Programming Using Directives [[electronic resource] ] : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke
| Accelerator Programming Using Directives [[electronic resource] ] : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 137 p. 61 illus., 43 illus. in color.) |
| Disciplina | 001.642 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Logic design Input-output equipment (Computers) Microprogramming Computer organization Programming Languages, Compilers, Interpreters Logic Design Input/Output and Data Communications Control Structures and Microprogramming Computer Systems Organization and Communication Networks |
| ISBN | 3-030-12274-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466464703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke
| Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 137 p. 61 illus., 43 illus. in color.) |
| Disciplina |
001.642
005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Compilers (Computer programs)
Logic design Computer input-output equipment Microprogramming Computer engineering Computer networks Compilers and Interpreters Logic Design Input/Output and Data Communications Control Structures and Microprogramming Computer Engineering and Networks |
| ISBN | 3-030-12274-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910337577103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Advanced Computer Architecture : 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings / / edited by Dezun Dong, Xiaoli Gong, Cunlu Li, Dongsheng Li, Junjie Wu
| Advanced Computer Architecture : 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings / / edited by Dezun Dong, Xiaoli Gong, Cunlu Li, Dongsheng Li, Junjie Wu |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 336 p. 204 illus., 154 illus. in color.) |
| Disciplina | 005.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Microprocessors
Computer architecture Computer networks Computer systems Application software Operating systems (Computers) Microprogramming Processor Architectures Computer Communication Networks Computer System Implementation Computer and Information Systems Applications Operating Systems Control Structures and Microprogramming |
| ISBN | 981-15-8135-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interconnection network, Router and Network Interface Architecture -- Accelerator-based, Application-specific and Reconfigurable Architecture -- Processor, Memory, and Storage Systems Architecture -- Model, Simulation and Evaluation of Architecture -- New Trends of Technologies and Applications. |
| Record Nr. | UNINA-9910427719803321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced HDL Synthesis and SOC Prototyping : RTL Design Using Verilog / / by Vaibbhav Taraate
| Advanced HDL Synthesis and SOC Prototyping : RTL Design Using Verilog / / by Vaibbhav Taraate |
| Autore | Taraate Vaibbhav |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (xxi, 307 pages) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuits
Microprogramming Logic design Circuits and Systems Control Structures and Microprogramming Logic Design |
| ISBN | 981-10-8776-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- SOC Design -- RTL Design Guidelines -- RTL Design and Verification -- Processor cores and Architecture design -- Buses and protocols in SOC designs -- DSP Algorithms and Video Processing -- ASIC and FPGA Synthesis -- Static Timing Analysis -- SOC Prototyping -- SOC Prototyping guidelines -- Design Integration and SOC synthesis -- Interconnect delays and Timing -- SOC Prototyping and debug techniques -- Testing at the board level. |
| Record Nr. | UNINA-9910337620903321 |
Taraate Vaibbhav
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Robust Nonlinear Control Approaches for Quadrotor Unmanned Aerial Vehicle : Roadmap to Improve Tracking-Trajectory Performance in the Presence of External Disturbances / / by Moussa Labbadi, Yassine Boukal, Mohamed Cherkaoui
| Advanced Robust Nonlinear Control Approaches for Quadrotor Unmanned Aerial Vehicle : Roadmap to Improve Tracking-Trajectory Performance in the Presence of External Disturbances / / by Moussa Labbadi, Yassine Boukal, Mohamed Cherkaoui |
| Autore | Labbadi Moussa |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (263 pages) |
| Disciplina | 629.1326 |
| Collana | Studies in Systems, Decision and Control |
| Soggetto topico |
Control engineering
Robotics Automation Microprogramming Control, Robotics, Automation Control Structures and Microprogramming |
| ISBN | 3-030-81014-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Stabilization of QUAV under external disturbances using modified novel ST based on finite-time SMC -- Robust nonlinear backstepping SMC for QUAV subjected to external disturbance -- Robust adaptive global time-varying SMC for QUAV subjected to Gaussian random uncertainties/disturbances -- Global fractional controller based on SMC for the QUAV under uncertainties and disturbances -- Summary and Scope -- Appendices. |
| Record Nr. | UNINA-9910522950603321 |
|
Labbadi Moussa
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Control Structures and Microprogramming
(411)
- Microprogramming (364)
- Software engineering (210)
- Software Engineering (199)
- Computer networks (191)