Autor Al Faruque, Mohammad Abdullah
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings / Götz, Marcelo ; Schirner, Gunar ; Wehrmeister, Marco Aurélio ; Al Faruque, Mohammad Abdullah ; Rettberg, Achim
Título : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings Tipo de documento: documento electrónico Autores: Götz, Marcelo, ; Schirner, Gunar, ; Wehrmeister, Marco Aurélio, ; Al Faruque, Mohammad Abdullah, ; Rettberg, Achim, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XII, 231 p. 92 ilustraciones ISBN/ISSN/DL: 978-3-319-90023-0 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: Computadoras Propósitos especiales Ordenadores Sistemas informáticos Ingeniería de software Sistemas de propósito especial y basados en aplicaciones Hardware de la computadora Implementación de sistema informático Índice Dewey: 004 Ciencia de los computadores (Introducción a los computadores) Resumen: Este libro constituye las actas arbitradas del 5º Simposio Internacional de Sistemas Embebidos IFIP TC 10, IESS 2015, celebrado en Foz do Iguaçu, Brasil, en noviembre de 2015. Los 18 artículos revisados completos presentados fueron cuidadosamente revisados y seleccionados entre 25 presentaciones. Los artículos presentan una amplia discusión sobre el diseño, análisis y verificación de sistemas integrados y ciberfísicos, incluidas metodologías de diseño, verificación, análisis de rendimiento y diseño de sistemas en tiempo real. Están organizados en las siguientes secciones temáticas: sistemas ciberfísicos, diseño a nivel de sistema; diseño de sistemas de múltiples núcleos; diseño de sistemas de memoria; y diseño y aplicaciones de HW/SW integrados. 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 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings [documento electrónico] / Götz, Marcelo, ; Schirner, Gunar, ; Wehrmeister, Marco Aurélio, ; Al Faruque, Mohammad Abdullah, ; Rettberg, Achim, . - 1 ed. . - [s.l.] : Springer, 2017 . - XII, 231 p. 92 ilustraciones.
ISBN : 978-3-319-90023-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Computadoras Propósitos especiales Ordenadores Sistemas informáticos Ingeniería de software Sistemas de propósito especial y basados en aplicaciones Hardware de la computadora Implementación de sistema informático Índice Dewey: 004 Ciencia de los computadores (Introducción a los computadores) Resumen: Este libro constituye las actas arbitradas del 5º Simposio Internacional de Sistemas Embebidos IFIP TC 10, IESS 2015, celebrado en Foz do Iguaçu, Brasil, en noviembre de 2015. Los 18 artículos revisados completos presentados fueron cuidadosamente revisados y seleccionados entre 25 presentaciones. Los artículos presentan una amplia discusión sobre el diseño, análisis y verificación de sistemas integrados y ciberfísicos, incluidas metodologías de diseño, verificación, análisis de rendimiento y diseño de sistemas en tiempo real. Están organizados en las siguientes secciones temáticas: sistemas ciberfísicos, diseño a nivel de sistema; diseño de sistemas de múltiples núcleos; diseño de sistemas de memoria; y diseño y aplicaciones de HW/SW integrados. 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
Título : Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis Tipo de documento: documento electrónico Autores: Rokka Chhetri, Sujit, Autor ; Al Faruque, Mohammad Abdullah, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVI, 235 p. 111 ilustraciones, 106 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-37962-9 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: Circuitos electrónicos Objetos cooperantes (Sistemas informáticos) Microprocesadores Arquitectura de Computadores Circuitos y sistemas electrónicos Sistemas ciberfísicos Arquitecturas de procesador Índice Dewey: 6.213.815 Resumen: Este libro proporciona una nueva perspectiva sobre el modelado de sistemas ciberfísicos (CPS), utilizando un enfoque basado en datos. Los autores cubren el uso de algoritmos de inteligencia artificial y aprendizaje automático de última generación para modelar diversos aspectos del CPS. Este libro proporciona información sobre cómo se puede utilizar un enfoque de modelado basado en datos para aprovechar la relación entre el dominio cibernético y físico del CPS para ayudar al enfoque del primer principio a capturar los fenómenos estocásticos que afectan al CPS. Los autores proporcionan casos de uso práctico del enfoque de modelado basado en datos para proteger el CPS, presentan modelos de ataque novedosos y construyen y mantienen el gemelo digital del sistema físico. El libro también presenta algoritmos novedosos basados en datos para manejar datos no euclidianos. En resumen, este libro presenta una perspectiva novedosa para modelar el CPS. · Proporciona una introducción al modelado basado en datos de sistemas ciberfísicos (CPS), para ayudar a capturar el fenómeno estocástico que afecta a los CPS; · Describe aplicaciones prácticas para proteger el CPS, así como para construir el gemelo digital del gemelo físico del CPS; · Incluye cobertura de algoritmos de aprendizaje automático e inteligencia artificial para el modelado basado en datos del CPS; Proporciona algoritmos novedosos para manejar no sólo datos euclidianos, sino también datos no euclidianos. 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 Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis [documento electrónico] / Rokka Chhetri, Sujit, Autor ; Al Faruque, Mohammad Abdullah, Autor . - 1 ed. . - [s.l.] : Springer, 2020 . - XVI, 235 p. 111 ilustraciones, 106 ilustraciones en color.
ISBN : 978-3-030-37962-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Circuitos electrónicos Objetos cooperantes (Sistemas informáticos) Microprocesadores Arquitectura de Computadores Circuitos y sistemas electrónicos Sistemas ciberfísicos Arquitecturas de procesador Índice Dewey: 6.213.815 Resumen: Este libro proporciona una nueva perspectiva sobre el modelado de sistemas ciberfísicos (CPS), utilizando un enfoque basado en datos. Los autores cubren el uso de algoritmos de inteligencia artificial y aprendizaje automático de última generación para modelar diversos aspectos del CPS. Este libro proporciona información sobre cómo se puede utilizar un enfoque de modelado basado en datos para aprovechar la relación entre el dominio cibernético y físico del CPS para ayudar al enfoque del primer principio a capturar los fenómenos estocásticos que afectan al CPS. Los autores proporcionan casos de uso práctico del enfoque de modelado basado en datos para proteger el CPS, presentan modelos de ataque novedosos y construyen y mantienen el gemelo digital del sistema físico. El libro también presenta algoritmos novedosos basados en datos para manejar datos no euclidianos. En resumen, este libro presenta una perspectiva novedosa para modelar el CPS. · Proporciona una introducción al modelado basado en datos de sistemas ciberfísicos (CPS), para ayudar a capturar el fenómeno estocástico que afecta a los CPS; · Describe aplicaciones prácticas para proteger el CPS, así como para construir el gemelo digital del gemelo físico del CPS; · Incluye cobertura de algoritmos de aprendizaje automático e inteligencia artificial para el modelado basado en datos del CPS; Proporciona algoritmos novedosos para manejar no sólo datos euclidianos, sino también datos no euclidianos. 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
Título : Design Automation of Cyber-Physical Systems Tipo de documento: documento electrónico Autores: Al Faruque, Mohammad Abdullah, ; Canedo, Arquimedes, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 288 p. 102 ilustraciones, 80 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-13050-3 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: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Procesamiento de la señal Circuitos y sistemas electrónicos Arquitecturas de procesador Procesamiento de señales voz e imágenes Índice Dewey: 6.213.815 Resumen: Este libro presenta las innovaciones más avanzadas y revolucionarias en la automatización del diseño de sistemas ciberfísicos. Los autores analizan diversos aspectos del diseño de sistemas ciberfísicos, incluido el modelado, el codiseño, la optimización, las herramientas, los métodos formales y la validación. , verificación y estudios de casos. La cobertura incluye un estudio de las diversas metodologías de diseño funcional de sistemas ciberfísicos existentes y las herramientas relacionadas proporcionarán al lector una visión única del diseño conceptual de los sistemas ciberfísicos. Proporciona una referencia única sobre la automatización del diseño de sistemas ciberfísicos; Sirve como guía práctica para gestionar la complejidad durante el proceso de desarrollo de CPS con herramientas y metodologías de automatización del diseño; Analiza el modelado de sistemas ciberfísicos en varios niveles de abstracción; Incluye cobertura de síntesis de alto nivel para sistemas ciberfísicos; Analiza el diseño para el rendimiento/eficiencia energética/seguridad, así como varias herramientas para validación y verificación; Incluye estudios de casos en fabricación y sistemas de infraestructura crítica. Nota de contenido: Part 1. Design and Engineering -- Chapter 1. Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation -- Chapter 2. Platform-Based Design for Automotive and Transportation Cyber-Physical Systems -- Chapter 3. An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems -- Part 2. Testing and Operation -- Chapter 4. Formal Techniques for Verification and Testing of Cyber-Physical Systems -- Chapter 5. Data-driven Safety Verification of Complex Cyber-Physical Systems -- Chapter 6. System Assurance in the Design of Resilient Cyber-Physical Systems -- Part 3. Application-Specific Design Automation Methodologies and Tools -- Chapter 7. Optimal Design of Distributed Controllers for Large-Scale Cyber-Physical Systems -- Chapter 8. Model-driven Software Design Automation for Complex Rehabilitation -- Chapter 9. Design Automation using Structural Graph Convolutional Neural Networks -- Chapter 10. Design Automation for Energy StorageSystems. 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 Design Automation of Cyber-Physical Systems [documento electrónico] / Al Faruque, Mohammad Abdullah, ; Canedo, Arquimedes, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 288 p. 102 ilustraciones, 80 ilustraciones en color.
ISBN : 978-3-030-13050-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Procesamiento de la señal Circuitos y sistemas electrónicos Arquitecturas de procesador Procesamiento de señales voz e imágenes Índice Dewey: 6.213.815 Resumen: Este libro presenta las innovaciones más avanzadas y revolucionarias en la automatización del diseño de sistemas ciberfísicos. Los autores analizan diversos aspectos del diseño de sistemas ciberfísicos, incluido el modelado, el codiseño, la optimización, las herramientas, los métodos formales y la validación. , verificación y estudios de casos. La cobertura incluye un estudio de las diversas metodologías de diseño funcional de sistemas ciberfísicos existentes y las herramientas relacionadas proporcionarán al lector una visión única del diseño conceptual de los sistemas ciberfísicos. Proporciona una referencia única sobre la automatización del diseño de sistemas ciberfísicos; Sirve como guía práctica para gestionar la complejidad durante el proceso de desarrollo de CPS con herramientas y metodologías de automatización del diseño; Analiza el modelado de sistemas ciberfísicos en varios niveles de abstracción; Incluye cobertura de síntesis de alto nivel para sistemas ciberfísicos; Analiza el diseño para el rendimiento/eficiencia energética/seguridad, así como varias herramientas para validación y verificación; Incluye estudios de casos en fabricación y sistemas de infraestructura crítica. Nota de contenido: Part 1. Design and Engineering -- Chapter 1. Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation -- Chapter 2. Platform-Based Design for Automotive and Transportation Cyber-Physical Systems -- Chapter 3. An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems -- Part 2. Testing and Operation -- Chapter 4. Formal Techniques for Verification and Testing of Cyber-Physical Systems -- Chapter 5. Data-driven Safety Verification of Complex Cyber-Physical Systems -- Chapter 6. System Assurance in the Design of Resilient Cyber-Physical Systems -- Part 3. Application-Specific Design Automation Methodologies and Tools -- Chapter 7. Optimal Design of Distributed Controllers for Large-Scale Cyber-Physical Systems -- Chapter 8. Model-driven Software Design Automation for Complex Rehabilitation -- Chapter 9. Design Automation using Structural Graph Convolutional Neural Networks -- Chapter 10. Design Automation for Energy StorageSystems. 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
