Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers. (2018)
- Record Type:
- Book
- Title:
- Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers. (2018)
- Main Title:
- Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
- Other Titles:
- PSI 2017
- Further Information:
- Note: Edited by Alexander K. Petrenko, Andrei Voronkov.
- Editors:
- Petrenko, Alexander K
Voronkov, Andrei - Other Names:
- International Andrei Ershov Memorial Conference, 11th
- Contents:
- 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 --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. … (more)
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2018
- Extent:
- 1 online resource (XI, 432 pages), 80 illustrations
- Subjects:
- 004
Computer science
Computer science -- Congresses
Computer programming -- Congresses
Systems engineering -- Congresses
Computer logic
Computer programming
Computer science
Computer system failures
Computers
Programming languages (Electronic computers)
Software engineering
Computer Science
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Programming Techniques
System Performance and Evaluation
The Computing Profession
Computers -- Software Development & Engineering -- General
Computers -- Programming Languages -- General
Computers -- Programming -- General
Computers -- Hardware -- Handheld Devices
Computers -- General
Software Engineering
Programming & scripting languages: general
Computer programming / software development
Systems analysis & design
Information technology: general issues
Logic design
Software engineering
Computer system performance
Computer industry
Electronic books - Languages:
- English
- ISBNs:
- 9783319743134
3319743139 - Related ISBNs:
- 9783319743127
3319743120 - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.367076
- Ingest File:
- 01_342.xml