| Document Date: 2012-10-25 20:23:59
Open Document File Size: 322,04 KBShare Result on Facebook
Company Olesen2 1 Embedded Software Laboratory / CNF / Discrete-Continuous Systems / Intel / 1298 Algorithmic Synthesis / / Country Germany / / Facility Aalborg University / RWTH Aachen University / / IndustryTerm research training / dichotomic search / Comparable projection algorithms / reduced product operator / / Organization German Research Foundation / RWTH Aachen University / Aalborg University / Department of Computer Science / / Person Bit-Vectors As / Brauer Kowalewski / Stefan Kowalewski / Axel Simon / / Position King / guard / VSA Name Single Row Input Keypad Communication Link Task Scheduler / / ProgrammingLanguage J / / Technology Comparable projection algorithms / key algorithms / Extended Bit-Vectors The algorithm / SAT-based algorithms / Java / /
SocialTag |
Adaptable Value-Set Analysis for Low-Level Code J¨ org Brauer1? , Ren´e Rydhof Hansen2 , Stefan Kowalewski1 , Kim G. Larsen2 and Mads Chr. Olesen2 1