| Título : |
Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday |
| Tipo de documento: |
documento electrónico |
| Autores: |
Lohstroh, Marten, ; Derler, Patricia, ; Sirjani, Marjan, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XXVII, 539 p. 158 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-95246-8 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Ordenadores Inteligencia artificial Profesiones Compiladores e intérpretes Ingeniería Informática y Redes Hardware de la computadora La profesión informática |
| Índice Dewey: |
005.45 interfaces con el computador y los controladores del dispositivo |
| Resumen: |
Este Festschrift se publica en honor de Edward A. Lee, Profesor Emérito Distinguido Robert S. Pepper y Profesor de la Escuela de Graduados del Departamento de Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de California, Berkeley, EE. UU., con motivo de su 60.º aniversario. cumpleaños. El título de este Festschrift es "Principios del modelado" porque Edward A. Lee se ha dedicado durante mucho tiempo a la investigación centrada en el papel de los modelos en la ciencia y la ingeniería. Ha estado examinando el uso y las limitaciones de los modelos, sus propiedades formales, su papel en la cognición y la interacción con la creatividad y su capacidad para representar la realidad y la física. El Festschrift contiene 29 artículos que presentan la amplia gama de temas de investigación de Edward A. Lee; como sistemas integrados; computación en tiempo real; arquitectura de Computadores; modelado y simulación, y diseño de sistemas. |
| Nota de contenido: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday [documento electrónico] / Lohstroh, Marten, ; Derler, Patricia, ; Sirjani, Marjan, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXVII, 539 p. 158 ilustraciones. ISBN : 978-3-319-95246-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Ordenadores Inteligencia artificial Profesiones Compiladores e intérpretes Ingeniería Informática y Redes Hardware de la computadora La profesión informática |
| Índice Dewey: |
005.45 interfaces con el computador y los controladores del dispositivo |
| Resumen: |
Este Festschrift se publica en honor de Edward A. Lee, Profesor Emérito Distinguido Robert S. Pepper y Profesor de la Escuela de Graduados del Departamento de Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de California, Berkeley, EE. UU., con motivo de su 60.º aniversario. cumpleaños. El título de este Festschrift es "Principios del modelado" porque Edward A. Lee se ha dedicado durante mucho tiempo a la investigación centrada en el papel de los modelos en la ciencia y la ingeniería. Ha estado examinando el uso y las limitaciones de los modelos, sus propiedades formales, su papel en la cognición y la interacción con la creatividad y su capacidad para representar la realidad y la física. El Festschrift contiene 29 artículos que presentan la amplia gama de temas de investigación de Edward A. Lee; como sistemas integrados; computación en tiempo real; arquitectura de Computadores; modelado y simulación, y diseño de sistemas. |
| Nota de contenido: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsqueda
