Euro-Par 2010, Parallel Processing Workshops
HeteroPAR, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Iscia, Italy, August 31 - September 3, 2010, Revised Selected Papers
Published on 24. June 2011
XXVI, 699 pages
978-3-642-21878-1 (ISBN)
Description
This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 16th International Conference on Parallel Computing, Euro-Par 2010, held in Ischia, Italy, in August/September 2010. The papers of these 9 workshops HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, and VHPC focus on promotion and advancement of all aspects of parallel and distributed computing.
More details
Other editions
Additional editions
Mario R. Guarracino | Fréderic Vivien | Jesper Larsson Traff
Euro-Par 2010, Parallel Processing Workshops
HeteroPAR, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Iscia, Italy, August 31 - September 3, 2010, Revised Selected Papers
Book
06/2011
Springer
€106.99
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Eighth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar'2010)
- HeteroPar'2010: Eighth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms
- Accurate Emulation of CPU Performance
- Introduction
- Related Work
- Problem Statement
- Proposed Solution
- Evaluation
- Experimental Setup
- Benchmarks
- Results and Discussion
- Conclusions
- References
- Case Studies in Automatic GPGPU Code Generation with llc
- Introduction
- The llc Language and Its Compiler
- Case Studies
- The Mandelbrot Set Computation
- The Jacobi Method
- Molecular Dynamic Simulation
- Conclusions and Future Work
- References
- On the Evaluation of Java Symphony forHeterogeneous Multi-core Clusters
- Introduction
- Related Work
- JavaSymphony
- Dynamic Virtual Architectures
- JavaSymphony Objects
- Object Agent System
- Locality Control
- Experiments
- Heterogeneous Cluster
- Conclusions
- References
- MAHEVE: An Efficient Reliable Mapping of Asynchronous Iterative Applications on Volatile and Heterogeneous Environments
- Introduction
- JaceP2P-V2
- Mapping and Fault Tolerance Problems
- Related Work
- MAHEVE
- Initial Mapping
- Replacing Function
- Experimentation
- A Typical AIAC Application and the Execution Platform
- Experiments
- Conclusion and Future Work
- References
- Dynamic Load Balancing of Parallel Computational Iterative Routines on Platforms with Memory Heterogeneity
- Introduction
- Related Work
- Traditional Load Balancing Algorithm of Iterative Routines
- Analysis of Traditional Load Balancing
- Experimental Results of the Traditional Load Balancing Algorithm
- Dynamic Load Balancing Based on Accurate Evaluation of Computation Load and Memory Hierarchy
- Experimental Results
- Conclusion
- References
- Dealing with Heterogeneity for Mapping MMOFPS in Distributed Systems
- Introduction
- OnDeGaS System Description
- System Model
- System Operation
- Implementation Issues
- Experimental Results
- Performance Evaluation
- Conclusion and Future Work
- References
- Max-Plus Algebra and Discrete Event Simulation on Parallel Hierarchical Heterogeneous Platforms
- Introduction
- Background and Related Work
- Max-Plus Algebra
- Discrete Event Simulation
- The Square-Corner Partitioning
- MPI Experiments
- Max-Plus MMM Using the Square-Corner Partitioning
- The Square-Corner Partitioning for Discrete Event Simulation
- Conclusion and Future Work
- References
- Forth Workshop on Highly Parallel Processing on a Chip (HPPC 2010)
- HPPC 2010: Forth Workshop on Highly Parallel Processing on a Chip
- The Massively Parallel Computing Model GCA
- Introduction
- The GCA Model (Global Cellular Automata)
- GCA Architectures
- Conclusion
- References
- "Single-chip Cloud Computer", an IA Tera-scale Research Processor
- Evaluation of Low-Overhead Organizations for the Directory in Future Many-Core CMPs
- Introduction
- Base Architecture
- BT and BT-SN Compressed Sharing Codes
- Evaluation Environment
- Evaluation Results
- Impact on Area Overhead
- Impact on Network Traffic
- Impact on Execution Time
- Conclusions
- References
- A Work Stealing Scheduler for Parallel Loops on Shared Cache Multicores
- Introduction
- Scheduling for Efficient Shared Cache Usage
- Window Algorithms for Sequence Processing
- Cache Performance of Window Algorithms
- PThread Parallelization of Window Algorithms
- Work-Stealing Window Algorithms with Kaapi
- Kaapi Overview
- Work-Stealing Algorithm for Standard (no-window) Processing
- Work-Stealing Window Algorithms
- Experiments
- Calibrating the Window Algorithms
- Comparison of Parallel Libraries on for_each
- Performance of the Window Algorithms
- Conclusions
- References
- Resource-Agnostic Programming for Many-Core Microgrids
- Introduction
- The SVP Concurrency Model and Its Implementation
- Performance Model and Results
- Example: Parallel Reduction
- Data-Parallel Code
- Conclusion
- References
- Programming Heterogeneous Multicore Systems Using Threading Building Blocks
- Introduction
- Background
- Offloading TBB Parallel Loops on the Cell BE Architecture
- Portable Tuning for Performance
- Experimental Evaluation
- Results
- Conclusions
- References
- Fine-Grained Parallelization of a Vlasov-Poisson Application on GPU
- Introduction
- Mathematical Model
- Algorithmic Analysis
- Global Numerical Scheme
- Local Spline Method
- Floating Point Precision
- Improvement of Numerical Precision
- CUDA Algorithms
- CUDA Framework
- Data Placement
- Spline Coefficients Computation
- Parallel Interpolations
- Data Load
- Domain Decomposition and Fine Grain Algorithm
- Performance
- Machines
- Small Test Case
- Large Test Case
- Conclusion
- References
- Highly Parallel Implementation of Harris Corner Detector on CSX SIMD Architecture
- Introduction
- The Harris Corner Detector Algorithm
- The CSX700 Architecture
- Proposed Parallel Implementation
- Data Decomposition
- Parallel Implementation of Harris Corner Detector Algorithm
- Results and Performance of Parallel Implementation
- Conclusion and Future Work
- References
- Static Speculation as Post-link Optimization for the Grid Alu Processor
- Introduction
- Related Work
- Target Platform: Grid Alu Processor
- Static Speculation
- Evaluation
- Conclusion
- References
- A Multi-level Routing Scheme and Router Architecture to Support Hierarchical Routing in Large Network on Chip Platforms
- Introduction
- Safe Channels for Increased Connectivity in Hierarchical Routing Algorithms
- Two-Level Routing Scheme
- Addressing and Routing Protocol
- Two-Level Routing Function
- A Small Example of Routing in Two-Level Router Networks
- Synthesis Results
- Simulation Based Performance Evaluation
- Simulation Results
- Conclusions
- References
- Workshop on High Performance Bioinformatics and Biomedicine (HiBB 2010)
- HiBB 2010: Workshop on High Performance Bioinformatics and Biomedicine
- StochKit-FF: Efficient Systems Biology on Multicore Architectures
- Introduction
- A Stochastic Model of the Immune Response to HIV
- Parallel Stochastic Simulations
- Parallel StochKit: StochKit-FF
- Experiments and Discussion
- Concluding Remarks
- References
- ProtTest-HPC: Fast Selection of Best-Fit Models of Protein Evolution
- Introduction
- ProtTest
- Java for High Performance Computing
- ProtTest-HPC
- Shared Memory Implementation
- Distributed Memory Implementation
- Performance Evaluation
- Shared Memory Benchmarking
- Distributed Memory Benchmarking
- Conclusions
- References
- Gridifying the TINKER Conformer Generator Application for gLite Grid
- Introduction
- The TINKER Conformer Generator Application
- Gridifying the Application
- Performance Evaluation
- Conclusions
- References
- On the Scalability of Multi-Criteria Protein Structure Comparison in the Grid
- Introduction
- The MC-PSC Grand Challenge
- Deployment on the NGS Infrastructure
- Dataset
- Results and Discussions
- Concluding Remarks and Future Directions
- References
- Real-Time Electron Tomography Based on GPU Computing
- Introduction
- Tomographic Reconstruction Based on Matrix WBP
- Reduction Noise by Beltrami Method
- Matrix WBP-Beltrami on MultiGPU
- Experimental Evaluation
- Conclusions and Future Work
- References
- Hybrid Parallel Simulations of Fluid Flows in Complex Geometries: Application to the Human Lungs
- Introduction
- Hybrid Parallelization Strategy for LBM
- Numerical Experiments
- Case Study Description and Discretization Issues
- Performance Results
- Conclusions
- References
- Parallel Implementation of a Computational Model of the Human Immune System
- Introduction
- Biological Background
- Mathematical Model
- Sequential Implementation
- Parallel Implementation
- Experimental Evaluation
- Conclusions and Future Works
- References
- Parallel Pre-processing of Affymetrix Microarray Data
- Introduction
- Preprocessing of Affymetrix Microarray Data
- A Parallel System for Preprocessing Affymetrix Microarray Data
- Case Study
- Conclusion
- References
- 2010 CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing
- 2010 CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing
- LIBERO: A Framework for Autonomic Management of Multiple Non-functional Concerns
- Introduction
- Autonomic Manager Coordination
- LIBERO
- LIBERO Base Mechanisms
- LIBERO BS
- Experimental Results
- Related Work
- Conclusion
- References
- Adaptive Instantiation of Service Workflows Using a Chemical Approach
- Introduction
- The Chemical Computational Model
- Chemical Representation of the Problem
- Workflow Instantiation as Chemical Reactions
- Lazy Instantiation of Workflows
- Related Work
- Conclusions
- References
- CoreGRID and Clouds - Future Perspectives
- Introduction
- Research Challenges in Cloud Computing and Grids
- Scalability
- Improve Efficiency
- Reliability
- Reducing Complexity
- Data Management
- Trust and Security
- HPC and Cloud Computing
- Outlook
- References
- From Invisible Grids to Smart Cloud Computing
- Introduction
- The Invisible Grid Concepts
- The Smarter Planet Vision
- A Reference Smart Cloud Architecture
- Smart Cloud Infrastructure
- Information Resources, Infrastructures, and Repositories
- Sustainable Services
- Smart Programming Models, Tools and Environments
- Conclusions
- References
- Multi-level Brokering Solution for Interoperating Service and Desktop Grids
- Introduction
- Related Work
- Meta-Brokering for Service Grids
- 3G Bridge: A Service Broker for Desktop Grids
- Meta-brokering among Service and Desktop Grids
- Conclusions
- References
- Software Licenses as Mobile Objects in Distributed Computing Environments
- Introduction
- Related Work
- Mobile Licenses
- New Business Models
- Architecture
- License Service
- SLAs and Negotiation
- Security
- Licenses
- Authorisation
- License Tokens
- License Enforcement
- Conclusions and Future Work
- References
- Actor-Driven Workflow Execution in Distributed Environments
- Introduction
- Related Works
- Task Distribution to Resources
- UNICORE Middleware Integration
- Task Repository
- Evaluation - Human Tasks in Unicore
- Conclusions and Future Works
- References
- First Class Futures: Specification and Implementation of Update Strategies
- Introduction
- Related Works
- Modeling Different Future Update Strategies
- General Notation
- Eager Forward-Based Strategy
- Eager Message-Based Strategy
- Lazy Message-Based Strategy
- Experimental Evaluation
- Conclusion
- References
- GroudSim: An Event-Based Simulation Framework for Computational Grids and Clouds
- Introduction
- Related Work
- Discrete-Event Simulation
- GroudSim
- Evaluation
- GridSim Comparison
- Job Submission
- Conclusion
- References
- Dynamic Service Configurations for SLA Negotiation
- Introduction
- Dynamic Configuration of SLA Offers
- Formal Model for Dynamic Service Configurations
- Definitions
- Extensions
- Motivational Scenario
- Negotiation Process Based on SLA Configurations
- Conclusion
- References
- Third Workshop on UnConventional High Performance Computing (UCHPC 2010)
- UCHPC 2010: Third Workshop on UnConventional High Performance Computing
- Iterative Solution of Linear Systems in Electromagnetics (And Not Only): Experiences with CUDA
- Introduction
- Design and Implementation
- CUDA Background
- The BiCG Algorithm
- Matrix Format
- Implementation
- Experiments and Results
- EM Matrices
- Florida Matrices
- Conclusions
- References
- Distributed Computation of Feature-Detectors for Medical Image Processing on GPGPU and Cell Processors
- Introduction
- Related Work
- Perceptron-Based Image Filtering
- Kohonen Maps
- Parallel Computation
- Implementation
- GPU
- Cell
- Results
- Conclusion
- References
- Preliminary Investigation of Accelerating Molecular Dynamics Simulation on Godson-T Many-Core Processor
- Introduction
- A Divide-and-Conquer MD Algorithm
- $Godson-T$ Many-Core Architecture
- Optimizations on $Godson-T$
- Adaptive Divide-and-Conquer Algorithm
- Data Layout Optimization
- On-Chip Locality Aware Parallel Algorithm
- Evaluation
- Conclusion
- References
- Real-Time Stopped Object Detection by Neural Dual Background Modeling
- Introduction
- Stopped Object Detection
- Dual Background Approach
- Neural Self-Organizing Background Model
- The Algorithm
- Parallelizing Stopped Object Detection
- Experimental Results
- Conclusions
- References
- GPU-to-CPU Callbacks
- Introduction
- Existing Methods
- Implementation
- CPU Implementation
- GPU Implementation
- Tests
- TCP/IP
- Memory Manager
- Debugging
- Conclusion
- References
- Static GPU Threads and an Improved Scan Algorithm
- Introduction
- GPU Architecture
- OpenCL/CUDA Programming Model
- Static GPU Threads
- Scan+Algorithm
- Related Work
- Conclusion
- References
- Streaming-Oriented Parallelization of Domain-Independent Irregular Kernels
- Introduction
- Domain-Independent Irregular Kernels
- Irregular Assignment
- Irregular Reduction
- Parallelizing Transformations for the Streaming Model
- Irregular Assignment
- Irregular Reduction
- Performance Evaluation on a GPU Using Brook+
- Benchmark Suite
- Performance Analysis
- Conclusions and Future Work
- References
- Scalable Multi-coloring Preconditioning for Multi-core CPUs and GPUs
- Introduction
- Parallel Preconditioning Techniques
- Implementation Aspects
- Performance Analysis
- Conclusion
- References
- Peak Performance Model for a Custom Precision Floating-Point Dot Product on FPGAs
- Introduction
- Related Work
- Dot Product Architecture
- Experiments
- Dot Product Performance Model
- Conclusions
- References
- Workshop on High-Performance Computing applied to Finance (HPCF 2010)
- HPCF 2010: Workshop on High-Performance Computing Applied to Finance
- Applications of Distributed and Parallel Computing in the Solvency II Framework: The DISAR System
- Introduction
- Life Insurance Policies in Italy
- The DISAR System
- Management Actions
- Reduction of Computational Complexity
- Sources of Uncertainty
- The Computing Environment
- DISARPerformances
- Conclusions and Outlook
- References
- Massively Parallel Asset and Liability Management
- Introduction
- The Stochastic Programming Approach to ALM
- Risk Averse ALM Modelling
- Solution Based on Interior Point Methods
- Parallelisation and Modelling
- Numerical Results
- Conclusions
- References
- A Fast and Stable Heston Model Calibration on the GPU
- Model and Methods
- The Heston Model
- The Calibration Problem
- Fast Evaluation of European Style Options and Their Derivatives
- Implementation Details
- Results
- Conclusion
- References
- High Performance Computing and Economic Scenario Generation: Integrating Expert Forecasts into Plane Price Modeling
- Basis Economy
- Plane Price Model
- Simulation and Calibration
- GPGPU Computation
- Differential Evolution
- References
- Wavelet Techniques for Option Pricing on Advanced Architectures
- Introduction
- The Randomization Pricing Algorithm
- The Discrete Wavelet Transform
- The Wavelet-Based Pricing Algorithm
- Numerical Results
- Parallel Implementation
- Conclusion
- References
- A Stock Market Decision Support System with a Hybrid Evolutionary Algorithm for Many-Core Graphics Processors
- Introduction
- Problem Definition
- Hybrid Evolutionary Algorithm
- Parallel Hybrid Evolutionary Algorithm
- Experiments
- Conclusions
- References
- Numerical Methods for the L\'{e}vy LIBOR Model
- Introduction
- The L\'{e}vy LIBOR Model
- Picard Approximation for LIBOR Models
- Caplets
- Numerical Illustration
- Accuracy of the Method
- Speed of the Method
- Conclusion
- References
- Measuring Default Risk in a Parallel ALM Software for Life Insurance Portfolios
- Introduction
- Valuation Framework: The DISAR System
- Stochastic Default Risk Simulation
- The Data and Calibration Method
- Computational Issues
- Parallel Implementation and Performance Results
- Conclusions and Prospects
- References
- Third Workshop on Productivity and Performance - Tools for HPC Application Development( PROPER 2010)
- PROPER 2010: Third Workshop on Productivity and Performance - Tools for HPC Application Development
- Bridging Performance Analysis Tools and Analytic Performance Modeling for HPC
- Motivation
- State of the Art
- Overview of Analytic Performance Modeling
- Overview of Performance Analysis Tools
- Combining Performance Tools and Analytic Modeling
- A Motivating Modeling Example: MILC
- Application of the Model
- Summary and Conclusion
- References
- TAUmon: Scalable Online Performance Data Analysis in TAU
- Introduction
- Related Work
- Online Performance Monitoring
- Transport Infrastructure Updates
- Experiments and Results
- Conclusions and Future Work
- References
- The VampirTrace Plugin Counter Interface: Introduction and Examples
- Introduction
- The Plugin Counter Interface
- Design
- Implementation
- Overhead Analysis
- Additional Software Infrastructure
- Examples
- Power State Tracing
- Scheduler Tracing
- Power Consumption Tracing
- Limitations
- Related Work
- Conclusion and Future Work
- References
- Guided Performance Analysis Combining Profile and Trace Tools
- Introduction
- Performance Analysis Workflows
- Coupling Profile and Timeline Analyzers
- The Tools
- Examples of Analysis with the Proposed Framework
- KOJAK and Paraver
- PeekPerf and Paraver
- References
- An Approach to Visualize Remote Socket Traffic on the Intel Nehalem-EX
- Introduction
- Test System Description
- Measurement of Cross Socket Traffic
- Performance Monitoring
- Programming the Uncore MSRs
- Implementation and Visualization
- Results
- Basic Functionality Test
- Jacobi Kernel
- Conclusion
- References
- Automatic MPI to AMPI Program Transformation Using Photran
- Introduction
- MPI to AMPI Code Transformation
- Code Analysis and Transformation
- Evaluation
- Multi-zone NAS Benchmark
- Case Study - FLASH
- Related Work
- Conclusions and Future Work
- References
- High-Performance Parallel Computations Using Python as High-Level Language
- Introduction
- Setup
- The Advantages of Python and Refactoring
- Simulating the Global Interpreter Lock
- Performance Hit and Future Work
- Conclusions
- References
- Workshop on Cloud Computing Projects and Initiatives (CCPI 2010)
- CCPI 2010: Workshop on Cloud Computing Projects and Initiatives
- The Cloud@Home Project: Towards a New Enhanced Computing Paradigm
- Introduction and Motivations
- Aims and Goals
- Insights
- Frontend
- SLA and QoS
- Service Composition
- Security Management
- Virtualization
- Case Studies
- Conclusions
- References
- Cloud-Based Mediation and Access of Healthcare Data in the @neurIST Project
- Introduction
- @neurIST Architecture
- @neuInfo - Data Services
- Cloud-Based Biomedical Infrastructure
- Virtual Data Node
- Virtual Mediation Node
- Cloud-Based @neurIST System
- Related Work
- Conclusion
- References
- Building a Mosaic of Clouds
- Introduction
- Manifesto
- Usage Scenarios and Proof-of-the-Concept Applications
- An Entreprise Usage Scenario
- Application Scenarios
- Main Challenges for the Technical Solutions
- Conclusions
- References
- Cloud@Home: Performance Management Components
- Introduction
- Cloud@Home Architecture
- SLA Engine
- The CHASE Component
- C@H Component Integration
- Conclusions and Future Work
- References
- A Cloud Agency for SLA Negotiation and Management
- Introduction
- Requirements for SLA Negotiation and Management
- A Cloud Agency in mOSAIC
- Architecture and Agents' Role
- MAGDA as Agents Technology
- Ontology and Semantic Engine
- Conclusion
- References
- Running Business Applications in the Cloud: A Use Case Perspective
- Introduction
- Related Work
- The RESERVOIR Solution
- Use Case
- Scenarios
- Lesson Learnt
- Conclusions
- References
- Minimizing Technical Complexities in Emerging Cloud Computing Platforms
- Introduction
- Technical Challenges of Future Cloud Platforms
- Performance Analysis
- Interoperability
- Cloud Federation
- Data Management
- Application and Service Marketplaces
- APIs
- Cloud Architectures
- Cross Layer Issues
- Conclusions
- References
- Fifth Workshop on Virtualization in High-Performance Cloud Computing (VHPC 2010)
- VHPC 2010: Fifth Workshop on Virtualization in High-Performance Cloud Computing
- The Effect of Multi-core on HPC Applications in Virtualized Systems
- Introduction
- Methodology
- Target Multicore Architectures
- Methodology
- Virtual Machine Scheduling
- Shared Memory Applications: PARSEC
- Performance
- Mitigating the NUMA Effect
- MPI-Based Applications: NPB
- Related Work
- Conclusion
- References
- Proposal of Virtual Network Configuration Acquisition Function for Data Center Operations and Management System
- Introduction
- Issues in Virtual-Network Configuration Management
- Prior Virtual-Network Configuration Management
- Virtual-Network Configuration Management in Server Virtualization Environments
- Challenges Facing Virtual-Network Configuration Management
- Virtual-Network Configuration Acquisition Function
- Architecture
- System Configuration XML
- Configuration Acquisition Function
- Evaluation
- Evaluation Method
- Evaluation Result
- Discussion
- Conclusion
- References
- Security and Performance Trade-off in PerfCloud
- Introduction
- Cloudgrid Security Requirements
- The Security Infrastructure in $PerfCloud$
- Overhead Evaluation
- Performance Evaluation Methodology
- Experimental Results and Model Evaluation
- Performance Considerations
- Conclusions and Future Work
- References
- A Distributed and Collaborative Dynamic Load Balancer for Virtual Machine
- Introduction
- Related Works
- Motivations
- Dynamic Load Balancer for Virtual Machine
- Architecture
- Monitoring Hosts
- Virtual Machine Placement and Migration
- Decentralized Load Balancer for Virtual Machine
- Implementation
- Experimentation
- Architecture Simulation
- Results
- Conclusion
- References
- Towards GPGPU Assisted Computing in Virtualized Environments
- Introduction
- Environment
- Virtualization
- Graphics Card Programming
- Operating System
- VirtGL
- Architecture
- Implementation
- Measurements
- Perspective
- Related Work
- Conclusion
- References
- Providing Performance Guarantees to Virtual Machines Using Real-Time Scheduling
- Introduction
- Related Work
- Proposed Approach
- Experimental Results
- Future Work and Conclusions
- References
- Exploring I/O Virtualization Data Paths for MPI Applications in a Cluster of VMs: A Networking Perspective
- Introduction
- Network Performance in Xen VMs
- Deploying an MPI Application in a Cluster of VMs
- Discussion and Related Work
- Conclusions and Future Work
- References
- Building an Operator CDN the VirtualWay
- Introduction
- An Operator Network with CDN Functionality
- Creating and Orchestrating a Virtual System
- Leveraging Structure for Automation: Network Lego Blocks
- Creation and Configuration of Nodes and Connectivity
- Testbed and System Experimentation
- Test Scenarios Control, Measurements and Visualization
- Performance of Networking in Hypervisors
- Relation Between Virtual Networking and CPU Resources
- Performance of Virtual Routing
- Lessons Learnt and Conclusion
- References
- A Survey Analysis of Memory Elasticity Techniques
- Introduction
- Memory Elasticity
- Memory Elasticity Implementation
- Memory Elasticity Based on Page Faults
- Memory Elasticity Based on the Exponential Moving Average
- Methodology and Results
- Performance Evaluation
- Memory Allocation Efficiency
- Conclusions
- References
- Vistas: Towards Behavioural Cloud Control
- Introduction
- Vistas: Constraining Rights
- Vista Operations
- Use-Case
- Related Work
- Future Work
- References
- Author Index
