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.
Principles of Modeling [[electronic resource] ] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani
| Principles of Modeling [[electronic resource] ] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXVII, 539 p. 158 illus.) |
| Disciplina | 003.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer organization Computer hardware Artificial intelligence Computers Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computer Hardware Artificial Intelligence The Computing Profession |
| ISBN | 3-319-95246-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | You Can Program What You Want but You Cannot Compute What You Want -- Transforming Threads Into Actors: Learning Concurrency Structure from Execution Traces -- Interfaces for Stream Processing Systems -- Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties -- Predictability Issues in Mixed-Criticality Real-Time Systems -- Model-based Representations for Dataflow Schedules -- Hybrid Simulation Safety: Limbos and Zero Crossings -- Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework -- Computing Average Response Time -- Modeling Dynamical Phenomena in the Era of Big Data -- A Formal Semantics for Traffic Sequence Charts -- Code Generation for Flow Preservation in Multicore Systems -- A Semantic Account of Rigorous Simulation -- On Determinism -- Lossy Channels in a Dataflow Model of Computation -- If We Could Go Back in Time. . .On the Use of `Unnatural' Time and Ordering in Dataflow Models -- Compressed Sensing in Cyber Physical Social Systems -- Embedded Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered Control Systems -- Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems -- The Relativity Example: Is Terminological Innovation a Good Idea -- Hierarchical System Design with Vertical Contracts -- Abstraction and Refinement of Time in Hierarchically Decomposable Underspecified Architecture Simulations -- Cyber-Physical Systems Education: Explorations and Dreams -- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience -- Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, and Compositionality -- Complexity Challenges in Development of Cyber-Physical Systems -- Augmenting State Models with Data Flow -- On the Road to Conviction: An Email Exchange with Edward Lee. |
| Record Nr. | UNISA-996466186803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani
| Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXVII, 539 p. 158 illus.) |
| Disciplina | 003.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer organization Computer hardware Artificial intelligence Computers Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computer Hardware Artificial Intelligence The Computing Profession |
| ISBN | 3-319-95246-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | You Can Program What You Want but You Cannot Compute What You Want -- Transforming Threads Into Actors: Learning Concurrency Structure from Execution Traces -- Interfaces for Stream Processing Systems -- Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties -- Predictability Issues in Mixed-Criticality Real-Time Systems -- Model-based Representations for Dataflow Schedules -- Hybrid Simulation Safety: Limbos and Zero Crossings -- Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework -- Computing Average Response Time -- Modeling Dynamical Phenomena in the Era of Big Data -- A Formal Semantics for Traffic Sequence Charts -- Code Generation for Flow Preservation in Multicore Systems -- A Semantic Account of Rigorous Simulation -- On Determinism -- Lossy Channels in a Dataflow Model of Computation -- If We Could Go Back in Time. . .On the Use of `Unnatural' Time and Ordering in Dataflow Models -- Compressed Sensing in Cyber Physical Social Systems -- Embedded Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered Control Systems -- Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems -- The Relativity Example: Is Terminological Innovation a Good Idea -- Hierarchical System Design with Vertical Contracts -- Abstraction and Refinement of Time in Hierarchically Decomposable Underspecified Architecture Simulations -- Cyber-Physical Systems Education: Explorations and Dreams -- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience -- Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, and Compositionality -- Complexity Challenges in Development of Cyber-Physical Systems -- Augmenting State Models with Data Flow -- On the Road to Conviction: An Email Exchange with Edward Lee. |
| Record Nr. | UNINA-9910349418103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||