Forschungsbereich Compilers and Languages

Organization Name (de) Name der Organisation (de)
E194-05 - Forschungsbereich Compilers and Languages
 
Code Kennzahl
E194-05
 
Type of Organization Organisationstyp
Research Division
 
Parent OrgUnit Übergeordnete Organisation
Active Aktiv
 


Results 1-20 of 361 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kühn, Eva ; Riemer, Johannes ; Lechner, Lukas XVSMP/Bayeux: A Protocol for Scalable Space Based Computing in the WebKonferenzbeitrag Inproceedings 2007
2Kühn, Eva ; Schmied, Fabian XL-AOF - Lightweight Aspects for Space-Based ComputingKonferenzbeitrag Inproceedings2005
3Ertl, Martin Anton ; Paysan, Bernd Xchars or Unicode in ForthKonferenzbeitrag Inproceedings2005
4Hepp, Stefan ; Schoeberl, Martin Worst-Case Execution Time Based Optimization of Real-Time Java ProgramsKonferenzbeitrag Inproceedings2012
5Ertl, Martin Anton What Every Compiler Writer should know about ProgrammersKonferenzbeitrag Inproceedings2015
6Holsti, Niklas ; Gustafsson, Jan ; Bernat, Guillem ; Ballabriga, Clément ; Bonenfant, Armelle ; Bourgade, Roman ; Cassé, Hugues ; Cordes, Daniel ; Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Lokuciejewski, Paul ; Merriam, Nicholas ; de Michiel, Marianne ; Prantl, Adrian ; Rieder, Bernhard ; Rochange, Christine ; Sainrat, Pascal ; Schordan, Markus WCET Tool Challenge 2008: ReportKonferenzbeitrag Inproceedings2008
7Holsti, Niklas ; Gustafsson, Jan ; Bernat, Guillem ; Ballabriga, Clément ; Bonenfant, Armelle ; Bourgade, Roman ; Cassé, Hugues ; Cordes, Daniel ; Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Lokuciejewski, Paul ; Merriam, Nicholas ; de Michiel, Marianne ; Prantl, Adrian ; Rieder, Bernhard ; Rochange, Christine ; Sainrat, Pascal ; Schordan, Markus WCET Tool Challenge 2008: ReportKonferenzbeitrag Inproceedings2008
8Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-boundsKonferenzbeitrag Inproceedings 2013
9Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Annotation Languages Reconsidered: The Annotation Language ChallengeKonferenzbeitrag Inproceedings2008
10Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Analysis: The Annotation Language ChallengeKonferenzbeitrag Inproceedings 2007
11Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Analysis: The Annotation Language ChallengeKonferenzbeitrag Inproceedings 2007
12Ertl, Martin Anton ; Ertl, Martin Anton Ways to Reduce the Stack DepthKonferenzbeitrag Inproceedings2011
13Brunthaler, Stefan ; Albert, Elvira ; Genaim, Samir Virtual-Machine Abstraction and Optimization TechniquesKonferenzbeitrag Inproceedings 2009
14Brunthaler, Stefan ; Albert, Elvira ; Genaim, Samir Virtual-Machine Abstraction and Optimization TechniquesKonferenzbeitrag Inproceedings 2009
15Shi, Yunhe ; Gregg, David ; Beatty, Andrew ; Ertl, Martin Anton Virtual Machine Showdown: Stack Versus RegistersKonferenzbeitrag Inproceedings 2005
16Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012
17Ertl, Martin Anton Verallgemeinerung von localsKonferenzbeitrag Inproceedings2018
18Plangger, Richard ; Krall, Andreas Vectorization in PyPy's Tracing Just-In-Time CompilerKonferenzbeitrag Inproceedings 2016
19Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas ; Kovacs, Laura ; Zaharie, Daniela vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015
20Barany, Gergö Value Flow Graph Analysis with SATIrEKonferenzbeitrag Inproceedings2008