Browsing Masteruppsatser by Title
Now showing items 233-242 of 242
-
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 ... -
Variability Management in Robotic Systems: A Variability-Modelling Language That Implements Variation Points Based On Binding Time and Binding Mode
(2022-02-02)Technological advancements have led to a growing demand for efficient solutions that minimise risk and maximise efficiency when it comes to performing tasks in nondeterministic environments. In the wake of the current ... -
Virus Attenuation by Genome-Wide Alterations of Genomic Signatures
(2015-07-06)Despite enormous efforts in biomedical research there is still a shortage of safe and efficacious viral vaccines. To develop a new vaccine is also costly and time consuming. We propose a synthetic biology approach for ... -
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 ... -
Visualization of Electrical Architectures In the Automotive Domain Based on the Needs of Stakeholders
(2016-06-27)The use of software in automotive engineering keeps on growing higher every year. This has an impact on a data stored in a database in such a way that a structure of data stored becomes complex due to hierarchy and hence ... -
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 ... -
Visualizing cyber attacks with misuse case maps
(2017-06-21)Business processes require a supporting technical architecture enabling their realization. The secure design of this architecture has key importance in the future of the business; however there are not many notations which ... -
Visualizing Distributed Algorithms on the Seattle Platform
(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 ... -
Voice Recognition Approach for Technical Support at Volvo
(2015-08-11)This exploratory case study presents the results of using a mobile-based Automated Speech Recognition solution in noisy environment to improve the usability of an IT system. Interviews, observations and qualitative ... -
XML export and import of Modelica models
(2015-04-15)Modelica is a language primarily used for simulation of physical systems but other use cases such as optimization and control design are increasing. New use cases introduce a di erent set of algorithms to work with the ...