GameTime: A toolkit for timing analysis of software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6605 LNCS, Issue , 2011, Pages 388-392

  Seshia, Sanjit A ^a   Kotker, Jonathan ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION TIME; ONLINE LEARNING; REAL-TIME EMBEDDED SYSTEMS; SATISFIABILITY MODULO THEORIES; SYSTEMATIC TESTING; TIMING ANALYSIS; WORST-CASE EXECUTION TIME;

ALGORITHMS; EMBEDDED SYSTEMS; GAME THEORY; REAL TIME SYSTEMS;

PROGRAM DEBUGGING;

EID: 79953204995     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19835-9_34     Document Type: Conference Paper

References (6)

1. Phoenix software optimization and analysis framework, https://connect.microsoft.com/Phoenix
2. Necula, G., et al.: CIL - infrastructure for C program analysis and transformation, http://manju.cs.berkeley.edu/cil/
3. Qin, W., Malik, S.: Simit-ARM: A series of free instruction-set simulators and microarchitecture simulators, http://embedded.eecs.berkeley.edu/ mescal/forum/2.html
4. Wilhelm, R., et al.: The Determination of Worst-Case Execution Times - Overview of the Methods and Survey of Tools. ACM Transactions on Embedded Computing Systems, TECS (2007)
5. Seshia, S.A., Rakhlin, A.: Game-theoretic timing analysis. In: Proc. IEEE/ACMInternational Conference on Computer-Aided Design (ICCAD), pp. 575-582 (2008)
6. Seshia, S.A., Rakhlin, A.: Quantitative analysis of systems using game-theoretic learning. ACM Transactions on Embedded Computing Systems (TECS) (to appear)