Prefix title Titel (vorangestellt)
Privatdoz. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Kirner, Raimund
 

Results 1-20 of 63 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Holsti, 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
2Holsti, 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
3Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Annotation Languages Reconsidered: The Annotation Language ChallengeKonferenzbeitrag Inproceedings2008
4Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Analysis: The Annotation Language ChallengeKonferenzbeitrag Inproceedings 2007
5Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Analysis: The Annotation Language ChallengeKonferenzbeitrag Inproceedings 2007
6Kirner, Raimund ; Lang, Roland ; Puschner, Peter WCET Analysis for Systems Modelled in Matlab/SimulinkKonferenzbeitrag Inproceedings 2001
7Kandl, Susanne ; Kirner, Raimund ; Fraser, Gordon Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded SystemsKonferenzbeitrag Inproceedings 2006
8Atanassov, Pavel ; Puschner, Peter ; Kirner, Raimund Using Real Hardware to Create an Accurate Timing Model for Execution-Time AnalysisKonferenzbeitrag Inproceedings2001
9Elmenreich, Wilfried ; Haidinger, Wolfgang ; Kirner, Raimund ; Losert, Thomas ; Obermaisser, Roman ; Trödhandl, Christian TTP/A Smart Transducer Programming - A Beginner's GuideBericht Report2002
10Kirner, Raimund ; Puschner, Peter Transformation of Path Information for WCET Analysis during CompilationKonferenzbeitrag Inproceedings 2001
11Puschner, Peter ; Kirner, Raimund ; Pettit, Robert G. Towards Composable Timing for Real-Time SoftwareKonferenzbeitrag Inproceedings 2009
12Kirner, Raimund Towards Automatic Verification of Structural Code-Coverage PreservationKonferenzbeitrag Inproceedings2009
13Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus ; Hanus, Michael ; Reck, Fabian Towards an Orchestrated Approach for Annotation VerificationKonferenzbeitrag Inproceedings2010
14Zolda, Michael ; Bünte, Sven ; Kirner, Raimund Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time AnalysisKonferenzbeitrag Inproceedings 2009
15Kirner, Raimund ; Kadlec, Albrecht ; Puschner, Peter ; Prantl, Adrian ; Schordan, Markus ; Knoop, Jens Towards a Common WCET Annotation Languge: Essential IngredientsKonferenzbeitrag Inproceedings 2008
16Kadlec, Albrecht ; Kirner, Raimund ; Puschner, Peter ; Prantl, Adrian ; Schordan, Markus ; Knoop, Jens Towards a Common WCET Annotation Language: Essential IngredientsKonferenzbeitrag Inproceedings2008
17Harmon, Trevor ; Schoeberl, Martin ; Kirner, Raimund ; Klefstad, Raymond Toward Libraries for Real-Time JavaKonferenzbeitrag Inproceedings 2008
18Kirner, Raimund ; Puschner, Peter Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction CacheKonferenzbeitrag Inproceedings 2007
19Kirner, Raimund ; Puschner, Peter Time-Predictable ComputingKonferenzbeitrag Inproceedings 2010
20Kirner, Raimund The Programming Language wcetCBericht Report2002

