Name Card

Full name Familienname, Vorname
Kadlec, Albrecht
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time AnalysisArtikel Article 2011
2Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time AnalysisArtikel Article2010
3Kadlec, Albrecht ; Kirner, Raimund ; Puschner, Peter Avoiding Timing Anomalies Using Code TransformationsKonferenzbeitrag Inproceedings 2010
4Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus Towards an Orchestrated Approach for Annotation VerificationKonferenzbeitrag Inproceedings2010
5Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
6Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings 2009
7Kirner, Raimund ; Kadlec, Albrecht ; Puschner, Peter Precise Worst-Case Execution Time Analysis for Processors with Timing AnomaliesKonferenzbeitrag Inproceedings 2009
8Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Schordan, Markus ; Kadlec, Albrecht From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings 2009
9Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
10Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Annotation Languages Reconsidered: The Annotation Language ChallengeKonferenzbeitrag Inproceedings2008
11Kadlec, Albrecht ; Kirner, Raimund ; Puschner, Peter ; Prantl, Adrian ; Schordan, Markus ; Knoop, Jens Towards a Common WCET Annotation Language: Essential IngredientsKonferenzbeitrag Inproceedings2008
12Holsti, 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
13Kirner, Raimund ; Kadlec, Albrecht ; Puschner, Peter ; Prantl, Adrian ; Schordan, Markus ; Knoop, Jens Towards a Common WCET Annotation Languge: Essential IngredientsKonferenzbeitrag Inproceedings 2008
14Kadlec, Albrecht Neutralizing Timing Anomalies in Superscalar MicroprocessorsKonferenzbeitrag Inproceedings 2008
15Hepp, Stefan ; Klima, Georg ; Kadlec, Albrecht ; Krammer, Lukas ; Luckner, Werner ; Prokesch, Daniel ; Resch, Stefan ; Wasicek, Armin ; Wilhelm, Jakob ; Tummeltshammer, Peter ; Delvai, Martin Exploring Hardware Software Partitioning on the Example of a Fingerprint Verification SystemKonferenzbeitrag Inproceedings 2008
16Ebner, Dietmar ; Brandner, Florian ; Scholz, Bernhard ; Krall, Andreas ; Wiedermann, Peter ; Kadlec, Albrecht Generalized instruction selection using<i>SSA</i>-graphsKonferenzbeitrag Inproceedings 2008
17Kadlec, Albrecht ; Kirner, Raimund On the Difficulty of Building a Precise Timing Model for Real-Time ProgrammingKonferenzbeitrag Inproceedings2007
18Kadlec, Albrecht pSOS+m[pSOS hoch +m] for the AcQ i6040 : porting a real time operating system to a dual processor VME boardThesis Hochschulschrift2000