Autor Drechsler, Rolf
|
|
Documentos disponibles escritos por este autor (14)
Hacer una sugerencia Refinar búsqueda
Título : Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems Tipo de documento: documento electrónico Autores: Drechsler, Rolf, ; Soeken, Mathias, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: VIII, 265 p. 53 ilustraciones, 34 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-20323-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 diseño lógico Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro describe hallazgos recientes en el dominio de la lógica booleana y el álgebra booleana, cubriendo dominios de aplicación en diseño de circuitos y sistemas, pero también investigación básica en matemáticas e informática teórica. El contenido incluye capítulos invitados y una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos. Proporciona una referencia única a las investigaciones más modernas en el campo de la síntesis lógica y las técnicas booleanas; Incluye una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos; Cubre álgebras booleanas, lógica booleana, modelado booleano, búsqueda combinatoria, aritmética booleana y bit a bit, software y herramientas para la solución de problemas booleanos, aplicaciones de lógica y álgebras booleanas, aplicaciones a problemas del mundo real, resolución de restricciones booleanas y extensiones de booleanas. lógica. Nota de contenido: Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. 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 Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems [documento electrónico] / Drechsler, Rolf, ; Soeken, Mathias, . - 1 ed. . - [s.l.] : Springer, 2020 . - VIII, 265 p. 53 ilustraciones, 34 ilustraciones en color.
ISBN : 978-3-030-20323-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 diseño lógico Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro describe hallazgos recientes en el dominio de la lógica booleana y el álgebra booleana, cubriendo dominios de aplicación en diseño de circuitos y sistemas, pero también investigación básica en matemáticas e informática teórica. El contenido incluye capítulos invitados y una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos. Proporciona una referencia única a las investigaciones más modernas en el campo de la síntesis lógica y las técnicas booleanas; Incluye una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos; Cubre álgebras booleanas, lógica booleana, modelado booleano, búsqueda combinatoria, aritmética booleana y bit a bit, software y herramientas para la solución de problemas booleanos, aplicaciones de lógica y álgebras booleanas, aplicaciones a problemas del mundo real, resolución de restricciones booleanas y extensiones de booleanas. lógica. Nota de contenido: Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. 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 : Advanced Logic Synthesis Tipo de documento: documento electrónico Autores: Reis, André Inácio, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 232 p. 118 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-67295-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 proporciona una referencia única al estado del arte en síntesis lógica. Los lectores se beneficiarán de las perspectivas expertas de los autores sobre nuevas tecnologías y síntesis lógica, nuevas estructuras de datos, big data y síntesis lógica, y síntesis lógica convergente. Los autores describen técnicas que permitirán a los lectores aprovechar los avances recientes en técnicas y marcos de big data para tener mejores algoritmos de síntesis lógica. Describe cómo mapear la lógica en nuevas tecnologías y dispositivos post-CMOS; Explica cómo utilizar diferentes tipos de estructuras de datos internas, como Majority-Inverter-Graphs; Analiza cómo combinar la síntesis lógica y el diseño físico para tener formas más efectivas y convergentes de realizar la síntesis lógica integrada en un flujo completo. 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 Advanced Logic Synthesis [documento electrónico] / Reis, André Inácio, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 232 p. 118 ilustraciones, 48 ilustraciones en color.
ISBN : 978-3-319-67295-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 proporciona una referencia única al estado del arte en síntesis lógica. Los lectores se beneficiarán de las perspectivas expertas de los autores sobre nuevas tecnologías y síntesis lógica, nuevas estructuras de datos, big data y síntesis lógica, y síntesis lógica convergente. Los autores describen técnicas que permitirán a los lectores aprovechar los avances recientes en técnicas y marcos de big data para tener mejores algoritmos de síntesis lógica. Describe cómo mapear la lógica en nuevas tecnologías y dispositivos post-CMOS; Explica cómo utilizar diferentes tipos de estructuras de datos internas, como Majority-Inverter-Graphs; Analiza cómo combinar la síntesis lógica y el diseño físico para tener formas más efectivas y convergentes de realizar la síntesis lógica integrada en un flujo completo. 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 : Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications Tipo de documento: documento electrónico Autores: Goli, Mehran, Autor ; Drechsler, Rolf, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXI, 166 p. 53 ilustraciones ISBN/ISSN/DL: 978-3-030-44282-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 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 describe un conjunto de metodologías de análisis de prototipos virtuales basadas en SystemC, que incluyen comprensión del diseño, verificación, validación de seguridad y exploración del espacio de diseño. Los lectores obtendrán una descripción general de los últimos resultados de investigación en el campo de la automatización del diseño electrónico (EDA) a nivel de sistema electrónico (ESL). Las metodologías analizadas permiten a los lectores abordar fácilmente tareas y aplicaciones clave en el proceso de diseño. Proporciona una amplia introducción al campo del análisis de prototipos virtuales (VP) basado en SystemC a nivel de sistema electrónico; Describe una metodología de comprensión del diseño desde la perspectiva tanto basada en depuradores como basada en compiladores; Ilustra un enfoque de verificación semiformal para comprobar la validez de un VP determinado frente a su especificación, reglas definidas por el usuario y protocolo; Analiza un enfoque de validación de seguridad para validar el comportamiento en tiempo de ejecución de un SoC basado en VP determinado frente a modelos de amenazas a la seguridad, como la fuga de información (confidencialidad) y el acceso no autorizado a datos en una memoria (integridad); Describe un enfoque de exploración del espacio de diseño para VP basados en SystemC para guiar a los diseñadores a saber bajo qué límites de error se pueden aproximar diferentes partes de un VP determinado en diferentes niveles de granularidad. Nota de contenido: Chapter 1. Introduction -- Chapter 2. Background -- Chapter 3. Design Understanding Methodology -- Chapter 4. Application I: Verification -- Chapter 5. Application II: Security Validation -- Chapter 6. Application III: Design Space Exploration -- Chapter 7. 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 Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications [documento electrónico] / Goli, Mehran, Autor ; Drechsler, Rolf, Autor . - 1 ed. . - [s.l.] : Springer, 2020 . - XXI, 166 p. 53 ilustraciones.
ISBN : 978-3-030-44282-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 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 describe un conjunto de metodologías de análisis de prototipos virtuales basadas en SystemC, que incluyen comprensión del diseño, verificación, validación de seguridad y exploración del espacio de diseño. Los lectores obtendrán una descripción general de los últimos resultados de investigación en el campo de la automatización del diseño electrónico (EDA) a nivel de sistema electrónico (ESL). Las metodologías analizadas permiten a los lectores abordar fácilmente tareas y aplicaciones clave en el proceso de diseño. Proporciona una amplia introducción al campo del análisis de prototipos virtuales (VP) basado en SystemC a nivel de sistema electrónico; Describe una metodología de comprensión del diseño desde la perspectiva tanto basada en depuradores como basada en compiladores; Ilustra un enfoque de verificación semiformal para comprobar la validez de un VP determinado frente a su especificación, reglas definidas por el usuario y protocolo; Analiza un enfoque de validación de seguridad para validar el comportamiento en tiempo de ejecución de un SoC basado en VP determinado frente a modelos de amenazas a la seguridad, como la fuga de información (confidencialidad) y el acceso no autorizado a datos en una memoria (integridad); Describe un enfoque de exploración del espacio de diseño para VP basados en SystemC para guiar a los diseñadores a saber bajo qué límites de error se pueden aproximar diferentes partes de un VP determinado en diferentes niveles de granularidad. Nota de contenido: Chapter 1. Introduction -- Chapter 2. Background -- Chapter 3. Design Understanding Methodology -- Chapter 4. Application I: Verification -- Chapter 5. Application II: Security Validation -- Chapter 6. Application III: Design Space Exploration -- Chapter 7. 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 : 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
