default search action
Dagstuhl Artifacts Series, Volume 3
Volume 3, Number 1, 2017
- Javier Cámara, Bashar Nuseibeh, David Garlan:
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:-1-00:-12 - Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
:
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact). 01:1-01:3 - Martina Maggio, Alessandro Vittorio Papadopoulos
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact). 02:1-02:3 - Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). 03:1-03:2 - M. Usman Iftikhar, Gowri Sankar Ramachandran
DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact). 04:1-04:2 - Sanny Schmid, Ilias Gerostathopoulos, Christian Prehofer, Tomás Bures:
Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact). 05:1-05:3 - Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos:
Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact). 06:1-06:3 - Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior:
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact). 07:1-07:5
Volume 3, Number 2, 2017
- Philipp Haller, Michael Pradel, Tijs van der Storm:
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:-1-00:-12 - Daco Harkes, Eelco Visser:
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact). 01:1-01:2 - Darya Melicher
A Capability-Based Module System for Authority Control (Artifact). 02:1-02:2 - Alceste Scalas, Ornela Dardha, Raymond Hu
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). 03:1-03:2 - Germán Andrés Delbianco
Concurrent Data Structures Linked in Time (Artifact). 04:1-04:4 - Fei Wang, Tiark Rompf:
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact). 05:1-05:3 - Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs (Artifact). 06:1-06:4 - Todd A. Anderson, Hai Liu, Lindsey Kuper
Parallelizing Julia with a Non-Invasive DSL (Artifact). 07:1-07:2 - Jack Williams, J. Garrett Morris
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). 08:1-08:2 - Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter:
Type Abstraction for Relaxed Noninterference (Artifact). 09:1-09:2 - Weixin Zhang, Bruno C. d. S. Oliveira:
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact). 10:1-10:2 - Quentin Stiévenart
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). 11:1-11:2 - Tomas Petricek:
Data Exploration through Dot-driven Development (Artifact). 12:1-12:2 - Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin:
Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact). 13:1-13:3 - Baptiste Saleil, Marc Feeley:
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact). 14:1-14:2 - Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis:
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact). 15:1-15:2 - Mikaël Mayer, Jad Hamza, Viktor Kuncak:
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact). 16:1-16:2
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 2024-12-15 01:26 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: