The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Constraint solving for high-level WCET analysis
[article]
2009
arXiv
pre-print
Preserved Fulltext
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
arXiv:0903.2251v1
fatcat:oipthnumn5bbjnps6dckpwgyvm
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.
Transforming flow information during code optimization for timing analysis
2010
Real-time systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
The international journal of high performance computing applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.1177/1094342011414036
fatcat:ioqqeifdmvaw7kq4mmapi73cnu
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.
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
2010
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2007
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
. † Institut für Technische Informatik, Vienna University of Technology, Austria, {raimund,ingo}@vmars.tuwien.ac.at ‡ 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
2008
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.4230/oasics.wcet.2008.1657
fatcat:3zicgkc33vgr7kh7ock3qwcstu
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.
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis
2008
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.4230/oasics.wcet.2008.1661
fatcat:surwciq225f6lmkpay6y2gk3fe
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.
Page 371 of Church History Vol. 28, Issue 4
[page]
1959
Church History
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2008
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
doi:10.4230/oasics.wcet.2008.1663
fatcat:4w2yb7g7yrbdjjhgdlctiacipe
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.
Page 157 of Science Vol. 17, Issue
[page]
1903
Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
1903
Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
The arrangement of the families is that of Engler and Prantl. ...
The arrangement of the families is that of Engler and Prantl. ...
fatcat:32kuup4r7nb3ll4nhv7h547x2m
RECENT ZOOPALEONTOLOGY
1903
Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
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
BOTANICAL NOTES
1903
Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
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]
1903
Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Willis James, Adrian Iselin, Henry F. Osborn and the late Wames B¢. CDonstable. ...
The arrangement of the families is that of Engler and Prantl. ...
fatcat:l2qdrimf2rfifnoskbjabjakci
« Previous
Showing results 1 — 15 out of 75 results