pith. the verified trust layer for science. sign in

Martin Wilhelm

Identifiers

No identifiers captured yet.

Papers (10)

  1. Enabling Mixed criticality applications for the Versal AI-Engines cs.AR · 2026 · author #2
  2. Efficient Batch Search Algorithm for B+ Tree Index Structures with Level-Wise Traversal on FPGAs cs.AR · 2026 · author #2
  3. Evaluating Rapid Makespan Predictions for Heterogeneous Systems with Programmable Logic cs.DC · 2025 · author #1
  4. Static task mapping for heterogeneous systems based on series-parallel decompositions cs.DC · 2025 · author #1
  5. Modeling Task Mapping for Data-intensive Applications in Heterogeneous Systems cs.DC · 2022 · author #1
  6. Internal versus external balancing in the evaluation of graph-based number types cs.CG · 2019 · author #2
  7. On error representation in exact-decisions number types cs.CG · 2018 · author #1
  8. Restructuring expression dags for efficient parallelization cs.CG · 2018 · author #1
  9. Multithreading for the expression-dag-based number type Real_algebraic cs.DC · 2018 · author #1
  10. Balancing expression dags for more efficient lazy adaptive evaluation cs.CG · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors