Selaus asiasanan mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • 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 ...
    • 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 ...
    • 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 ...
    • Scalable Multicore Computing Using Dataflow and Task‐based Models 

      Georgakarakos, Georgios (Åbo Akademi University, 26.11.2021)
      Most of modern digital electronic devices and systems rely nowadays on multicore processors, in order to deliver a growing list of added‐value features and services. In this way multicore architectures have been able to ...
    • Scheduling dynamic dataflow graphs with model checking 

      Ersfolk, Johan
      TUCS Dissertations : 181 (Turku Centre for Computer Science (TUCS), 15.08.2014)
      With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel ...
    • The lattice Boltzmann method, a petaflop and beyond 

      Robertsén, Fredrik
      TUCS Dissertations : 231 (Turku Centre for Computer Science (TUCS), 20.04.2018)
      With computer simulations real world phenomena can be analyzed in great detail. Computational fluid dynamics, for example, allows simulation of fluid flow phenomena that might not otherwise be observable or researchers ...