Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • Agent-based management systems for many-core platforms : rigorous design and efficient implementation 

      Ostroumov, Sergey
      TUCS Dissertations : 196 (Turku Centre for Computer Science (TUCS), 05.06.2015)
      Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems ...
    • Computational models for and from biology : simple gene assembly and reaction systems 

      Azimi, Sepinoud
      TUCS Dissertations : 205 (Turku Centre for Computer Science (TUCS), 06.11.2015)
      The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention ...
    • Computational Network Analytics for Applications in Biomedicine 

      Popescu, Victor-Bogdan (Åbo Akademi - Åbo Akademi University, 03.06.2022)
      Network medicine has recently emerged as a field of research focusing on the analysis of networks modelling complex biological systems, for a better understanding of diseases and corresponding treatment. Building on results ...
    • Contract-Based Design of Dataflow Programs 

      Wiik, Jonatan (Åbo Akademi - Åbo Akademi University, 19.01.2024)
      Quality and correctness are becoming increasingly important aspects of software development, as our reliance on software systems in everyday life continues to increase. Highly complex software systems are today found in ...
    • Diagrammatic Languages and Formal Verification : A Tool-Based Approach 

      Parsa, Masoumeh (Åbo Akademi - Åbo Akademi University, 02.09.2022)
      The importance of software correctness has been accentuated as a growing number of safety-critical systems have been developed relying on software operating these systems. One of the more prominent methods targeting the ...
    • DIANA : Distributed and Safe Autonomous Navigation for a Swarm of Autonomous Vehicles 

      Majd, Amin (Åbo Akademi University, 07.05.2021)
      The autonomous systems are typical examples of complex distributed cyber-physical systems (CPS). The main characteristics of such systems is the use of autonomous vehicles. They are increasingly used in various mission-critical ...
    • Efficient and low-cost software defined radio on commodity hardware 

      Grönroos, Stefan
      TUCS Dissertations : 218 (Turku Centre for Computer Science (TUCS), 11.11.2016)
      As general purpose processors become faster, many signal processing functions that used to require special purpose hardware, are now feasible to perform in software. In wireless communications, this means we move towards ...
    • Energy Aware Runtime Systems for Elastic Stream Processing Platforms 

      Rexha, Hergys (Åbo Akademi - Åbo Akademi University, 22.08.2023)
      Following an invariant growth in the required computational performance of processors, the multicore revolution started around 20 years ago. This revolution was mainly an answer to power dissipation constraints restricting ...
    • Energy aware software for many-core systems 

      Holmbacka, Simon
      TUCS Dissertations : 208 (Turku Centre for Computer Science (TUCS), 11.12.2015)
      Many-core systems provide a great potential in application performance with the massively parallel structure. Such systems are currently being integrated into most parts of daily life from high-end server farms to desktop ...
    • Examining human-centered design practice in the mobile apps era 

      Eshet, Eyal
      TUCS Dissertations : 212 (Turku Centre for Computer Science (TUCS), 10.06.2016)
      Human-Centered Design (HCD) is a well-recognized approach to the design of interactive computing systems that supports everyday and professional lives of people. To that end, the HCD approach put central emphasis on the ...
    • Formal Analysis of Network Routing Protocols 

      Kamali, Mojgan
      TUCS Dissertations : 242 (Turku Centre for Computer Science (TUCS), 23.08.2019)
      The use of wireless networks has been on the rise for some time now, from the ubiquitous smart phones and laptops in use everywhere, to sensor networks collecting large amounts of data. In this dissertation, we focus on ...
    • Formal development of resilient distributed systems 

      Pereverzeva, Inna
      TUCS Dissertations : 203 (Turku Centre for Computer Science (TUCS), 02.10.2015)
      Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the ...
    • Formal Model Refinement for Complex Biological Systems 

      Sanwal, Muhammad Usman (Åbo Akademi - Åbo Akademi University, 20.03.2020)
      There is a big interest in building large biological models and various approaches are being used for constructing such systems. Larger models are needed in system-level approaches (such as systems biology, systems medicine, ...
    • Formal modelling for digital media distribution 

      Sandvik, Petter
      TUCS Dissertations : 206 (Turku Centre for Computer Science (TUCS), 13.11.2015)
      Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological ...
    • How computer programmers work : understanding software development in practise 

      Suenson, Espen
      TUCS Dissertations : 197 (Turku Centre for Computer Science (TUCS), 12.06.2015)
      Hur arbetar en framgångsrik programmerare? Uppgifterna att programmera datorspel och att programmera industriella, säkerhetskritiska system verkar tämligen olika. Genom en noggrann empirisk undersökning jämför och kontrasterar ...
    • Knowledge-lean Text Mining 

      Rönnqvist, Samuel
      TUCS Dissertations : 227 (Turku Centre for Computer Science (TUCS), 08.12.2017)
      This thesis explores the process of introducing text mining to new areas of application, which involves both defining appropriate types of analysis and often designing appropriate computational methods to support the ...
    • Model-based testing of software systems : functionality and performance 

      Abbors, Fredrik
      TUCS Dissertations : 202 (Turku Centre for Computer Science (TUCS), 04.09.2015)
      Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, ...
    • Model-based Verification and Testing of Web services : Functionality, Robustness and Vulnerability Analysis 

      Siavashi, Faezeh (Åbo Akademi - Åbo Akademi University, 04.04.2020)
      -
    • Model-driven development and verification of fault tolerant systems 

      Javed, Kashif
      TUCS Dissertations : 223 (Turku Centre for Computer Science (TUCS), 24.05.2017)
      Dependability is an ability of a computer-based system to deliver services that can be justifiably trusted. There is a wide range of computer-based systems that provide services that are critical for our society, e.g., ...
    • Optimizing Stateful Serverless Computing 

      Byholm, Benjamin (Åbo Akademi University, 28.05.2021)
      Stateful serverless computing is a new paradigm within cloud computing. It successfully incorporates state management with serverless computing. Serverless computing is a form of cloud computing where the servers necessary ...