| Document Date: 2013-08-05 05:55:21
Open Document File Size: 461,92 KBShare Result on Facebook
City Montreal / / Company Floating-Point Systems / IEEE Neural Networks / Minimal-Error Control Software / Princeton University Press / Nonlinear Systems / Lulu Enterprises / Feedback Systems / Intel / / Country Canada / / Currency USD / / / Facility University of California at Berkeley / Prentice Hall / reactor Region / / IndustryTerm random search / software emulation / heuristic search / software-based emulation / heuristic search method / software tool / co-processors / signal processing applications / heuristic search algorithms / benchmark systems / search procedure / synthesis tool / static analysis tool / scientific computing systems / linear benchmark batch processor / control software / abstract interpretation-based tools / signal processing / train car / tractable complete search algorithm / correct-by-construction high performance controller software / search method / search method works / batch reactor processor / stochastic local search technique / suitable search strategy / genetic algorithm / greedy search / batch processor / control systems / linear control systems / Genetic algorithms / candidate solution / randomized local search techniques / candidate solutions / physical systems / / OperatingSystem Mac OS X / Linux / / Organization UCLA / University of California / Princeton University / ASIC / / Person Viktor Kuncak / Indranil Saha / / / Position D. J. / mathematical controller / vp / nonlinear controller / CONTROLLER SYNTHESIS The controller / 0n×m Controller / baseline controller / given controller / controller for all the benchmarks / batch controller / improved controller / abstract interpreter / controller / synthesized controller / / Product Pentax K-x Digital Camera / / ProgrammingLanguage R / K / ANSI C / DC / Simulink / / ProvinceOrState Quebec / California / / Technology RAM / search algorithm / ANSI C / Linux / GP algorithm / genetic algorithm / Benchmark batch processor / Integrated Circuits / T -1 / heuristic search algorithms / batch reactor processor / ASIC / error 3.06e-3 3.11e-3 1.52e-3 1.39e-3 1.39e-3 Algorithm / batch processor / 2.3 Genetic Programming Our algorithm / simulation / DSP / CAD / / URL http /
SocialTag |
Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar