Perspectives of System Informatics
-15%
portes grátis
Perspectives of System Informatics
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Voronkov, Andrei; Petrenko, Alexander K.
Springer International Publishing AG
01/2018
432
Mole
Inglês
9783319743127
15 a 20 dias
676
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
computer systems;computer programming;computer software selection and evaluation;databases;formal logic;formal languages and automata theory;semantics;software architectures;software engineering;software notations and tools;specifications;logic;verification
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
