Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning

Author(s):  
Dimitar Kazakov ◽  
Iain Bate
2004 ◽  
Vol 69 (1-2) ◽  
pp. 115-128 ◽  
Author(s):  
R.M. Santos ◽  
J. Urriza ◽  
J. Santos ◽  
J. Orozco

2018 ◽  
Vol 433-434 ◽  
pp. 315-332 ◽  
Author(s):  
Fakhruddin Muhammad Mahbub ul Islam ◽  
Man Lin ◽  
Laurence T. Yang ◽  
Kim-Kwang Raymond Choo

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett

Author(s):  
Pallab Banerjee ◽  
◽  
Riya Shree ◽  
Richa Kumari Verma ◽  
◽  
...  

2013 ◽  
Vol 32 (2) ◽  
pp. 573-577
Author(s):  
Zhi-bang YANG ◽  
Cheng XU ◽  
Xu ZHOU ◽  
Xue-qing ZHU

Sign in / Sign up

Export Citation Format

Share Document