Sökning: "stream programs"

Visar resultat 1 - 5 av 19 avhandlingar innehållade orden stream programs.

  1. 1. Efficient Software Implementation of Stream Programs

    Författare :Gustav Cedersjö; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stream programs; dataflow with firing; Kahn processes; compilers; actor machine;

    Sammanfattning : The way we use computers and mobile phones today requires large amounts of processing of data streams. Examples include digital signal processing for wireless transmission, audio and video coding for recording and watching videos, and noise reduction for the phone calls. LÄS MER

  3. 2. Tracking Information Flows in Interactive and Object-Oriented Programs

    Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information security; privacy; static analysis; information flow; program analysis; confidentiality; dependency analysis;

    Sammanfattning : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. LÄS MER

  4. 3. Scalable Streaming Graph and Time Series Analysis Using Partitioning and Machine Learning

    Författare :Zainab Abbas; Vladimir Vlassov; Peter Van Roy; Paris Carbone; Vasiliki Kalavri; Vincenzo Massimiliano Gulisano; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Stream processing; graph processing; time series; big data; machine learning; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Recent years have witnessed a massive increase in the amount of data generated by the Internet of Things (IoT) and social media. Processing huge amounts of this data poses non-trivial challenges in terms of the hardware and performance requirements of modern-day applications. LÄS MER

  5. 4. Fudgets - Purely Functional Processes with applications to Graphical User Interfaces

    Författare :Magnus Carlsson; Thomas Hallgren; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The main result of this thesis is a method for writing programs with graphical user interfaces in purely functional languages. The method is based on a new abstraction called the fudget. The method makes good use of key abstraction powers of functional languages, such as higher order functions and parametric polymorphism. LÄS MER

  7. 5. In Situ Stress Conditions Across Clay Slopes. A Study Comprising Seven Test Sites

    Författare :Karin Rankka; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The in situ stress conditions in clay slopes differ mainly depending on the stability of the slope, the soil properties, the pore pressure situation and also on which part of the slope is studied. The objective of the study is to investigate the in situ stress conditions in slopes and how they vary with seasonal variations in pore pressures and external loading conditions, such as the excavation and filling of earth material. LÄS MER