-
Reconciling Event Structures with Modern Multiprocessors (Artifact)
Freier ZugriffDataCite | 2020| -
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact)
Freier ZugriffDataCite | 2020| -
Front Matter - ECRTS 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Freier ZugriffDataCite | 2022| -
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact)
Freier ZugriffDataCite | 2022| -
Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Freier ZugriffDataCite | 2021| -
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact)
Freier ZugriffDataCite | 2019| -
Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact)
Freier ZugriffDataCite | 2020| -
REST: Integrating Term Rewriting with Program Verification (Artifact)
Freier ZugriffDataCite | 2022| -
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact)
Freier ZugriffDataCite | 2022| -
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact)
Freier ZugriffDataCite | 2021| -
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact)
Freier ZugriffDataCite | 2019| -
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact)
Freier ZugriffDataCite | 2022| -
Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact)
Freier ZugriffDataCite | 2022| -
Scheduling Offset-Free Systems Under FIFO Priority Protocol (Artifact)
Freier ZugriffDataCite | 2022|
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.