Willkommen, schön sind Sie da!
Logo Ex Libris

Perspectives of System Informatics

  • Kartonierter Einband
  • 444 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held i... Weiterlesen
20%
95.00 CHF 76.00
Sie sparen CHF 19.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.

The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.



Inhalt
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.

Produktinformationen

Titel: Perspectives of System Informatics
Untertitel: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Editor:
EAN: 9783319743127
ISBN: 3319743120
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 444
Gewicht: 668g
Größe: H235mm x B155mm x T23mm
Jahr: 2018
Untertitel: Englisch
Auflage: 1st ed. 2018

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"