Essays about: "Control flow reconstruction"

Found 4 essays containing the words Control flow reconstruction.

  1. 1. Glacial lakes in the Torneträsk region, northern Sweden, are key to understanding regional deglaciation patterns and dynamics

    University essay from Stockholms universitet/Institutionen för naturgeografi

    Author : Karlijn Ploeg; [2022]
    Keywords : deglaciation; glacial geomorphology; LiDAR; glacial lakes; Torneträsk;

    Abstract : The prospect of sea level rise due to melting ice sheets affirms the urgency of gaining knowledge on ice sheet dynamics during deglaciation. The Fennoscandian Ice Sheet serves as an analogue, whose retreat can be reconstructed from the geomorphological record. READ MORE

  3. 2. Glacial lakes in the Torneträsk region, northern Sweden, are key to understanding regional deglaciation patterns and dynamics

    University essay from

    Author : Karlijn Ploeg; [2022]
    Keywords : deglaciation; glacial geomorphology; LiDAR; glacial lakes; Torneträsk;

    Abstract : The prospect of sea level rise due to melting ice sheets affirms the urgency of gaining knowledge on ice sheet dynamics during deglaciation. The Fennoscandian Ice Sheet serves as an analogue, whose retreat can be reconstructed from the geomorphological record. READ MORE

  4. 3. Potential of V2G in a Rural Low-Voltage Grid on Gotland for Voltage and Power Capacity Control

    University essay from

    Author : Christoffer Aalhuizen; [2019]
    Keywords : V2G; Power Systems; EV; Electric Vehicles; Vehicle-to-grid; BEV; Power capacity; Power flow analysis; PSSE; Power storage; Vehicles; Vattenfall AB; Elbilar; Elkraft; V2G; Gotland; Lastflödesanalys; PSSE;

    Abstract : The Swedish transportation sector needs to undergo major changes in order to achieve the established goals for climate and environment. The largest change is the replacement of fossil-fuelled vehicles to vehicles propelled by renewable energy sources, such as biofuels and electricity. READ MORE

  5. 4. Alternating Control Flow Graph Reconstruction by Combining Constant Propagation and Strided Intervals with Directed Symbolic Execution

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

    Author : Thomas Peterson; [2019]
    Keywords : Control flow reconstruction; Static analysis; Binary; Symbolic execution; Control flow graph; Kontrollflödesrekonstruktion; Statisk analys; Binär; Symbolisk exekvering; Kontrollflödesgraf;

    Abstract : In this thesis we address the problem of control flow reconstruction in the presence of indirect jumps. We introduce an alternating approach which combines both overand under-approximation to increase the precision of the reconstructed control flow automaton compared to pure over-approximation. READ MORE