close
1.

電子ブック

EB
edited by Ezio Bartocci, Rupak Majumdar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9333
オンライン: http://dx.doi.org/10.1007/978-3-319-23820-3
目次情報: 続きを見る
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
Explaining Heisenbugs
Regular Papers
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
Runtime Adaptation for Actor Systems
Robust Online Monitoring of Signal Temporal Logic
On Verifying The Hennessy-Milner Logic with Recursion at Runtime
Assuring the Guardians
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Monitoring Electronic Exams
Monitoring Real Android Malware
Time-triggered Runtime Verification of Component-Based Multi-core Systems
Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment
From First-Order Temporal Logic to Parametric Trace Slicing
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
A Hybrid Approach to Causality Analysis
Short Papers
Statistical Model Checking of Distributed Adaptive Real-Time Software
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
Runtime Verification for Hybrid Analysis Tools
Suggesting Edits to Explain Failing Traces
Tool Papers
StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java
TIPEX: a tool chain for Timed Property Enforcement during eXecution
Tutorial Papers
Machine Learning Methods in Statistical Model Checking and System Design ? Tutorial
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
LearnLib Tutorial - An Open Source Java Library for Active Automata Learning
Monitoring and Measuring Hybrid Behaviors - A Tutorial
Software Competitions
Second International Competition on Runtime Verification CRV 2015
Rigorous Examination of Reactive Systems: The RERS challenge 2015
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
2.

電子ブック

EB
edited by Yvo Desmedt
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 7807
オンライン: http://dx.doi.org/10.1007/978-3-319-27659-5
3.

電子ブック

EB
edited by Shigeru Chiba, Eric Tanter, Erik Ernst, Robert Hirschfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8989
オンライン: http://dx.doi.org/10.1007/978-3-662-46734-3
目次情報: 続きを見る
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective
Propagation of Behavioral Variations with Delegation Proxies
Co-change Clusters: Extraction and Application on Assessing Software Modularity
Reusable Components of Semantic Specifications
Probabilistic Model Checking for Feature-Oriented Systems
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective
Propagation of Behavioral Variations with Delegation Proxies
Co-change Clusters: Extraction and Application on Assessing Software Modularity
4.

電子ブック

EB
edited by Jesper Larsson Traff, Sascha Hunold, Francesco Versaci
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9233
オンライン: http://dx.doi.org/10.1007/978-3-662-48096-0
目次情報: 続きを見る
Concurrent Systems: Hybrid Object Implementations and Abortable Objects
Runtime-Aware Architectures
MPI Thread-Level Checking for MPI+OpenMP Applications
Event-Action Mappings for Parallel Tools Infrastructures
Low-Overhead Detection of Memory Access Patterns and Their Time Evolution
Automatic On-line Detection of MPI Application Structure with Event Flow Graphs
Online Automated Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines
A Duplicate-Free State-Space Model for Optimal Task Scheduling
On the Heterogeneity Bias of Cost Matrices when Assessing Scheduling Algorithms
Hardware Round-Robin Scheduler for Single-ISA Asymmetric Multi-Core
Moody Scheduling for Speculative Parallelization
Allocating Jobs with Periodic Demands
A Multi?Level Hypergraph Partitioning Algorithm Using Rough Set Clustering
Non-preemptive Throughput Maximization for Speed-Scaling with Power-Down
Scheduling Tasks from Selfish Multi-tasks Agents
Locality and Balance for Communication-Aware Thread Mapping in Multicore Systems
Concurrent Priority Queues Are not Good Priority Schedulers
Load Balancing Prioritized Tasks via Work-Stealing
Optimizing Task Parallelism with Library-Semantics-Aware Compilation
Data Layout Optimization for Portable Performance
Automatic Data Layout Optimizations for GPUs
Performance Impacts with Reliable Parallel File Systems at Exascale Level
Rapid Tomographic Image Reconstruction via Large-Scale Parallelization
Software consolidation as an efficient energy and cost Saving Solution for a SaaS/PaaS Cloud Model
VMPlaceS A Generic Tool to Investigate and Compare VM Placement Algorithms
A Connectivity Model for Agreement in Dynamic Systems
DFEP: Distributed Funding-based Edge Partitioning
PR-STM: Priority Rule Based Software Transactions on the GPU
Leveraging MPI-3 Shared-Memory Extensions for Efficient PGAS Runtime Systems
A Practical Transactional Memory Interface
A Multicore Parallelization of Continuous Skyline Queries on Data Streams
A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures
A Composable Deadlock-Free Approach to Object-Based Isolation
Scalable Data-Driven PageRank: Algorithms, System Issues & Lessons Learned
How Many Threads Will Be Too Many? On the Scalability of OpenMP Implementations
Efficient Nested Dissection for Multicore Architectures
Scheduling Trees of Malleable Tasks for Sparse Linear Algebra
Elastic Tasks: Unifying Task Parallelism and SPMD Parallelism with an Adaptive Runtime
Semi-discrete Matrix-Free Formulation of 3D Elastic Full Waveform Inversion Modeling
10,000 Performance Models per Minute - Scalability of the UG4 Simulation Framework
Exploiting Task-Based Parallelism in Bayesian Uncertainty Quantification
Parallelization of an Advection-Diffusion Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming
Behavioral Non-Portability in Scientific Numeric Computing
Fast Parallel Suffix Array on the GPU
Effective Barrier Synchronization on Intel Xeon Phi Coprocessor
High Performance Multi-GPU SpMV for Multi-component PDE-based Applications
Accelerating Lattice Boltzmann Applications with OpenACC
High-Performance and Scalable Design of MPI-3 RMA on Xeon Phi Clusters
Improving Performance of Convolutional Neural Networks by Separable Filters on GPU
Iterative Sparse Triangular Solves for Preconditioning
Targeting the Parallella
Systematic Fusion of CUDA Kernels for Iterative Sparse Linear System Solvers
Efficient Execution of Multiple CUDA Applications using Transparent Suspend, Resume and Migration
Concurrent Systems: Hybrid Object Implementations and Abortable Objects
Runtime-Aware Architectures
MPI Thread-Level Checking for MPI+OpenMP Applications
5.

