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 Tom Holvoet, Mirko Viroli
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9037
オンライン: http://dx.doi.org/10.1007/978-3-319-19282-6
目次情報: 続きを見る
Replica-Based High-Performance Tuple Space Computing
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Logic Fragments: A Coordination Model Based on Logic Inference
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
Dynamic Choreographies: Safe Runtime Updates of Distributed Applications
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
A Fix point-Based Calculus for Graph-Shaped Computational Fields
Take Command of Your Constraints!
A Labelled Semantics for Soft Concurrent Constraint Programming
Parallelisation and Application of AD3 as a Method for Solving Large Scale Combinatorial Auctions
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions
Klaim-DB: A Modeling Language for Distributed Database Applications
Open Transactions on Shared Memory
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries
Replica-Based High-Performance Tuple Space Computing
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Logic Fragments: A Coordination Model Based on Logic Inference
3.

電子ブック

EB
edited by Toby Walsh
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9346
オンライン: http://dx.doi.org/10.1007/978-3-319-23114-3
目次情報: 続きを見る
Preferences
Manipulation
Learning and other issues
Utility and decision theory
Agumentation
Bribery and control
Social choice
Allocation and other problems
Doctoral consortium
Preferences
Manipulation
Learning and other issues
4.

電子ブック

EB
edited by Michael Butler, Sylvain Conchon, Fatiha Zaidi
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9407
オンライン: http://dx.doi.org/10.1007/978-3-319-25423-4
5.

電子ブック

EB
by Kent D. Lee, Steve Hubbard
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-3-319-13072-9
目次情報: 続きを見る
1: Python Programming 101
2: Computational Complexity
3: Recursion
Sequences
4: Sets and Maps
5: Trees
6: Graphs
7: Membership Structures
8: Heaps
9: Balanced Binary Search Trees
10: B-Trees
11: Heuristic Search
Appendix A: Integer Operators
Appendix B: Float Operators
Appendix C: String Operators and Methods
Appendix D: List Operators and Methods
Appendix E: Dictionary Operators and Methods
Appendix F: Turtle Methods
Appendix G: TurtleScreen Methods
Appendix H: Complete Programs
1: Python Programming 101
2: Computational Complexity
3: Recursion
6.

電子ブック

EB
edited by Stefano Markidis, Erwin Laure
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8759
オンライン: http://dx.doi.org/10.1007/978-3-319-15976-8
目次情報: 続きを見る
Tackling Exascale Software Challenges in Molecular Dynamics Simulations with GROMACS
Weighted Decomposition in High-Performance Lattice-Boltzmann Simulations: Are Some Lattice Sites More Equal than Others
Performance Analysis of a Reduced Data Movement Algorithm for Neutron Cross Section Data in Monte Carlo Simulations
Nek5000 with OpenACC
Auto-tuning an OpenACC Accelerated Version of Nek5000
Development Environment for Exascale Applications Towards Exascale Co-Design in a Runtime System
Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations
Memory Usage Optimizations for Online Event Analysis
Towards Detailed Exascale Application Analysis ? Selective Monitoring and Visualisation
Performance Analysis of Irregular Collective Communication with the Crystal Router Algorithm
The Architecture of Vistle, a Scalable Distributed Visualization System.?
Tackling Exascale Software Challenges in Molecular Dynamics Simulations with GROMACS
Weighted Decomposition in High-Performance Lattice-Boltzmann Simulations: Are Some Lattice Sites More Equal than Others
Performance Analysis of a Reduced Data Movement Algorithm for Neutron Cross Section Data in Monte Carlo Simulations
7.

電子ブック

EB
edited by Marcio Barros, Yvan Labiche
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9275
オンライン: http://dx.doi.org/10.1007/978-3-319-22183-0
8.

電子ブック

EB
edited by Thomas Eiter, Hannes Strass, Miros?aw Truszczy?ski, Stefan Woltran
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9060
オンライン: http://dx.doi.org/10.1007/978-3-319-14726-0
目次情報: 続きを見る
Prologue
Actions and Agents
Nonmonotonic and Human Reasoning
Preferences
Abstract Argumentation
Reflections on Knowledge Representation
Epilogue
Prologue
Actions and Agents
Nonmonotonic and Human Reasoning
9.

電子ブック

EB
edited by James Brodman, Peng Tu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8967
オンライン: http://dx.doi.org/10.1007/978-3-319-17473-0
目次情報: 続きを見る
Accelerator programming
Algorithms for parallelism
Compilers
Debugging
Vectorization
Accelerator programming
Algorithms for parallelism
Compilers
10.

電子ブック

EB
edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9465
オンライン: http://dx.doi.org/10.1007/978-3-319-25527-9