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 [[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 |
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. | 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 |
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. | UNINA-9910337577103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Active Object Languages: Current Research Trends [[electronic resource] /] / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
| Active Object Languages: Current Research Trends [[electronic resource] /] / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan |
| Autore | de Boer Frank |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (382 pages) |
| Disciplina | 005.11 |
| Altri autori (Persone) |
DamianiFerruccio
HähnleReiner Broch JohnsenEinar KamburjanEduard |
| 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 |
| 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 |
de Boer Frank
|
||
| 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 | ||
| ||
Air traffic control automated systems / / A. R. Bestugin [et al.]
| Air traffic control automated systems / / A. R. Bestugin [et al.] |
| Autore | Bestugin A. R (Aleksandr Roalʹdovich) |
| Edizione | [1st edition 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVIII, 271 p.) : 121 illus., 67 illus. in color |
| Disciplina | 629.1 |
| Collana | Springer Aerospace Technology |
| Soggetto topico |
Air traffic control
Aerospace Technology and Astronautics Quality Control, Reliability, Safety and Risk Electronics and Microelectronics, Instrumentation Systems Theory, Control Control Structures and Microprogramming Control and Systems Theory |
| ISBN | 981-13-9386-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Management of the Airspace Use Planning in the Russian Federation -- Advanced Automated ATC Systems -- Purpose and Comparative Study of the Controllers of ATC Automated System Simulators -- Technical Requirements to the ATC Automation System Simulators for Controllers -- Architecture and Composition of ATC Automation System Simulators for Controllers -- ISS Automated Workstations -- Organization of Simulated “Ground-Air” Radio Communication and Service Loud-Speaking Communication -- Automated Training Aids for the Remote ATC Specialists Proficiency Maintaining System -- ISS Special Software -- ATC Radiotechnical Aids -- Economics at ATC Automation Systems Implementation. |
| Record Nr. | UNINA-9910366600203321 |
|
Bestugin A. R (Aleksandr Roalʹdovich)
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithm Portfolios [[electronic resource] ] : Advances, Applications, and Challenges / / by Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas, Panos M. Pardalos
| Algorithm Portfolios [[electronic resource] ] : Advances, Applications, and Challenges / / by Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas, Panos M. Pardalos |
| Autore | Souravlias Dimitris |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (xiv, 92 pages) : illustrations |
| Disciplina | 518.1 |
| Collana | SpringerBriefs in Optimization |
| Soggetto topico |
Operations research
Management science Algorithms Microprogramming Discrete mathematics Operations Research, Management Science Control Structures and Microprogramming Discrete Mathematics Algorismes Optimització matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-68514-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Metaheuristic optimization algorithms -- 2. Algorithm portfolios -- 3. Selection of constituent algorithms -- 4. Allocation of computation resources -- 5. Sequential and parallel models -- 6. Recent applications -- 7. Epilogue -- References. |
| Record Nr. | UNISA-996466562303316 |
|
Souravlias Dimitris
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithm Portfolios : Advances, Applications, and Challenges / / by Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas, Panos M. Pardalos
| Algorithm Portfolios : Advances, Applications, and Challenges / / by Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas, Panos M. Pardalos |
| Autore | Souravlias Dimitris |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (xiv, 92 pages) : illustrations |
| Disciplina | 518.1 |
| Collana | SpringerBriefs in Optimization |
| Soggetto topico |
Operations research
Management science Algorithms Microprogramming Discrete mathematics Operations Research, Management Science Control Structures and Microprogramming Discrete Mathematics Algorismes Optimització matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-68514-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Metaheuristic optimization algorithms -- 2. Algorithm portfolios -- 3. Selection of constituent algorithms -- 4. Allocation of computation resources -- 5. Sequential and parallel models -- 6. Recent applications -- 7. Epilogue -- References. |
| Record Nr. | UNINA-9910484845003321 |
|
Souravlias Dimitris
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Control Structures and Microprogramming
(250)
- Microprogramming (130)
- Software engineering (122)
- Microprogramming (118)
- Software Engineering (103)