search result

Cover von Deterministic Complexity Analysis of Hermitian Eigenproblems

Deterministic Complexity Analysis of Hermitian Eigenproblems

Year: 2025
Media group: LIPIcs
Cover von Approximation Theory and Algorithms for Data Analysis
Author: Iske, Armin Search for this author
Year: 2018
Publisher: Berlin, Springer
Series: Texts in applied mathematics; 68
Media group: MONOGRAPHIE
Cover von Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 15560
Media group: MONOGRAPHIE
Cover von Analysis of GPU Memory Allocation Characteristics

Analysis of GPU Memory Allocation Characteristics

Year: 2025
Media group: OASICS
Cover von  Part II.; Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 15055
Media group: MONOGRAPHIE
Cover von Part I.; Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
Search for this author
Year: 2024
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science; 15054
Media group: MONOGRAPHIE
Cover von Handbook of Computability and Complexity in Analysis
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Theory and Applications of Computability
Media group: MONOGRAPHIE
Cover von Validity constraints for data analysis workflows
Author: Schintke, Florian; Mecquenem, Ninon De; Frantz, David Search for this author
Year: 2024
Publisher: Amsterdam, Elsevier
Series: Future generation computer systems; 157. 2024 : article
Media group: ARTICLE
Cover von Java Bytecode Normalization for Code Similarity Analysis

Java Bytecode Normalization for Code Similarity Analysis

Year: 2024
Media group: LIPIcs
Cover von Generalizing Shape Analysis with Gradual Types

Generalizing Shape Analysis with Gradual Types

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0