Explore projects
-
Distributed Shared Memory for the Intel Xeon Phi using the SCIF API. Part of my bachelor thesis.
Updated -
Updated
-
faumachine / faumachine
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
-
-
-
gene / metrics
GNU General Public License v3.0 onlyCode Metrics for Benchmarking Timing Analysis
Updated -
Updated
-
Horizontal verification: Trace the kernel dynamically and do isomorphism check against SSTG
Updated -
A tool for drawing GPX tracks over Openstreetmap-based maps.
Updated -
-
UpdatedUpdated
-
Updated
-
Updated
-
-
-
-
Updated
-
Updated