Avancerad sökning

Visar resultat 1 - 5 av 17 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Efficient Modelling and Synthesis of Data Intensive Reconfigurable Systems

    Författare :Per Andersson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; kontroll; Systems engineering; numerisk analys; system; control; Datalogi; numerical analysis; systems; Data Flow Graphs; Data Flow Modlling; computer technology; Data- och systemvetenskap; Computer science; Hardware Compilation; Synthesis;

    Sammanfattning : Digital systems are integrated in our environment and have become a natural part of our every day life. As we rely more on these systems our expectations on them increases. We expect them to perform new tasks, communicate and cooperate. The complexity of these systems are increasing. LÄS MER

  3. 2. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

    Författare :Idriss Riouak; Programvaruteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

    Sammanfattning : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. LÄS MER

  4. 3. Go the Extra Mile for Accountability : Privacy Protection Measures for Emerging Information Management Systems

    Författare :Jenni Reuben; Simone Fischer-Hübner; Sabrina Kirrane; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; accountability; Privacy By Design PdD ; privacy risks; Privacy Impact Assessment PIA ; audits; privacy compliance; access control; differential privacy; graphs; edge-labeled graphs; Semantic Web; Computer Science; Datavetenskap;

    Sammanfattning : The thesis considers a systematic approach to design and develop techniques for preventing personal data exposure in next generation information management systems with the aim of ensuring accountability of data controllers (entities that process personal data).With a rapid growth in the communication technologies, heterogenous computing environments that offer cost-effective data processing alternatives are emerging. LÄS MER

  5. 4. Dynamic Matrix Algorithms and Applications in Convex and Combinatorial Optimization

    Författare :Jan van den Brand; Danupon Na Nongkai; Santosh Vempala; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Dynamic Algorithm; Data Structure; Optimization; Linear Program; Bipartite Matching; Shortest Path; Maximum Flow; Minimum Cost Flow; Diameter; Computer Science; Datalogi;

    Sammanfattning : Dynamic algorithms are used to efficiently maintain solutions to problems where the input undergoes some changes.This thesis studies dynamic algorithms that maintain solutions to linear algebra problems and we explore their applications and implications for dynamic graphs and optimization problems. LÄS MER

  7. 5. Three Specialized Computer Architectures for Functional Program Execution

    Författare :Jonas Vasell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; computer architectures; G-machine; programming languages; program compilation techniques; VLSI implementation; performance; array architecture;

    Sammanfattning : Functional programming languages offer a new programming paradigm with many advantages over the more conventional imperative or procedural programming languages. However, these new languages are not as well adapted to the existing computers as the conventional languages, which results in low performance. LÄS MER