Dimitar Kazakov, Iain Bate. Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. In Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic. pages 421-428, IEEE, 2006. [doi]
Abstract is missing.