Autor Voronkov, Andrei
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / Bjørner, Nikolaj ; Virbitskaite, Irina ; Voronkov, Andrei
TÃtulo : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bjørner, Nikolaj, ; Virbitskaite, Irina, ; Voronkov, Andrei, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVIII, 263 p. 198 ilustraciones, 51 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-37487-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: Lógica en IA Técnicas de programación Lenguajes formales y teorÃa de los autómatas Sistemas de propósito especial y basados ​​en aplicaciones Programación informática Redes de comunicación informática TeorÃa de las máquinas Ordenador Red informáti Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional de Informática Andrei P. Ershov, PSI 2019, celebrada en Novosibirsk, Rusia, en julio de 2019. Los 18 artÃculos completos y 3 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 70 presentaciones. . Los artÃculos cubren diversos temas relacionados con las Matemáticas de la Computación, Sistemas de Información, Lenguajes Formales, Sistemas y Redes confiables y tolerantes a fallas, TeorÃa de Autómatas y mucho más. Nota de contenido: Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software and its engineering -- Document management and text processing. . 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 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers [documento electrónico] / Bjørner, Nikolaj, ; Virbitskaite, Irina, ; Voronkov, Andrei, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVIII, 263 p. 198 ilustraciones, 51 ilustraciones en color.
ISBN : 978-3-030-37487-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica en IA Técnicas de programación Lenguajes formales y teorÃa de los autómatas Sistemas de propósito especial y basados ​​en aplicaciones Programación informática Redes de comunicación informática TeorÃa de las máquinas Ordenador Red informáti Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional de Informática Andrei P. Ershov, PSI 2019, celebrada en Novosibirsk, Rusia, en julio de 2019. Los 18 artÃculos completos y 3 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 70 presentaciones. . Los artÃculos cubren diversos temas relacionados con las Matemáticas de la Computación, Sistemas de Información, Lenguajes Formales, Sistemas y Redes confiables y tolerantes a fallas, TeorÃa de Autómatas y mucho más. Nota de contenido: Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software and its engineering -- Document management and text processing. . 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 : Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Petrenko, Alexander K., ; Voronkov, Andrei, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 432 p. 80 ilustraciones ISBN/ISSN/DL: 978-3-319-74313-4 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: Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Programación de computadoras Computadoras digitales electrónicas Ordenadores Profesiones Lógica informática y fundamentos de la programación Compiladores e intérpretes Técnicas de programación Rendimiento y evaluación del sistema La profesión informática Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional de Informática Andrei P. Ershov, PSI 2017, celebrada en Moscú, Rusia, en junio de 2017. Los 31 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 57 presentaciones. Los artÃculos cubren diversos temas relacionados con los fundamentos del desarrollo y análisis de programas y sistemas, la metodologÃa de programación y la ingenierÃa de software y las tecnologÃas de la información. Nota de contenido: An Architecture for Non-invasive Software Measurement -- A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications -- Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code -- Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method -- Multi-cloud Applications Security Monitoring -- The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach -- PosDB: A Distributed Column-store Engine -- Microservices: How To Make Your Application Scale -- Static Binary Code Instrumentation for ARM Architecture -- A Behavioural Theory for Reactive Sequential Algorithms -- Lightweight Non-Intrusive Virtual Machine Introspection -- Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population -- A Framework for Dynamical Construction of Software Components -- A Transformation-Based Approach for Developing High-Performance GPU Programs -- Domain Engineering the Magnolia Way -- Approximating Event System Abstractions by Covering Their States and Transitions -- Implementing the Symbolic Method of Verification in the C-light Project -- Highlights of the Rice-Shapiro Theorem in Computable Topology -- A Memory Model for Deductively Verifying Linux Kernel Modules -- Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees -- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language -- Compositional Relational Programming with Nominal Projection and Compositional Synthesis -- WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method -- Distributed In Situ Processing of Big Raster Data in the Cloud -- Statistical Approach to Increase Source Code Completion Accuracy -- Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation -- Runtime Specialization of PostgreSQL Query Executor -- MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors -- Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor -- Towards Automated Static Verification of GNU C Programs -- Domain Specific Semantic Validation of Schema.org Annotations. . 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 Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers [documento electrónico] / Petrenko, Alexander K., ; Voronkov, Andrei, . - 1 ed. . - [s.l.] : Springer, 2018 . - XI, 432 p. 80 ilustraciones.
ISBN : 978-3-319-74313-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Programación de computadoras Computadoras digitales electrónicas Ordenadores Profesiones Lógica informática y fundamentos de la programación Compiladores e intérpretes Técnicas de programación Rendimiento y evaluación del sistema La profesión informática Ãndice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional de Informática Andrei P. Ershov, PSI 2017, celebrada en Moscú, Rusia, en junio de 2017. Los 31 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 57 presentaciones. Los artÃculos cubren diversos temas relacionados con los fundamentos del desarrollo y análisis de programas y sistemas, la metodologÃa de programación y la ingenierÃa de software y las tecnologÃas de la información. Nota de contenido: An Architecture for Non-invasive Software Measurement -- A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications -- Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code -- Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method -- Multi-cloud Applications Security Monitoring -- The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach -- PosDB: A Distributed Column-store Engine -- Microservices: How To Make Your Application Scale -- Static Binary Code Instrumentation for ARM Architecture -- A Behavioural Theory for Reactive Sequential Algorithms -- Lightweight Non-Intrusive Virtual Machine Introspection -- Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population -- A Framework for Dynamical Construction of Software Components -- A Transformation-Based Approach for Developing High-Performance GPU Programs -- Domain Engineering the Magnolia Way -- Approximating Event System Abstractions by Covering Their States and Transitions -- Implementing the Symbolic Method of Verification in the C-light Project -- Highlights of the Rice-Shapiro Theorem in Computable Topology -- A Memory Model for Deductively Verifying Linux Kernel Modules -- Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees -- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language -- Compositional Relational Programming with Nominal Projection and Compositional Synthesis -- WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method -- Distributed In Situ Processing of Big Raster Data in the Cloud -- Statistical Approach to Increase Source Code Completion Accuracy -- Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation -- Runtime Specialization of PostgreSQL Query Executor -- MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors -- Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor -- Towards Automated Static Verification of GNU C Programs -- Domain Specific Semantic Validation of Schema.org Annotations. . 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
