Essays about: "Reactive Programming"
Showing result 16 - 20 of 34 essays containing the words Reactive Programming.
-
16. Extracting scalable program models for TLA model checking
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
17. The impact of reactive programming on code complexity and readability: A Case Study
University essay from Mittuniversitetet/Institutionen för data- och systemvetenskapAbstract : 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
-
18. Analysis of autonomous flight algorithms for an unmanned aerial vehicle
University essay from Umeå universitet/Institutionen för fysikAbstract : 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
-
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)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
-
20. Functional and Reactive Patterns in Idiomatically Imperative Programming Languages
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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