Concepedia

Benjamin Thielmann

BT

2

Publications

28

Citations

2

H-Index

2010

Active since

Affiliations

Technische Universität Braunschweig(Current)

Benjamin Thielmann is an author at Technische Universität Braunschweig specializing in formal methods, parallel programming, and system software.

Top concepts

CompilersEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingComputer EngineeringParallel Programming

Publications per year

2010–2011

2

Publications

2

A Flexible Compute and Memory Infrastructure for High-Level Language to Hardware Compilation

Hagen Gädke-Lütjens, Benjamin Thielmann, Andreas Koch · 2010 · 17 citations

Engineering, Compiler Technology, Computer Architecture +21

Precore - A Token-Based Speculation Architecture for High-Level Language to Hardware Compilation

Benjamin Thielmann, Jens Huthmann, Andreas Koch · 2011 · 11 citations

Engineering, Compiler Technology, Computer Architecture +24

Rows per page

1–2 of 2