Markus Schordan
TitelZitiert vonJahr
A source-to-source architecture for user-defined optimizations
M Schordan, D Quinlan
Joint Modular Languages Conference, 214-223, 2003
1622003
Comparison of type-based and alias-based component recognition for embedded systems software
D Schreiner, G Barany, M Schordan, J Knoop
International Journal on Software Tools for Technology Transfer 15 (1), 41-52, 2013
692013
TuBound-a conceptually new tool for worst-case execution time analysis
A Prantl, M Schordan, J Knoop
8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08), 2008
582008
WCET analysis: The annotation language challenge
R Kirner, J Knoop, A Prantl, M Schordan, I Wenzel
7th International Workshop on Worst-Case Execution Time Analysis (WCET'07), 2007
372007
Constraint solving for high-level WCET analysis
A Prantl, J Knoop, M Schordan, M Triska
arXiv preprint arXiv:0903.2251, 2009
282009
Semantic-driven parallelization of loops operating on user-defined containers
D Quinlan, M Schordan, Q Yi, BR De Supinski
International Workshop on Languages and Compilers for Parallel Computing …, 2003
282003
Reverse code generation for parallel discrete event simulation
M Schordan, D Jefferson, P Barnes, T Oppelstrup, D Quinlan
International Conference on Reversible Computation, 95-110, 2015
272015
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
R Kirner, J Knoop, A Prantl, M Schordan, A Kadlec
Software & Systems Modeling 10 (3), 411-437, 2011
272011
ROSE compiler infrastructure
D Quinlan, C Liao, J Too, RP Matzke, M Schordan, PH Lin
262012
Classification and utilization of abstractions for optimization
D Quinlan, M Schordan, Q Yi, A Saebjornsen
International Symposium On Leveraging Applications of Formal Methods …, 2004
222004
Parallel object‐oriented framework optimization
DJ Quinlan, M Schordan, B Miller, M Kowarschik
Concurrency and Computation: Practice and Experience 16 (2‐3), 293-302, 2004
222004
The specification of source-to-source transformations for the compile-time optimization of parallel object-oriented scientific applications
DJ Quinlan, M Schordan, B Philip, M Kowarschik
International Workshop on Languages and Compilers for Parallel Computing …, 2001
222001
Verification of polyhedral optimizations with constant loop bounds in finite state space computations
M Schordan, PH Lin, D Quinlan, LN Pouchet
International Symposium On Leveraging Applications of Formal Methods …, 2014
212014
Treating a user-defined parallel library as a domain-specific language
D Quinlan, B Miller, M Schordan, B Philip
Lawrence Livermore National Lab.(LLNL), Livermore, CA (United States), 2001
212001
A C++ infrastructure for automatic introduction and translation of OpenMP directives
D Quinlan, M Schordan, Q Yi, BR De Supinski
International Workshop on OpenMP Applications and Tools, 13-25, 2003
182003
DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools
C Liao, PH Lin, J Asplund, M Schordan, I Karlin
Proceedings of the International Conference for High Performance Computing …, 2017
142017
RERS 2016: parallel and sequential benchmarks with focus on LTL verification
M Geske, M Jasper, B Steffen, F Howar, M Schordan, J van de Pol
International Symposium on Leveraging Applications of Formal Methods, 787-803, 2016
142016
Component based middleware-synthesis for AUTOSAR basic software
D Schreiner, M Schordan, KM Goschka
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
142009
Towards a common WCET annotation language: essential ingredients
R Kirner, A Kadlec, A Prantl, M Schordan, J Knoop
8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08), 2008
142008
Annotating user-defined abstractions for optimization
D Quinlan, M Schordan, R Vuduc, Q Yi
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
142006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20