search result

Cover von A Hierarchical Scheduling Model for Dynamic Soft-Realtime System

A Hierarchical Scheduling Model for Dynamic Soft-Realtime System

Year: 2017
Media group: LIPIcs
Cover von Semi-Partitioned Scheduling of Dynamic Real-Time Workload

Semi-Partitioned Scheduling of Dynamic Real-Time Workload

A Practical Approach Based on Analysis-Driven Load Balancing
Year: 2017
Media group: LIPIcs
Cover von What's the Optimal Performance of Precise Dynamic Race Detection?

What's the Optimal Performance of Precise Dynamic Race Detection?

a Redundancy Perspective
Year: 2017
Media group: LIPIcs
Cover von Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis

Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis

Year: 2017
Media group: LIPIcs
Cover von How Lock-free Data Structures Perform in Dynamic Environments

How Lock-free Data Structures Perform in Dynamic Environments

Models and Analyses
Year: 2017
Media group: LIPIcs
Cover von Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Author: Indrusiak, Leandro Soares; Dziurzanski, Piotr; Singh, Amit Kumar Search for this author
Year: 2016
Publisher: Gistrup, River Publishers
Series: River Publishers Series in Information Science and Technology
Media group: MONOGRAPHIE
Cover von Optimal Dynamic Program for r-Domination Problems over Tree Decompositions

Optimal Dynamic Program for r-Domination Problems over Tree Decompositions

Year: 2017
Media group: LIPIcs
Cover von On the Hardness of Partially Dynamic Graph Problems and Connections to Diameter

On the Hardness of Partially Dynamic Graph Problems and Connections to Diameter

Year: 2016
Media group: LIPIcs
Cover von A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects

Year: 2016
Media group: LIPIcs
Cover von Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0