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.