Sökning: "Compositionality"

Visar resultat 11 - 14 av 14 avhandlingar innehållade ordet Compositionality.

  1. 11. Analysis, Design, and Optimization of Embedded Control Systems

    Författare :Amir Aminifar; Petru Eles; Zebo Peng; Giorgio Buttazzo; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Control Systems; Cyber-Physical Systems; System Design and Optimization; Controller Synthesis; Real-Time Scheduling; Predictability; Self-Triggered Control;

    Sammanfattning : Today, many embedded or cyber-physical systems, e.g., in the automotive domain, comprise several control applications, sharing the same platform. LÄS MER

  3. 12. Scalable and Reliable Data Stream Processing

    Författare :Paris Carbone; Seif Haridi; Peter Pietzuch; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; distributed systems; stream processing; data management; databases; distributed computing; data processing; fault tolerance; database optimisation; programming systems; data science; data analytics; computer science; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Data-stream management systems have for long been considered as a promising architecture for fast data management. The stream processing paradigm poses an attractive means of declaring persistent application logic coupled with state over evolving data. LÄS MER

  4. 13. Dynamic Enforcement of Differential Privacy

    Författare :Hamid Ebadi Tavallaei; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; differential privacy;

    Sammanfattning : With recent privacy failures in the release of personal data, differential privacy received considerable attention in the research community. This mathematical concept, despite its young age (Dwork et al. LÄS MER

  5. 14. Structure-driven derivation of inter-lingual functor-argument trees for multi-lingual generation

    Författare :Stefan Svenberg; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We show how an inter-lingual representation o messages can be exploited for natural language generation of technical documentation into Swedish and English in a system called Genie. Genie has a conceptual knowledge base of the facts considered as true in the domain. A user queries the knowledge base for the facts she wants the document to include. LÄS MER