search result

Cover von Data clustering and beyond
a deterministic annealing framework for exploratory data analysis
Author: Hofmann, Thomas Search for this author
Year: 1997
Publisher: Aachen, Shaker
Series: Berichte aus der Informatik
Media group: DISSERTATION
Cover von ATM networks; 2/3
performance modelling and analysis : S. 65 - 247
Search for this author
Year: 2000
Publisher: Amsterdam, Elsevier
Performance evaluation
Count: 2/3
Media group: SPECIAL ISSUE
Cover von HyperSSE

HyperSSE

Cross-Domain Static Analysis of Partitioned Real-Time Hypervisor Systems
Year: 2026
Media group: LIPIcs
Cover von Beyond k-Limiting

Beyond k-Limiting

Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis
Year: 2026
Media group: LIPIcs
Cover von Try-Mopsa
Relational Static Analysis in Your Pocket : VMCAI 2026 accepted paper
Search for this author
Year: 2025
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Wastrumentation

Wastrumentation

Portable WebAssembly Dynamic Analysis with Support for Intercession
Year: 2025
Media group: LIPIcs
Cover von Geometric modeling; 14
Challenges for Additive Manufacturing, Design and Analysis : pp. 52-83
Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 14
Media group: DAGSTUHL REPORT
Cover von DeFiAligner

DeFiAligner

Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance
Year: 2024
Media group: LIPIcs
Cover von {CtChecker}

{CtChecker}

A Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Year: 2024
Media group: LIPIcs
Cover von Invited Paper

Invited Paper

Worst-Case Execution Time Analysis of Lingua Franca Applications
Author: Schoeberl, Martin
Year: 2024
Media group: OASICS
OPEN V 11.1.0.0