Autor Wille, Robert
|
|
Documentos disponibles escritos por este autor (7)
Hacer una sugerencia Refinar búsqueda
Título : Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Tipo de documento: documento electrónico Autores: Przigoda, Nils, Autor ; Wille, Robert, Autor ; Przigoda, Judith, Autor ; Drechsler, Rolf, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 255 p. 16 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-72814-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: Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Índice Dewey: 621.3815 Resumen: Este libro proporciona una discusión exhaustiva sobre los métodos UML/OCL y el flujo de diseño para la validación y verificación automática de sistemas de hardware y software. Si bien el flujo presentado se centra en el uso de solucionadores de satisfacibilidad, los autores también describen cómo se pueden utilizar estos métodos para cualquier otro motor de razonamiento automático. Además, el flujo de diseño descrito se aplica a una amplia variedad de tareas de validación y verificación. Los autores también cubren brevemente cómo las propiedades no funcionales, como las restricciones de tiempo, se pueden manejar con el flujo descrito. Proporciona un flujo general y una descripción para la validación y verificación de modelos UML/OCL; Demuestra una realización detallada del flujo general utilizando solucionadores de satisfacibilidad; Incluye un estudio de caso que presenta las posibilidades de los enfoques más recientes. 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 Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [documento electrónico] / Przigoda, Nils, Autor ; Wille, Robert, Autor ; Przigoda, Judith, Autor ; Drechsler, Rolf, Autor . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 255 p. 16 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-319-72814-8
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 Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Índice Dewey: 621.3815 Resumen: Este libro proporciona una discusión exhaustiva sobre los métodos UML/OCL y el flujo de diseño para la validación y verificación automática de sistemas de hardware y software. Si bien el flujo presentado se centra en el uso de solucionadores de satisfacibilidad, los autores también describen cómo se pueden utilizar estos métodos para cualquier otro motor de razonamiento automático. Además, el flujo de diseño descrito se aplica a una amplia variedad de tareas de validación y verificación. Los autores también cubren brevemente cómo las propiedades no funcionales, como las restricciones de tiempo, se pueden manejar con el flujo descrito. Proporciona un flujo general y una descripción para la validación y verificación de modelos UML/OCL; Demuestra una realización detallada del flujo general utilizando solucionadores de satisfacibilidad; Incluye un estudio de caso que presenta las posibilidades de los enfoques más recientes. 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 : Automatic Methods for the Refinement of System Models : From the Specification to the Implementation Tipo de documento: documento electrónico Autores: Seiter, Julia, Autor ; Wille, Robert, Autor ; Drechsler, Rolf, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-41480-5 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 Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro proporciona una descripción general completa del refinamiento automático de modelos, que ayuda a los lectores a cerrar la brecha entre la especificación textual inicial y su implementación deseada. Los autores permiten a los lectores seguir dos "direcciones" para el refinamiento: refinamiento vertical, para agregar detalles y precisión a una sola descripción para un modelo determinado, y refinamiento horizontal, que considera varias vistas en un nivel de abstracción, refinando la especificación del sistema mediante descripciones dedicadas para estructura o comportamiento. La discusión incluye varios métodos que apoyan a los diseñadores de sistemas electrónicos en este proceso de refinamiento, incluidos métodos de verificación para verificar automáticamente si un refinamiento se ha realizado según lo previsto. Nota de contenido: Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. 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 Automatic Methods for the Refinement of System Models : From the Specification to the Implementation [documento electrónico] / Seiter, Julia, Autor ; Wille, Robert, Autor ; Drechsler, Rolf, Autor . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-319-41480-5
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 Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro proporciona una descripción general completa del refinamiento automático de modelos, que ayuda a los lectores a cerrar la brecha entre la especificación textual inicial y su implementación deseada. Los autores permiten a los lectores seguir dos "direcciones" para el refinamiento: refinamiento vertical, para agregar detalles y precisión a una sola descripción para un modelo determinado, y refinamiento horizontal, que considera varias vistas en un nivel de abstracción, refinando la especificación del sistema mediante descripciones dedicadas para estructura o comportamiento. La discusión incluye varios métodos que apoyan a los diseñadores de sistemas electrónicos en este proceso de refinamiento, incluidos métodos de verificación para verificar automáticamente si un refinamiento se ha realizado según lo previsto. Nota de contenido: Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. 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 : Compact Representations for the Design of Quantum Logic Tipo de documento: documento electrónico Autores: Niemann, Philipp, Autor ; Wille, Robert, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VIII, 125 p. 43 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-63724-2 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: Espintrónica Informática Computadoras cuánticas Física cuántica Manipulación simbólica y algebraica Computación cuántica Índice Dewey: 620.19 Resumen: Este libro analiza los enfoques y desafíos modernos del diseño asistido por computadora (CAD) de circuitos cuánticos con miras a proporcionar representaciones compactas de la funcionalidad cuántica. Centrándose en la cuestión de la funcionalidad cuántica, presenta Diagramas Cuánticos de Decisión de Valores Múltiples (QMDD, por sus siglas en inglés), un medio para representar y manipular la lógica cuántica de manera compacta y eficiente. Para las futuras computadoras cuánticas, que vayan mucho más allá del tamaño de los prototipos actuales, el diseño manual La creación de circuitos cuánticos que realicen una determinada funcionalidad (cuántica) en estos dispositivos ya no es una opción. Para mantenerse al día con los avances tecnológicos, es necesario proporcionar métodos que, de manera similar al diseño y la síntesis de circuitos convencionales, generen automáticamente una. Para ello es esencial una representación eficiente de la funcionalidad cuántica deseada, mientras que las representaciones sencillas están restringidas debido a sus descripciones matriciales (exponencialmente) grandes y otras estructuras similares a diagramas de decisión para la lógica cuántica no se ven afectadas. Los QMDD, que respaldan de manera integral las características típicas, emplean un esquema de descomposición que modela de manera más natural los sistemas cuánticos. Como resultado, los QMDD admiten explícitamente efectos de la mecánica cuántica, como los cambios de fase, y pueden aprovechar más las redundancias correspondientes, lo que permite una representación muy compacta de la funcionalidad cuántica relevante compuesta por docenas de qubits. Esto proporciona la base para el desarrollo de métodos de diseño sofisticados, como se muestra para la síntesis y verificación de circuitos cuánticos. Nota de contenido: Part I Introduction and Background -- 1 Introduction -- 2 Background -- Part II Representation of Quantum Functionality -- 3 Challenges and Initial Approaches -- 4 Quantum Multiple-Valued Decision Diagrams -- 5 Discussion and Outlook -- Part III Design of Quantum Logic -- 6 Challenges and Initial Approaches -- 7 Synthesis of Quantum Circuits -- 8 Correctness of Multiple-Valued Implementations -- 9 Discussion and Outlook. 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 Compact Representations for the Design of Quantum Logic [documento electrónico] / Niemann, Philipp, Autor ; Wille, Robert, Autor . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 125 p. 43 ilustraciones, 1 ilustraciones en color.
ISBN : 978-3-319-63724-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Espintrónica Informática Computadoras cuánticas Física cuántica Manipulación simbólica y algebraica Computación cuántica Índice Dewey: 620.19 Resumen: Este libro analiza los enfoques y desafíos modernos del diseño asistido por computadora (CAD) de circuitos cuánticos con miras a proporcionar representaciones compactas de la funcionalidad cuántica. Centrándose en la cuestión de la funcionalidad cuántica, presenta Diagramas Cuánticos de Decisión de Valores Múltiples (QMDD, por sus siglas en inglés), un medio para representar y manipular la lógica cuántica de manera compacta y eficiente. Para las futuras computadoras cuánticas, que vayan mucho más allá del tamaño de los prototipos actuales, el diseño manual La creación de circuitos cuánticos que realicen una determinada funcionalidad (cuántica) en estos dispositivos ya no es una opción. Para mantenerse al día con los avances tecnológicos, es necesario proporcionar métodos que, de manera similar al diseño y la síntesis de circuitos convencionales, generen automáticamente una. Para ello es esencial una representación eficiente de la funcionalidad cuántica deseada, mientras que las representaciones sencillas están restringidas debido a sus descripciones matriciales (exponencialmente) grandes y otras estructuras similares a diagramas de decisión para la lógica cuántica no se ven afectadas. Los QMDD, que respaldan de manera integral las características típicas, emplean un esquema de descomposición que modela de manera más natural los sistemas cuánticos. Como resultado, los QMDD admiten explícitamente efectos de la mecánica cuántica, como los cambios de fase, y pueden aprovechar más las redundancias correspondientes, lo que permite una representación muy compacta de la funcionalidad cuántica relevante compuesta por docenas de qubits. Esto proporciona la base para el desarrollo de métodos de diseño sofisticados, como se muestra para la síntesis y verificación de circuitos cuánticos. Nota de contenido: Part I Introduction and Background -- 1 Introduction -- 2 Background -- Part II Representation of Quantum Functionality -- 3 Challenges and Initial Approaches -- 4 Quantum Multiple-Valued Decision Diagrams -- 5 Discussion and Outlook -- Part III Design of Quantum Logic -- 6 Challenges and Initial Approaches -- 7 Synthesis of Quantum Circuits -- 8 Correctness of Multiple-Valued Implementations -- 9 Discussion and Outlook. 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 : Designing Droplet Microfluidic Networks : A Toolbox for Designers Tipo de documento: documento electrónico Autores: Grimmer, Andreas, Autor ; Wille, Robert, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: IX, 145 p. 41 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-20713-7 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 Ingeniería Biomédica Electrónica Circuitos y sistemas electrónicos Ingeniería Biomédica y Bioingeniería Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro describe métodos automáticos para el diseño de redes de microfluidos de gotas. Los autores analizan los métodos de simulación y diseño que respaldan el proceso de diseño de microfluidos de gotas en general, así como los métodos de diseño para un mecanismo de enrutamiento de gotas dedicado, es decir, el enrutamiento pasivo de gotas. Los métodos discutidos permiten simular un diseño de microfluidos en un nivel de alta abstracción, lo que facilita la validación temprana de si un diseño funciona según lo previsto, dimensionando automáticamente un diseño de microfluidos, de modo que se cumplan restricciones como las condiciones de flujo, y generando automáticamente diseños de meandros para el necesidades respectivas y entornos de fabricación. Se analizan métodos dedicados para el enrutamiento pasivo de gotas y permiten diseñar arquitecturas de aplicaciones específicas para un conjunto determinado de experimentos, así como generar secuencias de gotas para realizar los experimentos respectivos. Juntos, estos métodos proporcionan una "caja de herramientas" integral para los diseñadores que trabajan en redes de microfluidos de gotas en general y un flujo de diseño integrado para el mecanismo de enrutamiento pasivo de gotas en particular. Proporciona una "caja de herramientas" integral para los diseñadores que trabajan en redes de microfluidos de gotas en general y un flujo de diseño integrado para el mecanismo de enrutamiento pasivo de gotas en particular; Describe por primera vez métodos CAD para redes de microfluidos de gotas, junto con el primer proceso de diseño integrado; Incluye implementaciones de código abierto, con el fin de llegar al mayor grupo de usuarios posible dentro del dominio de los microfluidos. Nota de contenido: Introduction -- Background -- Simulation of Droplet Microfluidic Networks -- Dimensioning of Droplet Microfluidic Networks -- Designing Meanders -- Passive Droplet Routing -- Designing Application-specific Architectures -- Generating Droplet Sequences -- Integrated Design Process -- Summary and Conclusion. 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 Designing Droplet Microfluidic Networks : A Toolbox for Designers [documento electrónico] / Grimmer, Andreas, Autor ; Wille, Robert, Autor . - 1 ed. . - [s.l.] : Springer, 2020 . - IX, 145 p. 41 ilustraciones, 23 ilustraciones en color.
ISBN : 978-3-030-20713-7
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 Ingeniería Biomédica Electrónica Circuitos y sistemas electrónicos Ingeniería Biomédica y Bioingeniería Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro describe métodos automáticos para el diseño de redes de microfluidos de gotas. Los autores analizan los métodos de simulación y diseño que respaldan el proceso de diseño de microfluidos de gotas en general, así como los métodos de diseño para un mecanismo de enrutamiento de gotas dedicado, es decir, el enrutamiento pasivo de gotas. Los métodos discutidos permiten simular un diseño de microfluidos en un nivel de alta abstracción, lo que facilita la validación temprana de si un diseño funciona según lo previsto, dimensionando automáticamente un diseño de microfluidos, de modo que se cumplan restricciones como las condiciones de flujo, y generando automáticamente diseños de meandros para el necesidades respectivas y entornos de fabricación. Se analizan métodos dedicados para el enrutamiento pasivo de gotas y permiten diseñar arquitecturas de aplicaciones específicas para un conjunto determinado de experimentos, así como generar secuencias de gotas para realizar los experimentos respectivos. Juntos, estos métodos proporcionan una "caja de herramientas" integral para los diseñadores que trabajan en redes de microfluidos de gotas en general y un flujo de diseño integrado para el mecanismo de enrutamiento pasivo de gotas en particular. Proporciona una "caja de herramientas" integral para los diseñadores que trabajan en redes de microfluidos de gotas en general y un flujo de diseño integrado para el mecanismo de enrutamiento pasivo de gotas en particular; Describe por primera vez métodos CAD para redes de microfluidos de gotas, junto con el primer proceso de diseño integrado; Incluye implementaciones de código abierto, con el fin de llegar al mayor grupo de usuarios posible dentro del dominio de los microfluidos. Nota de contenido: Introduction -- Background -- Simulation of Droplet Microfluidic Networks -- Dimensioning of Droplet Microfluidic Networks -- Designing Meanders -- Passive Droplet Routing -- Designing Application-specific Architectures -- Generating Droplet Sequences -- Integrated Design Process -- Summary and Conclusion. 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 : Exact Design of Digital Microfluidic Biochips Tipo de documento: documento electrónico Autores: Keszocze, Oliver, Autor ; Wille, Robert, Autor ; Drechsler, Rolf, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: IX, 134 p. 66 ilustraciones, 45 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-90936-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 Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro presenta soluciones exactas, es decir mínimas, para pasos individuales en el proceso de diseño de biochips de microfluidos digitales (DMFB), así como un enfoque de un solo paso que combina todos estos pasos en un solo proceso. Todos los enfoques discutidos se basan en un modelo formal que puede ampliarse fácilmente para hacer frente a problemas de diseño adicionales. Además de los métodos exactos, se proporcionan enfoques heurísticos y se determinan las clases de complejidad de diversos problemas de diseño. Presenta métodos exactos para abordar una variedad de problemas de diseño de biochips de microfluidos digitales (DMFB); Describe un enfoque holístico de una sola pasada que resuelve diferentes pasos de diseño al mismo tiempo; Basado en un modelo formal de DMFB que es fácilmente adaptable para abordar tareas de diseño adicionales. Nota de contenido: Chapter 1: Introduction -- Chapter 2: Background -- Chapter 3: Routing -- Chapter 4: Pin Assignment -- Chapter 5: Pin-aware Routing and Extensions -- Chapter 6: One-Pass Design -- Chapter 7: Conclusion and Future Work. 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 Exact Design of Digital Microfluidic Biochips [documento electrónico] / Keszocze, Oliver, Autor ; Wille, Robert, Autor ; Drechsler, Rolf, Autor . - 1 ed. . - [s.l.] : Springer, 2019 . - IX, 134 p. 66 ilustraciones, 45 ilustraciones en color.
ISBN : 978-3-319-90936-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 Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro presenta soluciones exactas, es decir mínimas, para pasos individuales en el proceso de diseño de biochips de microfluidos digitales (DMFB), así como un enfoque de un solo paso que combina todos estos pasos en un solo proceso. Todos los enfoques discutidos se basan en un modelo formal que puede ampliarse fácilmente para hacer frente a problemas de diseño adicionales. Además de los métodos exactos, se proporcionan enfoques heurísticos y se determinan las clases de complejidad de diversos problemas de diseño. Presenta métodos exactos para abordar una variedad de problemas de diseño de biochips de microfluidos digitales (DMFB); Describe un enfoque holístico de una sola pasada que resuelve diferentes pasos de diseño al mismo tiempo; Basado en un modelo formal de DMFB que es fácilmente adaptable para abordar tareas de diseño adicionales. Nota de contenido: Chapter 1: Introduction -- Chapter 2: Background -- Chapter 3: Routing -- Chapter 4: Pin Assignment -- Chapter 5: Pin-aware Routing and Extensions -- Chapter 6: One-Pass Design -- Chapter 7: Conclusion and Future Work. 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
