Masteruppsatser: Recent submissions
Visas titlar 161-180 av 208
-
Adding an LLVM Backend to Bigloo Scheme
(2013-10-17) -
Visualization of a finite first order logic model
(2013-10-17)Creating visualizations of nite rst order logic models can be very bene cial for users studying the models as it provides an additional aid for the user and makes it easier for the user to understand and comprehend the ... -
Integrated project risk management in program context
(2013-10-03)Ericsson Money Services as a financial software program develops mobile services the aim of which is to provide worldwide money transactions. The development of the service includes multifunctional processes and a number ... -
A study on the improvement of the Bus driver’s User interface
(2013-10-03)A bus driver performs several different tasks and receives lot of information during the work day. Located on the dashboard is a graphical screen which shows different kind of information to the drivers. This information ... -
Study of Convolution Algorithms using CPU and Graphics Hardware
(2013-10-03)In this thesis we evaluate different two-dimensional image convolution algorithms using Fast Fourier Transform (FFT) libraries on the CPU and on the graphics hardware, using Compute Unified Device Architecture (CUDA). The ... -
Adaptable Controlled Natural Languages for Online Query Systems
(2013-05-17)This workintroduces atechnique for adapting GF7 basedquery systems.This technique is implemented in a travel planning query system in two ways. Firstly, users can customize the systemto their own needs and definesynonyms ... -
Evaluation of Model-Based Testing for Embedded Systems based on the Example of the Safety-Critical Vehicle Functions
(2012-11-28)Along with the announcement of vehicle safety standards, e.g. ISO 26262, ESP and AUTOSAR, embedded systems are used widely to realize the safety function in the automotive domain. Due to the increased number of sensors ... -
A Structured Editor for Labelled Bracket Notation
(2012-09-21)This report describes the development and resulting product of a web-based editor for a simple programming language. This language is an extension of simply typed lambda calculus and labelled bracket notation, with a simple ... -
Testing a distributed Wiki web application with QuickCheck
(2012-09-18)Web applications are complex, heterogeneous and dynamic. To ensure their correct functional behaviour is a difficult task and by simply using unit testing and manually generated test cases it may be difficult to detect ... -
deco - A decomposition program for NMR projection experiments
(2012-09-18)In protein NMR high dimensional spectra are difficult to measure because long measurement times and low signal to noise. To overcome this barrier fast acquisition techniques have been developed. One of these is projection ... -
Utilizing the Value State Dependence Graph for Haskell
(2012-08-21)Modern compilers use control flow based intermediate representations for representing programs during code optimization and generation. However, many optimizations tend to rely not on the explicit representation of control ... -
deco - A decomposition program for NMR projection experiments
(2012-08-13)In protein NMR high dimensional spectra are difficult to measure because long measurement times and low signal to noise. To overcome this barrier fast acquisition techniques have been developed. One of these is projection ... -
Testing a distributed Wiki web application with QuickCheck
(2012-08-13)Web applications are complex, heterogeneous and dynamic. To ensure their correct functional behaviour is a difficult task and by simply using unit testing and manually generated test cases it may be difficult to detect ... -
Extending OGRE with Light Propagation Volumes
(2012-08-13)OGRE is a popular open source rendering engine that offers an extensive set of core features. For more advanced rendering techniques, however, the engine must be extended in various ways. The term Global Illumination ... -
Guidelines for Multilingual Software Development
(2012-08-06)For software products to be effectively usable by an international audience, they must be localized, or translated, to suite the target user group’s culture and language. Multilingual software development is a vast topic ... -
Designing User Interfaces for Mobile Web
(2012-08-06)The popularity of modern mobile phones has led to more people using their mobile phones to access the Internet. The majority of web sites today are not designed to adapt to the smaller screens and other limitations of ... -
Contract Checking for Feldspar
(2012-05-25)"Contracts play an important role in the construction of robust software" [13]. Program invariants are expressed in familiar notation with known semantics by using contracts. Assertions based on contracts has been widely ... -
Feasibility evaluation of Business Intelligence tools as measurement systems: an industrial case study
(2012-04-27)Context: Collecting, analyzing and presenting software metrics are common practices in the software engineering industry. These practices can be done by using either dedicated tools like Rational Insight or tools which ... -
The COSMIC EPC method - An ERP functional size measurement method delivering time and cost estimates
(2012-04-27)Background: The implementation of ERP (Enterprise Resource Planning) systems is substantially different than technology orientated software applications e.g. embedded software. The ERP domain is recognized with a high ... -
Visualization of Log Files of Embedded Broadband Modules
(2012-04-27)BACKGROUND: Exponential increase in the amount of software in consumer telecom products has resulted in growing needs for resolving maintenance issues together with customers. The resolutions often require understanding ...