A Formal Framework for Precise Parametric WCET Formulas

Benedikt Huber, Daniel Prokesch, and Peter Puschner.

A Formal Framework for Precise Parametric WCET Formulas.

In Tullio Vardanega, editor, 12th International Workshop on Worst-Case Execution Time Analysis, volume 23 of OpenAccess Series in Informatics (OASIcs), pages 91–102, Dagstuhl, Germany, 2012. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.

DOI: 10.4230/OASIcs.WCET.2012.91

Views: 193

Attachments:

Reply to This

T-CREST Partners

 

© 2020   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service