| 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 |