電子ブック

EB
by Walter S. Brainerd
出版情報: London : Springer London : Imprint: Springer, 2015
オンライン: http://dx.doi.org/10.1007/978-1-4471-6759-4
目次情報: 続きを見る
Introduction to Programming in Fortran
Control Constructs
Modules and Procedures
Arrays
Character Data
Structures and Derived Types
IEEE Arithmetic and Exceptions
More about Modules and Procedures
Extending Fortran
Pointer and Allocatable Variables
Input and Output
Object-Oriented Programming
Coarrays
Appendix A: Intrinsic Procedures
Appendix B: Fortran Language Forms
Introduction to Programming in Fortran
Control Constructs
Modules and Procedures
6.

電子ブック

EB
by K. C. Wang
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
オンライン: http://dx.doi.org/10.1007/978-3-319-17575-1
目次情報: 続きを見る
Introduction
Foundations and Background
Booting Operating Systems
A Simple Operating System Kernel
User Mode and System Calls
Process Synchronization
Memory Management
Interrupt Processing and Process Scheduling
Signals and Signal Processing
Device Drivers
File System
Block Device I/O and Buffer Management
User Interface
MTX in 32-bit Protected Mode
Symmetric Multiprocessing MTX
Hybrid Operating Systems
Introduction
Foundations and Background
Booting Operating Systems
7.

電子ブック

EB
edited by David Naumann
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8963
オンライン: http://dx.doi.org/10.1007/978-3-319-14806-9
目次情報: 続きを見る
Numerous formal notations
Theories of programming
Abstraction
Refinement
Choice
Termination
Feasibility
Locality
Concurrency and communication
Numerous formal notations
Theories of programming
Abstraction
8.

電子ブック

EB
edited by Alessandro Fantechi, Patrizio Pelliccione
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9274
オンライン: http://dx.doi.org/10.1007/978-3-319-23129-7
目次情報: 続きを見る
Biological Immunity and Software Resilience: two faces of the same coin?
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol
Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems
Risk assessment based cloudification
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain
Tejo: a supervised anomaly detection scheme for NewSQL databases
Resiliency Variance in Workows with Choice
Biological Immunity and Software Resilience: two faces of the same coin?
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol
Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems
9.

電子ブック

EB
edited by Mehdi Dastani, Marjan Sirjani
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9392
オンライン: http://dx.doi.org/10.1007/978-3-319-24644-4
目次情報: 続きを見る
Towards Smart Systems of Systems
Automated Integration of Service-oriented Software Systems
Software Architecture Modeling and Evaluation Based on Stochastic
Applicative Bisimulation and Quantum Lambda-Calculi
A Theory of Integrating Tamper Evidence with Stabilization
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
Benchmarks for Parity Games
A behavioral theory for a pi-calculus with preorders
Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity
Analyzing Mutable Checkpointing
High Performance Computing Applications using Parallel Data Processing Units
Improved Iterative Methods for Verifying Markov Decision Processes
A Pre-congruence Format for XY-simulation
Tooled Process for Early Validation of SysML Models using Modelica Simulation
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Painless support for static and runtime verification of component-based Applications
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
An Interval-Based Approach to Modelling Time in Event-B
From Event-B Models to Dafny Code Contracts
Towards Smart Systems of Systems
Automated Integration of Service-oriented Software Systems
Software Architecture Modeling and Evaluation Based on Stochastic
10.

電子ブック

EB
edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9447
オンライン: http://dx.doi.org/10.1007/978-3-319-25945-1