Displaying 1 result from an estimated 1 matches for "staticproperti".
Did you mean:
staticproperties
2020 Apr 06
2
Adding a new External Suite to test-suite
...piler that reduces code size (the
technical report has more about that). In addition, you can use them
to compare compilation time, for instance, as Michael had asked. We
have also used these benchmarks in two studies:
1) http://cuda.dcc.ufmg.br/angha/chordAnalysis
2) http://cuda.dcc.ufmg.br/angha/staticProperties
A few other applications that I know about (outside our research
group), include:
* Comparing the size of code produced by three HLS tools: Intel HLS,
Vivado and LegUp.
* Testing the Ultimate Buchi Automizer, to see which kind of C
constructs it handles
* Comparing compilation time of gcc vs cl...