Department of Computer Science and Engineering / Institutionen för data- och informationsteknik: Recent submissions

Visas titlar 421-440 av 541

    • Säkerhet i det trådlösa hemnätverket – En analys av de vanligaste säkerhetslösningarna 

      Malmqvist, Daniel; Sandahl, Hannes; Rollny, Joel; Markehed, Mattias (2014-10-06)
      The security solutions used in wireless home networks are examined in this report. The growing number of wireless units have increased the need for reliable security solutions. This report aims to enlighten the reader ...

    • Processchemaläggare för mångkärniga processorer – Fördelning av minnesbelastning i NUMA-system 

      Edholm, Daniel; Löfgren, Anders; Nilsson, Viktor (2014-10-03)
      For systems with multicore processors contention for shared resources is a problem that occurs when several memory-intensive processes are executed in parallel within the same memory domain. This contention has a direct ...

    • Chalmers University of Technology 

      Ehrenborg, Gustav; Hidstrand, Fredrik; Mathisen, Andreas; Sjöqvist, Magnus; Estelius, Fredrik; Pettersson, Robin (2014-10-03)
      The Division of Language and Communication at Chalmers uses a web-based language tool, named EngOnline, to teach English grammar. The language tool suffers from some shortcomings. These include stability problems and an ...

    • A Distributed Key-Value Store Implementation and evaluation of two strategies for lookup in distributed databases 

      Bergkvist, Olle; Eriksson, Peter; Jarmar, Julia; Sällberg, Kristian; Ödlund, Joel (2014-10-02)
      This report describes the design, implementation and testing of a database; more speci - cally, a distributed, scalable key-value store able to handle many concurrent queries. A central issue when building this type of ...

    • Pluginramverk för webbaserade spel 

      Johansson, John; Larsson, Magnus; Svanström, Andreas; Philip, Mattias (2014-10-02)
      In order to attract talented consultants, Sigma, a consultant company, wanted an online game for recruitment. In the game, potential employees’ skills could be tested to determine whether they are qualified for the job. ...

    • Formalisering av Algoritmer och Matematiska Bevis En formalisering av Toom-Cook algoritmen i Coq med SSReflect 

      Andersson, Jesper; Lideström, Åsa; Oom, Daniel; Sjöberg, Anders; Ståhl, Niclas (2014-10-02)
      Computer-aided formalization of mathematics has progressed in the last decade with the formalization of very large and complex proofs such as the proof of the Four color theorem and the Feit-Thompson theorem. In this report ...

    • Geometrical and Evolutionary effects in a Predator-Prey System 

      Berggren, Loanne; Bramstång, Albin; Ernstsson, Henrik; Kowalska Elleberg, Hanna; Ramqvist, Erik; Ånerud, Sebastian (2014-10-02)
      The area of investigation is the dynamics of a predator-prey relationship. To model the relationship, an agent based model is used as a base for a simulation tool. The tool supports multiple trophic levels, and the agents ...

    • KeYTestGen2: an automatic, verification-driven test case generator 

      Svanefalk, Christopher (2014-10-01)
      Software testing is a verification technique common in contemporary software engineering processes, both the development of the system itself, as well as subsequent quality assurance, maintenance and extension. It suffers, ...

    • Protein Folding Implementation of the Simulated Annealing Algorithm on Simple Three-Dimensional Models 

      Börjesson, Linus; Maximillian, Ludvigsson; Kalldal, Oscar; Ngu, Johnny; Nillson, Per Andreas; Öhman, Gustav (2014-09-25)
      How an arbitrary coil of amino acids folds into its functional structure is known as the protein folding problem. Since the underlying mechanisms that guide protein folding in nature are widely unknown, simpli ed models ...

    • A general peer-to-peer based distributed computation network 

      Pettersson, Jack; Schelin, Leif; Wärvik, Niklas; Öhman, Joakim (2014-09-23)
      We consider how a decentralised computation system would work when each participant could create computation code as well as executing other participants’ code. A protocol is proposed that allows such collaboration to ...

    • Generation of music through genetic algorithms 

      Pavlov, Sean; Olsson, Christoffer; Svensson, Christian; Anderling, Viktor; Wikner, Johannes; Andreasson, Olle (2014-09-22)
      The focus of this bachelor thesis is to generate appealing music segments algorithmically. Since its creation, the art of music has constantly evolved, developing new genres and styles over time. Computers have long been ...

    • Scalable Machine Learning for Big Data 

      Bredmar, Fredrik; Andersson, Emanuel; Bogren, Emil (2014-09-22)
      We describe each step along the way to create a scalable machine learning system suitable to process large quantities of data. The techniques described in the report will aid in creating value from a dataset in a scalable ...

    • Implementing incremental and parallel parsing 

      Olausson, Tobias (2014-09-19)
      Using recent improvements to Valiant’s algorithm for parsing contextfree languages, we present an implementation of a generator of parsers that works incrementally, that can be parallelized and generated from a grammar ...

    • API-Driven Generation of Well-Typed Terms 

      Spångberg, David (2014-09-19)
      In this thesis, a reusable library for defining generators for well-typed expressions in standard Haskell is presented. The expressions are randomly constructed from a set of functions and values specified by a user. ...

    • Visualizing Distributed Algorithms on the Seattle Platform 

      Kallin, Jakob (2014-09-19)
      This report describes Seastorm: a visualizer for distributed algorithms running on the Seattle platform. Seastorm displays the execution of algorithms as interactive sequence diagrams, intended to make reasoning about ...

    • Grammar-based suggestion engine with keyword search 

      Agfjord, Martin (2014-09-19)
      In this thesis we investigate how we can develop an application which can translate sentences formulated in natural languages (English and Swedish) into a query language. We also build a suggestion engine which offers ...

    • Shard Selection in Distributed Collaborative Search Engines A design, implementation and evaluation of shard selection in ElasticSearch 

      Berglund, Per (2014-09-19)
      To increase their scalability and reliability many search engines today are distributed systems. In a distributed search engine several nodes collaborate in handling the search operations. Usually each node is only ...

    • Protein Folding Implementation of Stochastic and Deterministic Algorithms using the two-dimensionalHP Model for Computer Simulation of the Protein Folding Process 

      Andersson, Simon; Hammar, Tor; Radway, Alexander; Anker, Malin; Forsberg, Tobias; Herbertsson, Sebastian (2014-06-09)
      In nature, proteins are often found to instantly fold into the con guration with the lowest amount of free energy. Due to the complexity of this process, it is today still unknown exactly how it occurs. Since proteins ...

    • Energy Efficient, High-speed Communication in WSNs 

      Nagy, Attila (2014-05-21)
      This thesis presents a set of feasible extensions for the low power, low delay ORW routing protocol. It introduces the capability of handling multiple concurrent bulk transfers including various application scenarios, e.g., ...

    • Simplipedia-Making Wikipedia accessible 

      Tillander, Marcus (2014-03-07)
      Wikipedia is a massive encyclopedia of information available on the internet, but everyone may not be able to take part of this information. Due to cognitive impairments and other disabilities people may nd it hard to ...