BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × USA
Collaborated with:
Talks about:
execut (2) comparison (1) processor (1) techniqu (1) parallel (1) abstract (1) program (1) infinit (1) assembl (1) analysi (1)

Person: Tobias Schüle

DBLP DBLP: Sch=uuml=le:Tobias

Contributed to:

PDP 20112011
DAC 20042004
SEFM 20042004

Wrote 3 papers:

PDP-2011-Schuele #execution #manycore #parallel #performance #streaming
Efficient Parallel Execution of Streaming Applications on Multi-core Processors (TS), pp. 231–238.
DAC-2004-SchueleS #abstraction #analysis #assembly #execution #source code
Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.
SEFM-2004-SchuleS #comparison #infinity #model checking #verification
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems (TS, KS), pp. 67–76.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.