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.
CMOS Circuits for Piezoelectric Energy Harvesters : Efficient Power Extraction, Interface Modeling and Loss Analysis / Thorsten Hehn, Yiannos Manoli
| CMOS Circuits for Piezoelectric Energy Harvesters : Efficient Power Extraction, Interface Modeling and Loss Analysis / Thorsten Hehn, Yiannos Manoli |
| Autore | Hehn, Thorsten |
| Pubbl/distr/stampa | Dordrecht, : Springer, 2015 |
| Descrizione fisica | xvii, 204 p. : ill. ; 24 cm |
| Altri autori (Persone) | Manoli, Yiannos |
| Soggetto topico | 00A79 (77-XX) - Physics [MSC 2020] |
| Soggetto non controllato |
CMOS Circuits
Conduction Losses in CMOS Circuits Different Interface Circuits Energy Harvester Modelling Energy Harvesting Fully Autonomous Circuits Integrated Circuit power consumption Interface Circuit Low Power Performance Analysis Piezoelectric Devices Piezoelectricity Pulsed Synchronous Charge Extractor (PSCE) Self-powered Circuits |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0133972 |
Hehn, Thorsten
|
||
| Dordrecht, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe
| Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
| Autore | Carreira Paulo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
| Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
| ISBN | 3-030-43946-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
| Record Nr. | UNISA-996465472303316 |
|
Carreira Paulo
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe
| Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
| Autore | Carreira Paulo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
| Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
| ISBN | 3-030-43946-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
| Record Nr. | UNINA-9910404112303321 |
|
Carreira Paulo
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Queueing Systems with Telecommunication Applications / László Lakatos, László Szeidl, Miklós Telek
| Introduction to Queueing Systems with Telecommunication Applications / László Lakatos, László Szeidl, Miklós Telek |
| Autore | Lakatos, László |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xvii, 559 p. ; 24 cm |
| Altri autori (Persone) |
Szeidl, László
Telek, Miklós |
| Soggetto topico |
60Jxx - Markov processes [MSC 2020]
60Kxx - Special processes [MSC 2020] |
| Soggetto non controllato |
Markov Chains
Markov modulated models Performance Analysis Probability Queueing networks Queueing systems Stochastic models Stochastic processes Telecommunication systems Traffic engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0126934 |
|
Lakatos, László
|
||
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to time-delay systems : analysis and control / Emilia Fridman
| Introduction to time-delay systems : analysis and control / Emilia Fridman |
| Autore | Fridman, Emilia |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XVIII, 362 p. : ill. ; 24 cm |
| Soggetto topico |
34Kxx - Functional-differential equations [MSC 2020]
93-XX - Systems theory; control [MSC 2020] |
| Soggetto non controllato |
Control Design
Lyapunov Method Performance Analysis Sampled-Data Control Stability Time Delay Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103934 |
|
Fridman, Emilia
|
||
| Cham, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical adventures in performance analysis : from storage systems, through airplane boarding, to express line queues / Eitan Bachmat
| Mathematical adventures in performance analysis : from storage systems, through airplane boarding, to express line queues / Eitan Bachmat |
| Autore | Bachmat, Eitan |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2014 |
| Descrizione fisica | XI, 290 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00-XX - General and overarching topics; collections [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Lorentzian geometry
Metric spaces Number theory Performance Analysis Queuing theory Storage systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103941 |
|
Bachmat, Eitan
|
||
| Cham, : Birkhäuser, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tools for high performance computing 2014 : Proceedings of the 8. international workshop on parallel tools for high performance computing, october 2014, HLRS, Stuttgart, Germany / Christoph Niethammer ... [et al.] editors
| Tools for high performance computing 2014 : Proceedings of the 8. international workshop on parallel tools for high performance computing, october 2014, HLRS, Stuttgart, Germany / Christoph Niethammer ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | X, 229 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68W15 - Distributed algorithms [MSC 2020] 65Y05 - Parallel numerical computation [MSC 2020] 68M07 - Mathematical problems of computer architecture [MSC 2020] |
| Soggetto non controllato |
Debugging
Performance Analysis Software optimization Supercomputing Tools for parallel programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113388 |
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tools for high performance computing 2015 : proceedings of the 9. international workshop on parallel tools for high performance computing, september 2015, Dresden, Germany / Andreas Knüpfer ... [et al.] editors
| Tools for high performance computing 2015 : proceedings of the 9. international workshop on parallel tools for high performance computing, september 2015, Dresden, Germany / Andreas Knüpfer ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2016 |
| Descrizione fisica | VIII, 181 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020] |
| Soggetto non controllato |
Correctness Analyis
High Performance Computing Performance Analysis Scalability Tool Infrastructures Tools |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0115446 |
| [Cham], : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tools for high performance computing 2016 : proceedings of the 10. international workshop on parallel tools for high performance computing, october 2016, Stuttgart, Germany / Christoph Niethammer ... [et al.] editors
| Tools for high performance computing 2016 : proceedings of the 10. international workshop on parallel tools for high performance computing, october 2016, Stuttgart, Germany / Christoph Niethammer ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | ix, 140 p. : ill. ; 24 cm |
| Soggetto topico |
68Mxx - Computer system organization [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] 65Yxx - Computer aspects of numerical algorithms [MSC 2020] |
| Soggetto non controllato |
Debugging
Performance Analysis Software optimization Supercomputing Tools for parallel computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123579 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tools for High Performance Computing 2017 : Proceedings of the 11. International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany / Christoph Niethammer … [et al.] editors]
| Tools for High Performance Computing 2017 : Proceedings of the 11. International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany / Christoph Niethammer … [et al.] editors] |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | vii, 143 p. : ill. ; 24 cm |
| Soggetto topico |
68Mxx - Computer system organization [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] 65Yxx - Computer aspects of numerical algorithms [MSC 2020] |
| Soggetto non controllato |
Debugging
Performance Analysis Software optimization Supercomputing Tools for parallel computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0127221 |
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
