Open AccessSymbolic WCET Computation
Author(s) -
Clément Ballabriga,
Julien Forget,
Giuseppe Lipari
Publication year - 2017
Publication title -
acm transactions on embedded computing systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.435
H-Index - 56
eISSN - 1558-3465
pISSN - 1539-9087
DOI - 10.1145/3147413
Subject(s) - correctness , computer science , parametric statistics , computation , program analysis , set (abstract data type) , integer (computer science) , state (computer science) , parametric programming , integer programming , algorithm , programming language , mathematics , statistics
International audienc
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom