Principles of Modeling
-15%
portes grátis
Principles of Modeling
Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Sirjani, Marjan; Lohstroh, Marten; Derler, Patricia
Springer International Publishing AG
07/2018
539
Mole
Inglês
9783319952451
15 a 20 dias
860
Descrição não disponível.
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 SocialSystems.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer architecture;cyber physical systems (cpss);embedded systems;program compilers;programming languages;semantics;software engineering;software evaluation;specifications
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 SocialSystems.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
