| 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 |
|  |
Hacer una sugerencia Refinar búsqueda