Results 1-20 of 33 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kirner, Raimund Worst-Case Execution Time Analysis (Proceedings of the 8th International Workshop WCET 2008)Konferenzband Proceedings 2008
2Cichy, Ewa ; Schneider, Maxim ; Zysset, Philippe K. ; Kaiser, Hans ; Kirner, Raimund Transverse-Isotropic Properties of a Model Mineralized Tissue: Dependence on Nanoindentation Depth and Hydration StateKonferenzbeitrag Inproceedings2010
3Gmeiner, Karl ; Gramlich, Bernhard ; Kaiser, Hans ; Kirner, Raimund Transformations of Conditional Term Rewrite SystemsKonferenzbeitrag Inproceedings2010
4Schüller, Peter ; Eiter, Thomas ; Fink, Michael ; Kaiser, Hans ; Kirner, Raimund Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
5Lechner, Barbara ; Majcher, Oliver ; Ostad Ahmad Ghorabi, Hesamedin ; Collado-Ruiz, Daniel ; Kaiser, Hans ; Kirner, Raimund The Evolution of Aspects and Tendencies in Sustainable Development in European Planning and UrbansimKonferenzbeitrag Inproceedings2010
6Kinzl, Michael ; Benneker, Lorin ; Pahr, Dieter H. ; Kaiser, Hans ; Kirner, Raimund The Effect of Material Behavior and Placement of Bone Cement on the Mechanical Behavior and Load Transfer of Augmented Vertebral BodiesKonferenzbeitrag Inproceedings2010
7Gall, Michael ; Sterba, Christian ; Kaiser, Hans ; Kirner, Raimund Technical criteria for the comparison of modern ERP system for the usage in orchestra companies at the case study of Dynamics AX 2009Konferenzbeitrag Inproceedings 2008
8Meizer, Felix ; Prochazka, Margarethe ; Sihn, Wilfried ; Kaiser, Hans ; Kirner, Raimund Sustainable and energy-efficient logistics through the conceptual design and evaluation of cross-company logistics modelsKonferenzbeitrag Inproceedings 2010
9Tischner, Alexandra ; Köck, Anton ; Maier, Thomas ; Edtmaier, Christian ; Gspan, Christian ; Kothleitner, Gerald ; Kaiser, Hans ; Kirner, Raimund Supersensitive tin oxide nanosensors for gas detectionKonferenzbeitrag Inproceedings 2008
10Hula, Robert Christian ; Edtmaier, Christian ; Kaiser, Hans ; Kirner, Raimund Silver plated tungsten carbide powders for electrical contact materials with improved homogeneityKonferenzbeitrag Inproceedings 2008
11Sallinger, Emanuel ; Pichler, Reinhard ; Savenkov, Vadim ; Kaiser, Hans ; Kirner, Raimund Schema Mapping Optimization in the Presence of Target ConstraintsKonferenzbeitrag Inproceedings 2010
12Jankowski, Nicole ; Bauer, Heidi ; Puxbaum, Hans ; Kaiser, Hans ; Kirner, Raimund Report on Reductions of Traffic Emissions over the last three Decades on a Transit Route in Austria - Results of the Tauerntunnel Experiment 2007Konferenzbeitrag Inproceedings2010
13Kutzelnigg, Reinhard ; Drmota, Michael ; Kaiser, Hans ; Kirner, Raimund Random bipartite graphs and their application to cuchoo hashingKonferenzbeitrag Inproceedings 2008
14Drozdova, Svetlana ; Rosenberg, Egon-Erwin ; Kaiser, Hans ; Kirner, Raimund Parameter Optimisation for the Determination of Total Petroleum Hydrocarbons (Hydrocarbon Index) by Gas Chromatography Using the Large Volume Injection TechniqueKonferenzbeitrag Inproceedings2010
15Kellner, Gudrun ; Kaiser, Hans ; Kirner, Raimund Optimization of communication by analyzing the interlocutor's wordingKonferenzbeitrag Inproceedings 2008
16Todt, Melanie ; Rammerstorfer, Franz G. ; Kaiser, Hans ; Kirner, Raimund On the van der Waals Interactions Between Carbon Onion LayersKonferenzbeitrag Inproceedings2010
17Weinzierl, Antonius ; Fink, Michael ; Eiter, Thomas ; Kaiser, Hans ; Kirner, Raimund Meta-Reasoning in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
18Gschwandtner, Theresia ; Kaiser, Katharina ; Miksch, Silvia ; Kaiser, Hans ; Kirner, Raimund MapFace - A Graphical Editor to Support the Semantic Annotation of Medical TextKonferenzbeitrag Inproceedings 2008
19Kaiser, Hans ; Kirner, Raimund Junior Scientist Conference 2008, ProceedingsKonferenzband Proceedings2008
20Bilik, Christian ; Rammerstorfer, Franz G. ; Figala, Gerald ; Buchmayr, Bruno ; Kaiser, Hans ; Kirner, Raimund Investigation of the Stability and Dynamic Behaviour of Plates Subjected to Laser TreatmentKonferenzbeitrag Inproceedings2010



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

TitleP-Investigator
Compiler-Support for Timing AnalysisKirner, Raimund