default search action
Tim Schmidt
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2018
- [b1]Tim Schmidt:
A Compiler Infrastructure for Static and Hybrid Analysis of Discrete Event System Models. University of California, Irvine, USA, 2018
Journal Articles
- 2021
- [j3]Zhongqi Cheng, Tim Schmidt, Rainer Dömer:
Scaled Static Analysis and IP Reuse for Out-of-Order Parallel SystemC Simulation. Int. J. Parallel Program. 49(2): 200-215 (2021) - 2014
- [j2]Tim Schmidt, Kim Grüttner, Rainer Dömer, Achim Rettberg:
A program state machine based virtual processing model in SystemC. SIGBED Rev. 11(4): 7-12 (2014) - 2010
- [j1]Lukas D. Kuhn, Bob Price, Minh Binh Do, Juan Liu, Rong Zhou, Tim Schmidt, Johan de Kleer:
Pervasive Diagnosis. IEEE Trans. Syst. Man Cybern. Part A 40(5): 932-944 (2010)
Conference and Workshop Papers
- 2020
- [c21]Mathias Gottschlag, Tim Schmidt, Frank Bellosa:
AVX overhead profiling: how much does your fast code slow you down? APSys 2020: 59-66 - 2018
- [c20]Tim Schmidt, Zhongqi Cheng, Rainer Dömer:
Port call path sensitive conflict analysis for instance-aware parallel SystemC simulation. DATE 2018: 349-354 - [c19]Zhongqi Cheng, Tim Schmidt, Rainer Dömer:
SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation. FDL 2018: 5-16 - 2017
- [c18]Tim Schmidt, Guantao Liu, Rainer Dömer:
Hybrid analysis of SystemC models for fast and accurate parallel simulation. ASP-DAC 2017: 226-231 - [c17]Tim Schmidt, Guantao Liu, Rainer Dömer:
Exploiting Thread and Data Level Parallelism for Ultimate Parallel SystemC Simulation. DAC 2017: 79:1-79:6 - [c16]Zhongqi Cheng, Tim Schmidt, Guantao Liu, Rainer Dömer:
Thread- and data-level parallel simulation in SystemC, a Bitcoin miner case study. HLDVT 2017: 74-81 - [c15]Nina Gerber, Paul Gerber, Hannah Drews, Elisa Kirchner, Noah Schlegel, Tim Schmidt, Lena Scholz:
FoxIT: enhancing mobile users' privacy behavior by increasing knowledge and awareness. STAST 2017: 53-63 - 2016
- [c14]Guantao Liu, Tim Schmidt, Rainer Dömer:
A segment-aware multi-core scheduler for system C PDES. HLDVT 2016: 100-107 - [c13]Tim Schmidt, Guantao Liu, Rainer Dömer:
Automatic Generation of Thread Communication Graphs from SystemC Source Code. SCOPES 2016: 108-115 - 2015
- [c12]Guantao Liu, Tim Schmidt, Rainer Dömer, Ajit Dingankar, Desmond Kirkpatrick:
Optimizing thread-to-core mapping on manycore platforms with distributed Tag Directories. ASP-DAC 2015: 429-434 - 2014
- [c11]Tim Schmidt, Kim Grüttner, Rainer Dömer, Achim Rettberg:
A Program State Machine Based Virtual Processing Model in SystemC. EWiLi 2014 - 2011
- [c10]Tim Schmidt, Rong Zhou:
Succinct Set-Encoding for State-Space Search. AAAI 2011: 87-92 - [c9]Tim Schmidt, Rong Zhou:
Representing Pattern Databases with Succinct Data Structures. SOCS 2011: 142-149 - 2010
- [c8]Bastian Migge, Tim Schmidt, Andreas M. Kunz:
POMDP Models for Continuous Calibration of Interactive Surfaces. AAAI Spring Symposium: Embedded Reasoning 2010 - [c7]Rong Zhou, Tim Schmidt, Eric A. Hansen, Minh Binh Do, Serdar Uckun:
Edge Partitioning in Parallel Structured Duplicate Detection. SOCS 2010: 137-138 - 2008
- [c6]Hans-Peter Kriegel, Peer Kröger, Peter Kunath, Matthias Renz, Tim Schmidt:
Efficient Query Processing in Large Traffic Networks. ICDE 2008: 1451-1453 - [c5]Mostafa Akbari, Tim Schmidt, Christian Spannagel:
Ein Planungsraster zum Einsatz von Weblogs in der Lehre. MuC (Workshopband) 2008: 305-310 - [c4]Hans-Peter Kriegel, Peer Kröger, Matthias Renz, Tim Schmidt:
Hierarchical Graph Embedding for Efficient Query Processing in Very Large Traffic Networks. SSDBM 2008: 150-167 - 2007
- [c3]Hans-Peter Kriegel, Peer Kröger, Peter Kunath, Matthias Renz, Tim Schmidt:
Proximity queries in large traffic networks. GIS 2007: 21 - 2006
- [c2]Markus Ketterl, Tim Schmidt, Robert Mertens, Karsten Morisse:
Techniken und Einsatzszenarien für Podcasts in der universitären Lehre. DeLFI Workshops 2006: 81-90 - 2004
- [c1]Christian Geiger, Tim Schmidt, Jörg Stöcklein:
Rapid Development of Expressive AR Applications. ISMAR 2004: 292-293
Parts in Books or Collections
- 2017
- [p1]Rainer Dömer, Guantao Liu, Tim Schmidt:
Parallel Simulation. Handbook of Hardware/Software Codesign 2017: 533-564
Informal and Other Publications
- 2020
- [i1]Manuel Kalmbach, Mathias Gottschlag, Tim Schmidt, Frank Bellosa:
TurboCC: A Practical Frequency-Based Covert Channel With Intel Turbo Boost. CoRR abs/2007.07046 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint