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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2017
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

2016
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

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

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

2011
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

2010
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

2008
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

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

2006
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

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


  Loading...