pith. sign in

Martin Becker

Identifiers

No identifiers captured yet.

Papers (10)

  1. A Valgrind Tool to Compute the Working Set of a Software Process cs.PF · 2019 · author #1
  2. Measuring Software Performance on Linux cs.PF · 2018 · author #1
  3. Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors cs.SE · 2018 · author #1
  4. Adaptive kNN using Expected Accuracy for Classification of Geo-Spatial Data cs.CV · 2017 · author #2
  5. Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014 cs.SE · 2017 · author #1
  6. Learning Semantic Relatedness From Human Feedback Using Metric Learning cs.CL · 2017 · author #2
  7. MixedTrails: Bayesian hypothesis comparison on heterogeneous sequential data cs.SI · 2016 · author #1
  8. Analyzing Features for the Detection of Happy Endings in German Novels cs.IR · 2016 · author #4
  9. Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles cs.SE · 2015 · author #1
  10. Participatory Patterns in an International Air Quality Monitoring Initiative physics.soc-ph · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors