Research output per year
Research output per year
Search results
-
2010
Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis
Bartlett, M., Bate, I. & Kazakov, D., 1 Nov 2010, In: IEEE Transactions on Computers. 59, 11, p. 1520-1532 13 p., 5432156.Research output: Contribution to journal › Article › peer-review
-
Instruction Cache Prediction Using Bayesian Networks
Bartlett, M., Bate, I. & Cussens, J., 1 Aug 2010, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). Lisbon, Portugal: IOS Press, Vol. 215. p. 1099-1100 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 215).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Learning Bayesian Networks for Improved Instruction Cache Analysis
Bartlett, M., Bate, I. & Cussens, J., 2010, 2010 Ninth International Conference on Machine Learning and Applications: Proceedings of the 9th International Conference on Machine Learning and Applications. IEEE, p. 417-423 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2009
Guaranteed Loop Bound Identification from Program Traces for WCET
Bartlett, M., Bate, I. & Kazakov, D., 1 Apr 2009, Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). LOS ALAMITOS: IEEE Computer Society, p. 287-294Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
WCET Analysis of Modern Processors Using Multi-Criteria Optimisation
Khan, U. & Bate, I., 2009, 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS. DiPenta, M. & Poulding, S. (eds.). LOS ALAMITOS: IEEE Computer Society, p. 103-112 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2008
Challenges in Relational Learning for Real-Time Systems Applications
Bartlett, M., Bate, I. & Kazakov, D., 2008, INDUCTIVE LOGIC PROGRAMMING, ILP 2008. Zelezny, F. & Lavrac, N. (eds.). BERLIN: Springer, Vol. 5194 LNAI. p. 42-58 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution