Tim Schmidt

According to our database1, Tim Schmidt authored at least 22 papers between 2004 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


A Compiler Infrastructure for Static and Hybrid Analysis of Discrete Event System Models.
PhD thesis, 2018

SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation.
Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Port call path sensitive conflict analysis for instance-aware parallel SystemC simulation.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Parallel Simulation.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

Thread- and data-level parallel simulation in SystemC, a Bitcoin miner case study.
Proceedings of the 2017 IEEE International High Level Design Validation and Test Workshop, 2017

Exploiting Thread and Data Level Parallelism for Ultimate Parallel SystemC Simulation.
Proceedings of the 54th Annual Design Automation Conference, 2017

Hybrid analysis of SystemC models for fast and accurate parallel simulation.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Automatic Generation of Thread Communication Graphs from SystemC Source Code.
Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, 2016

A segment-aware multi-core scheduler for system C PDES.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Optimizing thread-to-core mapping on manycore platforms with distributed Tag Directories.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

A program state machine based virtual processing model in SystemC.
SIGBED Review, 2014

Representing Pattern Databases with Succinct Data Structures.
Proceedings of the Fourth Annual Symposium on Combinatorial Search, 2011

Succinct Set-Encoding for State-Space Search.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

Pervasive Diagnosis.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2010

Edge Partitioning in Parallel Structured Duplicate Detection.
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

POMDP Models for Continuous Calibration of Interactive Surfaces.
Proceedings of the Embedded Reasoning, 2010

Hierarchical Graph Embedding for Efficient Query Processing in Very Large Traffic Networks.
Proceedings of the Scientific and Statistical Database Management, 2008

Ein Planungsraster zum Einsatz von Weblogs in der Lehre.
Proceedings of the Workshop Proceedings der Tagungen Mensch & Computer 2008, 2008

Efficient Query Processing in Large Traffic Networks.
Proceedings of the 24th International Conference on Data Engineering, 2008

Proximity queries in large traffic networks.
Proceedings of the 15th ACM International Symposium on Geographic Information Systems, 2007

Techniken und Einsatzszenarien für Podcasts in der universitären Lehre.
Proceedings of the Proceedings der Pre-Conference Workshops der 4. e-Learning Fachtagung Informatik DeLFI 2006, 2006

Rapid Development of Expressive AR Applications.
Proceedings of the 3rd IEEE and ACM International Symposium on Mixed and Augmented Reality (ISMAR 2004), 2004