Back to Results
First PageMeta Content
Control flow / Real-time computing / Worst-case execution time / Infinite loop / For loop / Algorithm / Signal-flow graph / Control theory / Recurrence relation / Computing / Computer programming / Software engineering


r-TuBound: Loop Bounds for WCET Analysis (tool paper) Jens Knoop, Laura Kov´acs, and Jakob Zwirchmayr? TU Vienna Abstract. We describe the structure and the usage of a new software tool, called
Add to Reading List

Document Date: 2012-01-11 07:16:42

Open Document

File Size: 271,84 KB

Share Result on Facebook

Company

ABC / Intel / /

Facility

Termite library of Prolog / Termite library / /

Holiday

Assumption / /

IndustryTerm

symbolic computation algorithms / pattern-based recurrence solving algorithm / implements algorithms / software tool / software packages / offers software / /

MarketIndex

SMT / /

NaturalFeature

Everest / /

Organization

American Mathematical Society / /

Person

Hertha Firnberg / Pascal Sainrat / Martin Schoeberl / Marianne De Michiel / Armelle Bonenfant / Rasmus Ulslev Pedersen / Wolfgang Puffitsch / Hugues Cass / Benedikt Huber / Jakob Zwirchmayr / Jens Knoop / Laura Kov´acs / /

Position

second author / /

ProgrammingLanguage

Prolog / Java / C / C++ / /

TVStation

WCET / /

Technology

RAM / symbolic computation algorithms / Java Processor / pattern-based recurrence solving algorithm / r-TuBound implements algorithms / /

URL

www.complang.tuwien.ac.at/jakob/tubound / http /

SocialTag