On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M20Pueschel: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques..." |
(No difference)
|
Latest revision as of 10:24, 5 February 2020
Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques to speed up the analysis by several orders of magnitude in many cases. Specifically, this includes dynamic partitioning of variables and the use of learned transformers that can adaptively lose precision to speed up analysis.
