Displaying 4 results from an estimated 4 matches for "buchi".
Did you mean:
buch
2020 Feb 22
2
The AnghaBench collection of compilable programs
...the interference graphs of
these programs, even in machine code (no phi-functions and lots of
pre-colored registers), are chordal.
* We can check how well different tools are doing on real-world code.
For instance, we can use these benchmarks to check how many programs
can be analyzed by Ultimate Buchi Automizer
(https://ultimate.informatik.uni-freiburg.de/downloads/BuchiAutomizer/).
This is a tool that tries to prove termination or infinite execution
for some programs.
* We can check how many programs can be compiled by different
high-level synthesis tools into FPGAs. We have tried LegUp and Vi...
2020 Feb 22
3
The AnghaBench collection of compilable programs
...in machine code (no phi-functions and lots of
> > pre-colored registers), are chordal.
> >
> > * We can check how well different tools are doing on real-world code.
> > For instance, we can use these benchmarks to check how many programs
> > can be analyzed by Ultimate Buchi Automizer
> > (https://ultimate.informatik.uni-freiburg.de/downloads/BuchiAutomizer/).
> > This is a tool that tries to prove termination or infinite execution
> > for some programs.
> >
> > * We can check how many programs can be compiled by different
> > high-l...
2020 Apr 06
2
Adding a new External Suite to test-suite
...tudies:
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 clang
A few other studies that I would like to carry out:
* Checking the runtime of different C parsers that we have.
* Trying to infer, empirically, the complexity of compiler analyses
and optimization...
2009 Oct 14
1
problem when resizing graphics devices
Dear R users,
When I try to resize a graphics device in R, I often get this warning
message (mostly when I already have several other graphics devices open)
: "Not enough memory to modify the size. Alpha blending is desactivated"
(translation from the french message: "Mémoire insuffisante pour
modifier la taille. L'"alpha blending" est désactivé"). Following