Sökning: "datalogi"

Visar resultat 11 - 15 av 647 avhandlingar innehållade ordet datalogi.

  1. 11. Formal Verification of Peripheral Memory Isolation

    Författare :Jonas Haglund; Roberto Guanciale; Mads Dam; Gligor Virgil; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; interactive theorem proving; direct memory access; memory isolation; input output; formell verifiering; interaktiv datorassisterad beviskonstruktion; direkt minnesåtkomst; minnesisolering; indata utdata; Datalogi; Computer Science;

    Sammanfattning : In many contexts, computers run both critical and untrusted software,necessitating the need for isolating critical software from untrusted software.These computers contain CPUs, memory and peripherals. LÄS MER

  3. 12. Hardness of Constraint Satisfaction and Hypergraph Coloring : Constructions of Probabilistically Checkable Proofs with Perfect Completeness

    Författare :Sangxia Huang; Johan Håstad; Rishi Saket; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Combinatorial optimization; approximation; inapproximability; hardness; probabilistically checkable proofs; pcp; perfect completeness; boolean constraint satisfaction problem; csp; graph coloring; hypergraph coloring; direct sum; superposition; label cover; Computer Science; Datalogi;

    Sammanfattning : A Probabilistically Checkable Proof (PCP) of a mathematical statement is a proof written in a special manner that allows for efficient probabilistic verification. The celebrated PCP Theorem states that for every family of statements in NP, there is a probabilistic verification procedure that checks the validity of a PCP proof by reading only 3 bits from it. LÄS MER

  4. 13. Privacy in the Age of Autonomous Systems

    Författare :Md Sakib Nizam Khan; Sonja Buchegger; Simone Fischer-Hübner; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; privacy; autonomous systems; IoT; smart home; Computer Science; Datalogi;

    Sammanfattning : Autonomous systems have progressed from theory to application especially in the last decade, thanks to the recent technological evolution. The number of autonomous systems in our surroundings is increasing rapidly. Since these systems in most cases handle privacy-sensitive data, the privacy concerns are also increasing at a similar rate. LÄS MER

  5. 14. Towards Privacy Preserving Intelligent Systems

    Författare :Md Sakib Nizam Khan; Sonja Buchegger; Vicenc Torra; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Privacy; Intelligent Systems; Synthetic data; Machine Learning; Datalogi; Computer Science;

    Sammanfattning : Intelligent systems, i.e., digital systems containing smart devices that can gather, analyze, and act in response to the data they collect from their surrounding environment, have progressed from theory to application especially in the last decade, thanks to the recent technological advances in sensors and machine learning. LÄS MER

  7. 15. Learning-based Testing for Automotive Embedded Systems : A requirements modeling and Fault injection study

    Författare :Hojat Khosrowjerdi; Karl Meinke; Dilian Gurov; Cristina Seceleanu; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Machine learning; fault injection; requirements testing; embedded systems; model checking; automotive software; requirements modeling; Computer Science; Datalogi;

    Sammanfattning : This thesis concerns applications of learning-based testing (LBT) in the automotive domain. In this domain, LBT is an attractive testing solution, since it offers a highly automated technology to conduct safety critical requirements testing based on machine learning. LÄS MER