Essays about: "Reactive programming"

Showing result 16 - 20 of 34 essays containing the words Reactive programming.

  1. 16. Extracting scalable program models for TLA model checking

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Anders Ågren Thuné; Theo Puranen Åhfeldt; [2020]
    Keywords : ;

    Abstract : Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number of systems and program verification tools for dealing with temporal logic have been developed. READ MORE

  3. 17. The impact of reactive programming on code complexity and readability: A Case Study

    University essay from Mittuniversitetet/Institutionen för data- och systemvetenskap

    Author : Gustaf Holst; Alexander Gillberg; [2020]
    Keywords : Reactive programming; code quality; software readability; code complexity; Reaktiv programmering; kodkvalitet; läsbarhet; kodkomplexitet;

    Abstract : Reaktiv programmering är ett programmeringsparadigm som har utvecklats för att underlätta byggande av händelsedrivna reaktiva applikationer. Dess förespråkare hävdar att det kan leda till ökad kodkvalitet, men få studier har utförts för att underbygga dessa påståenden empiriskt. READ MORE

  4. 18. Analysis of autonomous flight algorithms for an unmanned aerial vehicle

    University essay from Umeå universitet/Institutionen för fysik

    Author : Mattias Sjöberg; [2018]
    Keywords : UAV; SLAM; Split-And-Merge; APFA; V-REP; Inverse dynamics; FBLC; EKF;

    Abstract : Unmanned Aerial Vehicles (UAV) have been heavily studied in the past decade, where autonomous flights have been a popular subject. More complex applications have led to higher requirements on the autonomous flight algorithms and the absence of performance data complicates the selection of what algorithm to use for various applications. READ MORE

  5. 19. Reactive power management capabilities of Swedish sub-transmission and medium voltage level grid

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Michal Tomaszewski; [2018]
    Keywords : electric power systems; reactive power; sub-transmission level grids; PSS E; power ow analysis; wind farms; smart grids; droop control; elektriska system; reaktiv eekt; mellan spanningsnivan; PSS E; strom odesanalys; vindkraftparker; smarta nat; droop control;

    Abstract : Rising penetration of renewable energy sources in electric power grids isboth a challenge and an opportunity to optimally utilize the potential of eitherwind or PV energy sources, to stabilize operation of future power systems.Bi-directional ows between distribution and transmission system operatorscause signicant problems with keeping the voltages in the grid within admissiblelimits. READ MORE

  6. 20. Functional and Reactive Patterns in Idiomatically Imperative Programming Languages

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Jesper Sandström; [2018]
    Keywords : Functional Programming; Reactive Programming; Software Architecture; Programming patterns; Programming Paradigms;

    Abstract : Functional and reactive programming patterns provide powerful sets of tools for dealing with complexity and scalability. These stand in stark contrast to the imperative programming patterns which permeate the industry. READ MORE