Información del autor
Autor Groote, Jan Friso |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / Groote, Jan Friso ; Larsen, Kim Guldstrand
TÃtulo : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Larsen, Kim Guldstrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 471 p. 106 ilustraciones ISBN/ISSN/DL: 978-3-030-72016-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación Programación lógica TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Lógica en IA Clasificación: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . Tipo de medio : Computadora Summary : This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I [documento electrónico] / Groote, Jan Friso, ; Larsen, Kim Guldstrand, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 471 p. 106 ilustraciones.
ISBN : 978-3-030-72016-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación Programación lógica TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Lógica en IA Clasificación: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . Tipo de medio : Computadora Summary : This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Larsen, Kim Guldstrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 465 p. 91 ilustraciones ISBN/ISSN/DL: 978-3-030-72013-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación IngenierÃa de software TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Clasificación: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). Tipo de medio : Computadora Summary : This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [documento electrónico] / Groote, Jan Friso, ; Larsen, Kim Guldstrand, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 465 p. 91 ilustraciones.
ISBN : 978-3-030-72013-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ciencias de la Computación IngenierÃa Informática Red de computadoras Microprogramación IngenierÃa de software TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Clasificación: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). Tipo de medio : Computadora Summary : This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Logic Gates, Circuits, Processors, Compilers and Computers Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Morel, Rolf, ; Schmaltz, Julien, ; Watkins, Adam, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 251 p. 82 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-68553-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ordenadores Compiladores (programas informáticos) Hardware de la computadora Compiladores e intérpretes Clasificación: 4 Resumen: Las computadoras están construidas con circuitos integrados como microprocesadores. Estos procesadores pueden contener más de mil millones de transistores, todos conectados entre sà en un patrón intrincado. Además de este hardware, se utilizan muchas capas de software, lo que convierte a los sistemas informáticos en objetos muy complejos. Sin embargo, muchas de las ideas esenciales detrás de la construcción de computadoras son en realidad bastante sencillas. El propósito de este libro de texto es dar una descripción concisa pero precisa de la esencia de una computadora. Comienza describiendo las puertas lógicas que se construyen a partir de transistores y luego explica cómo dichas puertas pueden usarse para implementar funciones lógicas a través de circuitos combinatorios. La cobertura adicional incluye aspectos clave del procesamiento, la programación ensambladora, la compilación de lenguajes de nivel superior y la organización informática. El libro también incluye un capÃtulo útil sobre Raspberry Pi como herramienta de aprendizaje adecuada. Temas y caracterÃsticas: * Presenta una visión holÃstica de las tecnologÃas de hardware y software relevantes * Presenta a los estudiantes los circuitos electrónicos básicos antes de examinar elementos más avanzados * Proporciona muchos ejercicios, y también incluye sus respuestas al final del libro * Explica las relaciones crÃticas con la programación en ensamblaje. lenguajes de nivel superior y organización de computadoras * Hace un uso útil de los microprocesadores Raspberry Pi y ARM para explicaciones. Este libro de texto único y conciso para estudiantes universitarios, ampliamente probado en clase, describe los componentes y el funcionamiento esenciales de una computadora. Útil en cursos de informática e ingenierÃa electrónica o para el autoaprendizaje, el trabajo supone conocimientos básicos de matemáticas elementales y electrónica, asà como cierta experiencia con un lenguaje de programación común como Java o C++. El Prof. Jan Friso Groote, el Dr. Julien Schmaltz y el Dr. Adam Watkins están todos en la Universidad de TecnologÃa, Matemáticas e Informática de Eindhoven, Eindhoven, PaÃses Bajos. El Sr. Rolf Morel trabaja en el Departamento de Ciencias de la Computación de la Universidad de Oxford, Oxford, Reino Unido. Nota de contenido: Basic Components and Combinatorial Circuits -- Numbers, Basic Circuits, and the ALU -- Sequential Circuits -- An Elementary Processor -- Assembly Programming -- Compiling Higher-Level Languages -- Computer Organisation -- The Raspberry Pi and the ARM Processor -- App. A, An Extended Instruction Set for the Simple Processor -- App. B, The ARM Instruction Set -- App. C, Syntax of the Register Transfer Language -- App. D, Exercise Answers. Tipo de medio : Computadora Summary : Computers are constructed with integrated circuits such as micro-processors. These processors can contain well over a billion transistors all connected with each other in an intricate pattern. In addition to this hardware, many layers of software are used, making computer systems very complex objects indeed. However, many of the essential ideas behind the construction of computers are actually quite straightforward. The purpose of this text book is to give a concise, but precise, description of the essence of a computer. It begins by describing the logic gates that are constructed from transistors, then explains how such gates can be used to implement logic functions through combinatorial circuits. Further coverage includes key aspects of processing, Assembly programming, compiling higher-level languages, and computer organisation. The book also includes a helpful chapter on Raspberry Pi as a suitable learning tool. Topics and features: * Presents a holistic view of relevant hardware and software technologies * Introduces students to basic electronic circuitry before examining more advanced elements * Provides many exercises, also including their answers at the end of the book * Explains critical relationships to Assembly programming, higher-level languages, and computer organisation * Makes helpful use of the Raspberry Pi and ARM microprocessors for explanations Extensively class-tested, this unique, concise textbook for undergraduates describes the essential components and workings of a computer. Useful in computer science and electronics engineering courses or for self-study, the work assumes basic understandings of elementary mathematics and electronics, as well as some experience with a common programming language like Java or C++. Prof. Jan Friso Groote, Dr. Julien Schmaltz, and Dr. Adam Watkins are all at Eindhoven University of Technology, Mathematics and Computer Science, Eindhoven, The Netherlands. Mr. Rolf Morel is at the University of Oxford, Dept. of Computer Science, Oxford, United Kingdom. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Logic Gates, Circuits, Processors, Compilers and Computers [documento electrónico] / Groote, Jan Friso, ; Morel, Rolf, ; Schmaltz, Julien, ; Watkins, Adam, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 251 p. 82 ilustraciones, 1 ilustraciones en color.
ISBN : 978-3-030-68553-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ordenadores Compiladores (programas informáticos) Hardware de la computadora Compiladores e intérpretes Clasificación: 4 Resumen: Las computadoras están construidas con circuitos integrados como microprocesadores. Estos procesadores pueden contener más de mil millones de transistores, todos conectados entre sà en un patrón intrincado. Además de este hardware, se utilizan muchas capas de software, lo que convierte a los sistemas informáticos en objetos muy complejos. Sin embargo, muchas de las ideas esenciales detrás de la construcción de computadoras son en realidad bastante sencillas. El propósito de este libro de texto es dar una descripción concisa pero precisa de la esencia de una computadora. Comienza describiendo las puertas lógicas que se construyen a partir de transistores y luego explica cómo dichas puertas pueden usarse para implementar funciones lógicas a través de circuitos combinatorios. La cobertura adicional incluye aspectos clave del procesamiento, la programación ensambladora, la compilación de lenguajes de nivel superior y la organización informática. El libro también incluye un capÃtulo útil sobre Raspberry Pi como herramienta de aprendizaje adecuada. Temas y caracterÃsticas: * Presenta una visión holÃstica de las tecnologÃas de hardware y software relevantes * Presenta a los estudiantes los circuitos electrónicos básicos antes de examinar elementos más avanzados * Proporciona muchos ejercicios, y también incluye sus respuestas al final del libro * Explica las relaciones crÃticas con la programación en ensamblaje. lenguajes de nivel superior y organización de computadoras * Hace un uso útil de los microprocesadores Raspberry Pi y ARM para explicaciones. Este libro de texto único y conciso para estudiantes universitarios, ampliamente probado en clase, describe los componentes y el funcionamiento esenciales de una computadora. Útil en cursos de informática e ingenierÃa electrónica o para el autoaprendizaje, el trabajo supone conocimientos básicos de matemáticas elementales y electrónica, asà como cierta experiencia con un lenguaje de programación común como Java o C++. El Prof. Jan Friso Groote, el Dr. Julien Schmaltz y el Dr. Adam Watkins están todos en la Universidad de TecnologÃa, Matemáticas e Informática de Eindhoven, Eindhoven, PaÃses Bajos. El Sr. Rolf Morel trabaja en el Departamento de Ciencias de la Computación de la Universidad de Oxford, Oxford, Reino Unido. Nota de contenido: Basic Components and Combinatorial Circuits -- Numbers, Basic Circuits, and the ALU -- Sequential Circuits -- An Elementary Processor -- Assembly Programming -- Compiling Higher-Level Languages -- Computer Organisation -- The Raspberry Pi and the ARM Processor -- App. A, An Extended Instruction Set for the Simple Processor -- App. B, The ARM Instruction Set -- App. C, Syntax of the Register Transfer Language -- App. D, Exercise Answers. Tipo de medio : Computadora Summary : Computers are constructed with integrated circuits such as micro-processors. These processors can contain well over a billion transistors all connected with each other in an intricate pattern. In addition to this hardware, many layers of software are used, making computer systems very complex objects indeed. However, many of the essential ideas behind the construction of computers are actually quite straightforward. The purpose of this text book is to give a concise, but precise, description of the essence of a computer. It begins by describing the logic gates that are constructed from transistors, then explains how such gates can be used to implement logic functions through combinatorial circuits. Further coverage includes key aspects of processing, Assembly programming, compiling higher-level languages, and computer organisation. The book also includes a helpful chapter on Raspberry Pi as a suitable learning tool. Topics and features: * Presents a holistic view of relevant hardware and software technologies * Introduces students to basic electronic circuitry before examining more advanced elements * Provides many exercises, also including their answers at the end of the book * Explains critical relationships to Assembly programming, higher-level languages, and computer organisation * Makes helpful use of the Raspberry Pi and ARM microprocessors for explanations Extensively class-tested, this unique, concise textbook for undergraduates describes the essential components and workings of a computer. Useful in computer science and electronics engineering courses or for self-study, the work assumes basic understandings of elementary mathematics and electronics, as well as some experience with a common programming language like Java or C++. Prof. Jan Friso Groote, Dr. Julien Schmaltz, and Dr. Adam Watkins are all at Eindhoven University of Technology, Mathematics and Computer Science, Eindhoven, The Netherlands. Mr. Rolf Morel is at the University of Oxford, Dept. of Computer Science, Oxford, United Kingdom. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
