Finding heap-bounds for hardware synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, JirÃ Simsa, Satnam Singh, Viktor Vafeiadis. Finding heap-bounds for hardware synthesis. In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA. pages 205-212, IEEE, 2009. [doi]

This author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Ashutosh Gupta' in GoogleThis author has not been identified. Look up 'Stephen Magill' in GoogleThis author has not been identified. Look up 'Andrey Rybalchenko' in GoogleThis author has not been identified. Look up 'JirÃ Simsa' in GoogleThis author has not been identified. It may be one of the following persons:

Satnam Singh

Look up 'Satnam Singh' in GoogleIdentified as Viktor Vafeiadis

runs on WebDSL