Datalogi, Kandidat

Kandidatuddannelse

Studiestruktur: Uddannelse

1. semester

Skolen for Informations- og Kommunikationsteknologi › Studienævn for Datalogi › Datalogi, Kandidat

2. semester

Skolen for Informations- og Kommunikationsteknologi › Studienævn for Datalogi › Datalogi, Kandidat

3. semester

Skolen for Informations- og Kommunikationsteknologi › Studienævn for Datalogi › Datalogi, Kandidat

4. semester

Skolen for Informations- og Kommunikationsteknologi › Studienævn for Datalogi › Datalogi, Kandidat

  1. 2017
  2. A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets

    Mads Johannsen, Jakob Dyhr, Frederik Meyer Bønneland

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  3. Clustering Based On Driving Styles Using Hot Paths

    Lynge Kærlund Poulsgaard, Philip Pannerup Sørensen, Henrik Ullerichs

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  4. DWStar - Automated Star Schema Generation

    Michael Tarp, Søren Jensen, Jacob Bach Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  5. Exploring Use of Surface Electromyography during Horse Riding

    Tina Andersen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  6. GPU Accelerated Machine Learning

    Ulf Gaarde Simonsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  7. In-Vehicle Activity Recognition of User Activities Using Smartwatches

    David Holmgaard Junker, Thomas Alexander Cano Hald, Mads Mårtensson

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  8. Modeling of Combined Heat and Power Plants as Flex-offers

    Philipp Daniel Freiberger

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  9. Multi-level Deep Models for Forum Sentiment Classification

    Emil Alexander Lousdahl Nesgaard, Peter Fogh

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  10. Off by a Bit: Exploring Bit-Flip Vulnerabilities Through Program Emulation and Symbolic Execution

    Anders Trier Olesen, Ólavur Debes Joensen, Jannek Alexander Westerhof Bossen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  11. Personalized Navigation: Context-Based Preference Mining Using TensorFlow

    Joachim Højbak Klokkervoll, Mike Pedersen, Samuel Nygaard Pedersen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  12. SolveDF: Extending Spark DataFrames with support for constrained optimization

    Frederik Madsen Halberg

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  13. Symbolic Synthesis of Non-Negative Multi-Weighted Games with Temporal Objectives

    Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  14. Vertex Similarity in Graphs using Feature Learning

    Bjarke Thorn Carstens, Mads Riis Jensen, Mathias Friis Spaniel, Anders Hermansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Speciale

  15. 2016
  16. A comparison study for shortest-path queries over heterogenous spacial networks

    Nichlas Bo Nielsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  17. Controller Synthesis by Solving Multi Weighted Games

    Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann

    Datalogi, Kandidat, (Kandidatuddannelse) 3. semester, 2016

    Studenteropgave: Speciale

  18. Designer-Friendly Methods for Manual Changes of Procedurally Modeled Terrains

    Toke Andresen Wivelsted

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  19. Discount Method for Programming Language Evaluation

    Tommy Aagaard Christensen, Svetomir Kurtev

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  20. Energi Måling og Optimering af Kontinuerlig Gestus Genkendelse

    Jens Emil Gydesen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  21. Generisk typeinferens for psi-kalkyler

    Mathias Ormstrup Bjerregaard, Eva Fajstrup Graversen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  22. Personaliseret Ruteplanlægning med Genopladning for Elektriske Køretøjer

    Andreas Strandfelt, Andreas Thor Lau, Mathias Højsleth

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  23. Pre-Analyses Dependency Scheduling with Multiple Threads

    Nichlas Korgaard Møller

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  24. Prediction of Affective State Using Consumer Graded Hardware and Sensor Fusion

    Brian Frost Pedersen, Anders Bender, Dennis Bækgaard Nielsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  25. Understanding the User of Interaction Tehcniques: Clarity, Comfort, Context, and Control

    Elias Ringhauge, Ivan Svilenov Penchev

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  26. User Experience Using Physiological Measurements

    Benjamin Hubert, Michael Lausdahl Fuglsang, Henrik Haxholm

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  27. Værktøj til Transitionering fra Scratch til Python

    Henrik Vinther Geertsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2016

    Studenteropgave: Speciale

  28. 2015
  29. A Complete Approximation Theory for Weighted Transition Systems

    Peter Christoffersen, Mathias Ruggaard Pedersen, Mikkel Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale

  30. Compositional Analysis of Timed-arc Resource Workflows with Communication

    Christoffer Moesgaard, Sine Viesmose Birch

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale

  31. Detecting Incorrect Wordpress Plugin Function Usage

    Jens Thomas Vejlby Nielsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale

  32. Developing a BCI system for multible prdictor tasks using a consumer grade EEG reader

    Daniel Bøcker Sørensen, Anders Jensen, Nicolai Lund Hasager Kirk

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale

  33. Multiple Static Segmentation of Videos using a Convolution of Mixtures of Gaussian processes

    Jacob Jon Jensen, Niels Nørgaard Samuelsen, Christoffer Samuel Nielsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale

  34. Parameter Synthesis for Simulation Distances Between Weighted Transition Systems

    Anders Mariegaard, Julian Trier Ringsmose

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale

  35. Unifying STM and Side Effects in Clojure

    Thomas Stig Jacobsen, Søren Kejser Jensen, Daniel Rune Jensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale

  36. User-to-User Recommendations in a Fashion Portal, Utilizing a Social Network, Implicit Feedback and Clustering Approaches

    Dan Duus Thøisen, Bjarne Kock, Davide Frazzetto

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale

  37. 2014
  38. Applying Application-Level Correctness to the Paparazzi Autopilot

    Heine Gatten Larsen, Morten Turn Pedersen, Thomas Viesmose Birch

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale

  39. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale

  40. Decomposable Common Spatial Patterns: Applying Graphical Model Selection in the Brain-Computer Interface: Applying Graphical Model Selection in the Brain-Computer Interface

    Nikolaj Andersen, Jannik Frank Faarkrog, Mikkel Holm Søgaard

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale

  41. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale

  42. Fast Cluster Exploration of BCI data using Riemannian Geometry

    Adam René Gregersen, Daniel Agerskov Hejdemann Jensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale

  43. Learning Optimal Scheduling for Time Uncertain Settings

    Jakob Haahr Taankvist, Peter Gjøl Jensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale

  44. TinyVM: A Fault-Tolerant Virtual Machine

    Martin Sørensen, Emil Custic, Rune Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale

  45. Using Poisson Markov Models to Predict Game States in StarCraft

    Anders Hesselager-Olesen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale

  46. 2013
  47. Developing a type inference algorithm for The Ambient Calculus with Kill

    Casper Jensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale

  48. Evaluering af råd om økonomisk kørsel ud fra GPS og CANBus data

    Sabrine Conny Hjøllund Mouritsen, Karsten Jakobsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale

  49. EyeGaze: Facilitating eye contact in a video mediated setting

    Thomas Søndersø Nielsen, Jacob Haubach Smedegård, Anne Kathrine Jensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale

  50. Studenteropgave: Speciale

  51. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale

  52. On-The-Fly Model Checking of Weighted Computation Tree Logic

    Jonas Finnemann Jensen, Lars Kærlund Østergaard

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale

  53. Recognizing North Atlantic right whale up-calls using Gaussian Mixture Models and Hidden Markov Models

    Stine Back Larsen, Morten Albeck Nielsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale

  54. SKAT - Alternativ tilgang til Sentimental Analyse

    Kim Bernhard Andersen, Jesper Puggaard Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale

  55. 2012
  56. Action Investment Games

    Simon Laursen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2012

    Studenteropgave: Speciale

  57. Operational and Denotational Properties of a Modal Process Logic

    Hans Huttel

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2012

    Studenteropgave: Speciale

  58. 2011
  59. Analysis of the recommendation systems based on the tensor factorization techniques, experiments and the proposals

    Martin Leginus, Valdas Zemaitis

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale

  60. Data-driven Resource Management in Real-time Strategy

    Henrik Ossipoff Hansen, Lasse Juul-Jensen, Dion Christensen, Kasper Kastaniegaard

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  61. Democratizing General Purpose GPU Programming through OpenCL and Scala

    Reidar Beck, Tommy Jensen, Helge Willum Larsen

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale

  62. Studenteropgave: Speciale

  63. Distrbuted parameter sweep for UPPAAL models

    Brian Villumsen, Peter Schmidt Freiberg, Jimmy Merrild Krag

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  64. Distributed parameter sweep for UPPAAL models

    Jimmy Merrild Krag, Peter Schmidt Freiberg, Brian Villumsen

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale

  65. Domotics On-The-Go 2.0

    Mario Muñoz

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale

  66. Dynamic Difficulty Adjustment Using Behavior Trees

    Torkil Olsen, Huy Long Phan, Kenneth Sejrsgaard-Jacobsen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  67. Extending Scala with General Purpose GPU Programming

    Reidar Beck, Helge Willum Larsen, Tommy Jensen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  68. Game On Demand Service: Architecture Proposal & Prototype

    Jais Heslegrave, Thomas Justesen

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale

  69. gbnav - a gbeta Source Code Navigation Tool

    Thomas Glæsner, Søren Toft Pedersen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2011

    Studenteropgave: Speciale

  70. High Concurrent R-tree Operations when Tracking Continuous Movement in Main Memory

    Cezar Chitac, Robertas Kerpys, Raluca Marcuta

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale

  71. Reachability Analysis for Timed Automata using Max-Plus Algebra

    Qi Lu, Michael Madsen, Martin Milata, Søren Ravn

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale

  72. Reachability Analysis for Timed Models using Max-Plus Algebra

    Qi Lu, Michael Madsen, Søren Ravn

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  73. Sequence Tree Prediction

    Mikkel Færch Hansen, Peder Sand Sørensen, Frederik Kristian Frandsen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  74. Studenteropgave: Speciale

  75. Strategy Prediction in StarCraft: Brood War using Multilayer Perceptrons

    Henrik Otte Sørensen, Johannes Garm Nielsen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  76. TileShifter: Et Peer-2-Peer Multiplayer Spil til Smartphones

    Jais Heslegrave, Thomas Justesen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  77. Udvidelse af Adfærds Træer med Klassisks Planlægning

    Søren Larsen, Jonas Øgendahl Groth

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale

  78. 2010
  79. AI Modellering: Behaviour Trees

    Anders Tankred Holm, Mads Bøgeskov

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale

  80. Android Application for Aalborg University

    Regis Louge, Antonio Arfe, Thibaut Le Guilly, Lou Guillot, Pierre Deguy

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010

    Studenteropgave: Speciale

  81. Applying Behavior Trees to StarCraft AI

    Kenneth Sejrsgaard-Jacobsen, Søren Larsen, Torkil Olsen, Long Huy Phan, Jonas Øgendahl Groth

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010

    Studenteropgave: Speciale

  82. Collaborative Filtering in Social Networks

    Sergio Mateo

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale

  83. Efficient Resource Management in StarCraft: Brood War

    Henrik Ossipoff Hansen, Lasse Juul-Jensen, Dion Christensen, Kasper Kastaniegaard

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010

    Studenteropgave: Speciale

  84. Energy Efficient Code Updates in Wireless Sensor Networks: validation and enhancement of the GCP protocol

    Peter Finderup, Thomas Birk Abildgaard, Robertas Backys

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale

  85. Studenteropgave: Speciale

  86. Hybrid Indoor Positioning: An Empirical Study in Cassiopeia

    Artur Baniukevic, Dovydas Sabonis

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale

  87. Konkrete Tidsværdier for Symbolske Eksekveringer

    Danny Bøgsted Poulsen, Jonas van Vliet

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale

  88. Measures of semantic similarity in folksonomies

    Jan Kadlec

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010

    Studenteropgave: Speciale

  89. Modeling and Verification of Extended Timed-Arc Petri Nets

    Morten Jacobsen, Lasse Jacobsen, Mikael H. Møller

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010

    Studenteropgave: Speciale

  90. Modellering og Verifikation af Timed-Arc Petri Net

    Morten Jacobsen, Lasse Jacobsen, Mikael Harkjær Møller

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale

  91. OOPEG: An Object-Oriented Parser Generator Based on Parsing Expression Grammars

    Jacob Korsgaard, Jørgen Ulrik B. Krag

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale

  92. Predicting Player Strategies in Real Time Strategy Games

    Henrik Otte Sørensen, Peder Sand Sørensen, Jakob Svane Knudsen, Johannes Garm Nielsen, Mikkel Færch Hansen, Frederik Kristian Frandsen

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010

    Studenteropgave: Speciale

  93. Smartphone Software for Department of Computer Science

    Joan Puig, Marina Fernandez, Gurvan Herve, Côme Saint-André

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2010

    Studenteropgave: Speciale

  94. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale

  95. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010

    Studenteropgave: Speciale

  96. 2009
  97. A Data Warehouse Solution for Flow Analysis Utilising Sequential Pattern Mining

    Rune Leth Wejdling, Simon Nicholas Moesby Tinggaard

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  98. A Mobile Solution for the Home Care Sector in Herning Municipality

    Lasse Soelberg, Peter Gammelholm Poulsen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  99. Automated Assignment of Employees to Work Tasks

    Lars Schunk

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  100. Continuous Live Information Monitor and Benchmarking: A JavaScript Library For Client Benchmarking and Code Modification

    Morten Bøgh, Markus Krogh

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  101. Data Access Problem on the Cell BE Architecture

    Ales Kozumplik

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2009

    Studenteropgave: Speciale

  102. Design Science Based Commercial Software Development

    Jesper Lund Andersen, Kim Markfoged

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  103. Dynamic Styling in Web Development: Creating PDSS, a Powerful Dynamic Styling Solution

    Daniel Solsø Korsgård, Michael Stampe Knudsen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  104. Exploring Interpersonal Interaction Through the Design, Evaluation, and Enhancement of a Mobile Game

    Daniel Kold, Michael Petersen

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  105. Frameworks For Privat Identifikation Af Nærved Venner

    Jeppe Rishede Thomsen, Laurynas Šikšnys

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  106. From games to executables!: Implementaions of strategies from UPPAAL TIGA

    Jesper Rosenkilde

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  107. From games to executables!

    Kenneth Blanner Holleufer, Jesper Brix Rosenkilde

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2009

    Studenteropgave: Speciale

  108. Improving the JCilk-1 Compiler and Runtime System

    Allan B. Christensen, Martin Skou, Per S. Stilling

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

  109. Modular Execution Time Analysis using Model Checking: METAMOC

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale

Forrige 1 2 3 Næste