External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis

Thomas Sewell, Felix Kam, Gernot Heiser. Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016. pages 185-195, IEEE Computer Society, 2016. [doi]

Authors

Thomas Sewell

This author has not been identified. Look up 'Thomas Sewell' in Google

Felix Kam

This author has not been identified. Look up 'Felix Kam' in Google

Gernot Heiser

This author has not been identified. Look up 'Gernot Heiser' in Google
runs on