


default search action
Dagstuhl Artifacts Series, Volume 5
Volume 5, Number 1, 2019
- Sophie Quinton, Sebastian Altmeyer, Alessandro Papadopoulos:

Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:i-00:ix - Pontus Ekberg:

Dual Priority Scheduling is Not Optimal (Artifact). 01:1-01:2 - Corey Tessler, Nathan Fisher:

NPM-BUNDLE: Non-Preemptive Multitask Scheduling for Jobs with BUNDLE-Based Thread-Level Scheduling (Artifact). 02:1-02:2 - Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin:

DMAC: Deadline-Miss-Aware Control (Artifact). 03:1-03:3 - Roberto Cavicchioli, Nicola Capodieci, Marco Solieri, Marko Bertogna:

API Comparison of CPU-To-GPU Command Offloading Latency on Embedded Platforms (Artifact). 04:1-04:3 - Daniel Casini, Tobias Blaß, Ingo Lütkebohle, Björn B. Brandenburg:

Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling (Artifact). 05:1-05:2 - Jian-Jia Chen, Tobias Hahn, Ruben Hoeksma, Nicole Megow, Georg von der Brüggen

:
Scheduling Self-Suspending Tasks: New and Old Results (Artifact). 06:1-06:3 - Nathanaël Sensfelder, Julien Brunel, Claire Pagetti:

Modeling Cache Coherence to Expose Interference (Artifact). 07:1-07:2 - Sims Osborne, Joshua Bakita, James H. Anderson:

Simultaneous Multithreading Applied to Real Time (Artifact). 08:1-08:2
Volume 5, Number 2, 2019
- Maria Christakis, Manuel Rigger:

Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:i-00:xi - Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad:

Godot: All the Benefits of Implicit and Explicit Futures (Artifact). 01:1-01:2 - Matthias Springer, Hidehiko Masuhara:

DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact). 02:1-02:2 - Dhruv C. Makwana, Neelakantan R. Krishnaswami:

NumLin: Linear Types for Linear Algebra (Artifact). 03:1-03:2 - Robbert Gurdeep Singh

, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers
:
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact). 04:1-04:3 - Alen Arslanagic, Jorge A. Pérez, Erik Voogd:

Minimal Session Types (Artifact). 05:1-05:3 - George Fourtounis, Yannis Smaragdakis:

Deep Static Modeling of invokedynamic (Artifact). 06:1-06:4 - Noah Van Es

, Quentin Stiévenart
, Coen De Roover
:
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). 07:1-07:2 - Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek:

On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). 08:1-08:2 - Alexi Turcotte, Ellen Arteca, Gregor Richards:

Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact). 09:1-09:2 - Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo

:
Semantic Patches for Java Program Transformation (Artifact). 10:1-10:3 - Alex Villazón, Haiyang Sun, Andrea Rosà

, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder
:
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact). 11:1-11:3 - Ori Roth, Yossi Gil:

Fling - A Fluent API Generator (Artifact). 12:1-12:9 - Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang:

Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact). 13:1-13:3 - Jan de Muijnck-Hughes

, Wim Vanderbauwhede:
A Typing Discipline for Hardware Interfaces (Artifact). 14:1-14:3

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














