75 Hits in 0.9 sec

Constraint solving for high-level WCET analysis [article]

Adrian Prantl and Jens Knoop and Markus Schordan and Markus Triska
2009 arXiv   pre-print
The safety of our day-to-day life depends crucially on the correct functioning of embedded software systems which control the functioning of more and more technical devices. Many of these software systems are time-critical. Hence, computations performed need not only to be correct, but must also be issued in a timely fashion. Worst case execution time (WCET) analysis is concerned with computing tight upper bounds for the execution time of a system in order to provide formal guarantees for the
more » ... oper timing behaviour of a system. Central for this is to compute safe and tight bounds for loops and recursion depths. In this paper, we highlight the TuBound approach to this challenge at whose heart is a constraint logic based approach for loop analysis.
arXiv:0903.2251v1 fatcat:oipthnumn5bbjnps6dckpwgyvm

Transforming flow information during code optimization for timing analysis

Raimund Kirner, Peter Puschner, Adrian Prantl
2010 Real-time systems  
2007b; Prantl et al. 2008 ).  ...  It is still safe to apply control-flowinvariant transformations in the target compiler. 5 The prototypical work-flow of the high-level source-to-source compiler is shown in Fig. 14 (Prantl 2007a  ...  He has published more than 80 refereed conference and journal papers and was a guest editor for the special issue on WCET analysis of the Kluwer ( Adrian Prantl is Ph.D. student at the Institute of Computer  ... 
doi:10.1007/s11241-010-9091-8 fatcat:2s2aiyp5prgrdaqstvpn5iw334

High-performance language interoperability for scientific computing through Babel

Thomas GW Epperly, Gary Kumfert, Tamara Dahlgren, Dietmar Ebner, Jim Leek, Adrian Prantl, Scott Kohn
2011 The international journal of high performance computing applications  
High-performance scientific applications are usually built from software modules written in multiple programming languages. This raises the issue of language interoperability which involves making calls between languages, converting basic types, and bridging disparate programming models. Babel provides a featurerich, extensible, high-performance solution to the language interoperability problem currently supporting C, C++, FORTRAN 77, Fortran 90/95, Fortran 2003/2008, Python, and Java. Babel
more » ... ports object-oriented programming features and interface semantics with runtime-enforcement. In addition to in-process language interoperability, Babel includes remote method invocation to support hybrid parallel and distributed computing paradigms.
doi:10.1177/1094342011414036 fatcat:ioqqeifdmvaw7kq4mmapi73cnu

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
2010 Journal of Software and Systems Modeling  
TuBound is a portable tool for WCET analysis of C++ programs developed by Prantl et al. [22, 53, 56] .  ...  Author Biographies Raimund Kirner Adrian Prantl is PhD student at the Institute of Computer Languages at Vienna University of Technology.  ... 
doi:10.1007/s10270-010-0161-0 fatcat:gzexuwk7l5hv7n7g3psastxvla

WCET Analysis: The Annotation Language Challenge

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel, Marc Herbstritt
. † Institut für Technische Informatik, Vienna University of Technology, Austria, {raimund,ingo} ‡ Institut für Computersprachen, Vienna University of Technology, Austria, {knoop,adrian  ... 
doi:10.4230/oasics.wcet.2007.1197 fatcat:ct3wnx2x7nfmjj3vc6wya64yai

Towards a Common WCET Annotation Language: Essential Ingredients

Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop, Marc Herbstritt
Within the last years, ambitions towards the definition of common interfaces and the development of open frameworks have increased the efficiency of research on WCET analysis. The Annotation Language Challenge for WCET analysis has been proposed in line with these ambitions in order to push the development of common interfaces also to the level of annotation languages, which are crucial for the power of WCET analysis tools. In this paper we present a list of essential ingredients for a common
more » ... ET annotation language. The selected ingredients comprise a number of features available in different WCET analysis tools and add several new concepts we consider important. The annotation concepts are described in an abstract format that can be instantiated at different representation levels.
doi:10.4230/oasics.wcet.2008.1657 fatcat:3zicgkc33vgr7kh7ock3qwcstu

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

Adrian Prantl, Markus Schordan, Jens Knoop, Marc Herbstritt
TUBOUND is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TUBOUND is the seamless integration of a WCET analysis component and of a compiler in a uniform tool. TUBOUND enables the programmer to provide hints improving the precision of the WCET computation on the high-level program source code, while preserving the advantages of using an optimizing compiler and the accuracy of a WCET analysis performed on the low-level machine
more » ... This way, TUBOUND ideally serves the needs of both the programmer and the WCET analysis by providing them the interface on the very abstraction level that is most appropriate and convenient to them. In this paper we present the system architecture of TUBOUND, discuss the internal work-flow of the tool, and report on first measurements using benchmarks from Mälardalen University. TUBOUND took also part in the WCET Tool Challenge 2008.
doi:10.4230/oasics.wcet.2008.1661 fatcat:surwciq225f6lmkpay6y2gk3fe

Page 371 of Church History Vol. 28, Issue 4 [page]

1959 Church History  
Carl Prantl, Geschichte der Ludwig- Mazimilians-Universitat in Ingolstadt (Munich, 1872), I, 148. 32. Druffel, 625 ff.  ...  Adrian to Dukes; BHM Staatsver- waltung 2719, No. 3. Answer from Ludwig, 16 January 1523; ibid., No. 4 - On the Nuremberg Diet cf. Deutsche Reichstagsakten, Jiimgere Reihe, III (Gotha, 1901). .  ... 

WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski (+8 others)
Following the successful WCET Tool Challenge in 2006, the second event in this series was organized in 2008, again with support from the ARTIST2 Network of Excellence. The WCET Tool Challenge 2008 (WCC'08) provides benchmark programs and poses a number of "analysis problems" about the dynamic, runtime properties of these programs. The participants are challenged to solve these problems with their programanalysis tools. Two kinds of problems are defined: WCET problems, which ask for bounds on
more » ... execution time of chosen parts (sub programs) of the benchmarks, under given constraints on input data; and flowanalysis problems, which ask for bounds on the number of times certain parts of the benchmark can be executed, again under some constraints. We describe the organization of WCC'08, the benchmark programs, the participating tools, and the general results, successes, and failures. Most participants found WCC'08 to be a useful test of their tools. Unlike the 2006 Challenge, the WCC'08 participants include several tools for the same target (ARM7, LPC2138), and tools that combine measurements and static analysis, as well as pure staticanalysis tools.
doi:10.4230/oasics.wcet.2008.1663 fatcat:4w2yb7g7yrbdjjhgdlctiacipe

Page 157 of Science Vol. 17, Issue [page]

1903 Science  
The arrangement of the families is that of Engler and Prantl.  ...  Willis James, Adrian Iselin, Henry F. Osborn and the late James M. Constable.  ... 

Front Matter

2021 Computer graphics forum (Print)  
Oztireli, Cengiz Padmanaban, Nitish Palmer, David Pan, Zherong Para, Wamiq Patashnik, Or Peers, Pieter Perazzi, Federico Peters, Christoph Pham, Quang-Hieu Philip, Julien Pollard, Nancy Prantl  ...  Number 2 Eurographics Outstanding Technical Contributions Award 2021 Paolo Cignoni xix Eurographics Young Researcher Award 2021 Tobias Günther xx Eurographics Young Researcher Award 2021 Adrián  ...  Eurographics is pleased to recognize Adrian Jarabo with the 2021 Young Researcher Award.  ... 
doi:10.1111/cgf.142657 fatcat:7phqw7lprrgkbngm7exhjyvdxu

Botanical Notes [article]

Charles E. Bessey
1903 Science  
The arrangement of the families is that of Engler and Prantl.  ...  The arrangement of the families is that of Engler and Prantl.  ... 


H. F. O.
1903 Science  
The arrangement of the families is that of Engler and Prantl.  ...  Willis James, Adrian Iselin, Henry I?. Osborn and the late James M. Constable. TIIE UNIVERSITY OX NEDRASICA. RECDNl' ZOOPALEONTOLOGY. THE COPE PAMPEAN COLLECTION.  ... 
doi:10.1126/science.17.421.157 pmid:17779007 fatcat:3x45kxbv5vdlflpx4s44kbztri


C. E. Bessey
1903 Science  
The arrangement of the families is that of Engler and Prantl.  ...  Willis James, Adrian Iselin, Henry I?. Osborn and the late James M. Constable.  ... 
doi:10.1126/science.17.421.156 pmid:17779006 fatcat:24qjl7fklrdqpfebsawj7yeloe

Recent Zoopaleontology [article]

H. F. O.
1903 Science  
Willis James, Adrian Iselin, Henry F. Osborn and the late Wames B¢. CDonstable.  ...  The arrangement of the families is that of Engler and Prantl.  ... 
« Previous Showing results 1 — 15 out of 75 results