Advanced search

Showing result 1 - 5 of 37 swedish dissertations matching the above criteria.

  2. 1. Combinatorial Optimization for Infinite Games on Graphs

    Author : Henrik Björklund; Sergei Vorobyov; Erich Grädel; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; infinite games; combinatorial optimization; randomized algorithms; model checking; strategy evaluation functions; linear programming; iterative improvement; local search; Computer science; Datavetenskap;

    Abstract : Games on graphs have become an indispensable tool in modern computer science. They provide powerful and expressive models for numerous phenomena and are extensively used in computer- aided verification, automata theory, logic, complexity theory, computational biology, etc. READ MORE

  4. 2. Testing and Logic Optimization Techniques for Systems on Chip

    Author : Tomas Bengtsson; Shashi Kumar; Zebo Peng; Jaan Raik; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Today it is possible to integrate more than one billion transistors onto a single chip. This has enabled implementation of complex functionality in hand held gadgets, but handling such complexity is far from trivial. The challenges of handling this complexity are mostly related to the design and testing of the digital components of these chips. READ MORE

  5. 3. Dominator-based Algorithms in Logic Synthesis and Verification

    Author : René Krenz-Bååth; Johnny Öberg; Joao Marques-Silva; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; graph dominators; formal verification; logic synthesis; equivalence checking; decomposition; Electrical engineering; Elektroteknik;

    Abstract : Today's EDA (Electronic Design Automation) industry faces enormous challenges. Their primary cause is the tremendous increase of the complexity of modern digital designs. Graph algorithms are widely applied to solve various EDA problems. READ MORE

  6. 4. Advanced algorithms for logic synthesis

    Author : Petra Färm; KTH; []
    Keywords : ;

    Abstract : In this thesis, new algorithms for logic synthesis areexplored. Our work is motivated by two observations: (1)Traditional logic synthesis applies literal count as theprimary quality metric during the technology independentoptimization phase. READ MORE

  7. 5. Applications of Integer Quadratic Programming in Control and Communication

    Author : Daniel Axehill; Anders Hansson; Anders Rantzer; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Optimization; Model Predictive Control; CDMA; Quadratic Programming; Mixed Integer Quadratic Programming; Dual active set methods; Riccati recursion; Branch and bound; Automatic control; Reglerteknik;

    Abstract : The main topic of this thesis is integer quadratic programming with applications to problems arising in the areas of automatic control and communication. One of the most widespread modern control principles is the discrete-time method Model Predictive Control (MPC). READ MORE