Alternate identifier:
(KITopen-DOI) 10.5445/IR/1000146001
Related identifier:
Creator/Author:
Schmid, Larissa https://orcid.org/0000-0002-3600-6899 [Karlsruher Institut für Technologie (KIT), Karlsruher Institut für Technologie (KIT)]
Contributors:
-
Title:
Performance-Detective: Automatic Deduction of Cheap and Accurate Performance Models - Supplementary Material
Additional titles:
-
Description:
(Technical Remarks) Supplementary material for "Performance-Detective: Automatic Deduction of Cheap and Accurate Performance Models" (DOI 10.1145/3524059.3532391) # Step 1: System analysis We provide the processed JSON output of Perf-Taint for the Pace3D and Kripke case studies, as well as the bitcode of Kripke used as...
Keywords:
-
Related information:
-
Language:
-
Version:
-
Production year:
Subject areas:
Computer Science
Resource type:
Dataset
Data source:
-
Software used:
-
Data processing:
-
Publication year:
Rights holders:
Funding:
-
Name Storage Metadata Upload Action
Status:
Published
Uploaded by:
kitopen
Created on:
Archiving date:
2023-06-21
Archive size:
943.9 MB
Archive creator:
kitopen
Archive checksum:
50d8d872695c61740342ac3ae3076896 (MD5)
Embargo period:
-