default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Artifacts Series, Volume 4
Volume 4, Number 1, 2018
- Tomás Bures, Danny Weyns, Jesper Andersson:
Front Matter - SEAMS 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 01:i-01:xiii - Thomas Vogel
:
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization (Artifact). 02:1-02:4 - Wito Delnat, Thomas Heyman, Wouter Joosen, Davy Preuveneers, Ansar Rafique, Eddy Truyen, Dimitri Van Landuyt:
K8-Scalar: a workbench to compare autoscalers for container-orchestrated services (Artifact). 03:1-03:6
Volume 4, Number 2, 2018
- Sebastian Altmayer, Martina Maggio:
Front Matter - ECRTS 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:i-00:ix - Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy K. Baruah, Alan Burns:
AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact). 01:1-01:3 - Catherine E. Nemitz, Tanya Amert, James H. Anderson:
Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts (Artifact). 02:1-02:3 - Waqar Ali, Heechul Yun:
Protecting Real-Time GPU Kernels on Integrated CPU-GPU SoC Platforms (Artifact). 03:1-03:2 - Paolo Pazzaglia, Luigi Pannocchi, Alessandro Biondi, Marco Di Natale:
Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact). 04:1-04:2 - Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Benny Akesson, Eduardo Tovar:
Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact). 05:1-05:3 - Jian-Jia Chen, Georg von der Brüggen, Niklas Ueter:
Evaluations of Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems (Artifact). 06:1-06:5 - Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-Preikschat:
Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact). 07:1-07:4
Volume 4, Number 3, 2018
- Maria Christakis, Philipp Haller, Marianna Rapoport:
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:i-00:xii - Joana Campos, Vasco T. Vasconcelos:
Dependent Types for Class-based Mutable Objects (Artifact). 01:1-01:2 - John Toman, Dan Grossman:
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact). 02:1-02:2 - Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter:
Static Typing of Complex Presence Constraints in Interfaces (Artifact). 03:1-03:2 - Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi:
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact). 04:1-04:2 - Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers:
The Essence of Nested Composition (Artifact). 05:1-05:2 - Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). 06:1-06:4 - Ana L. Milanova, Wei Huang:
Definite Reference Mutability (Artifact). 07:1-07:3 - Gianluca Mezzetti, Anders Møller, Martin Toldam Torp:
Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact). 08:1-08:2 - Xuan Bi, Bruno C. d. S. Oliveira:
Typed First-Class Traits (Artifact). 09:1-09:2 - Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek:
KafKa: Gradual Typing for Objects (Artifact). 10:1-10: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.
last updated on 2025-11-17 22:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
