Sökning: "Implementation"

Visar resultat 16 - 20 av 4425 avhandlingar innehållade ordet Implementation.

  1. 16. Efficient symbolic state exploration of timed systems : Theory and implementation

    Författare :Johan Bengtsson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. LÄS MER

  3. 17. Asynchronous Algorithms for Large-Scale Optimization : Analysis and Implementation

    Författare :Arda Aytekin; Mikael Johansson; Panagiotis K. Patrinos; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; convex optimization; optimization; asynchronous algorithms; algorithms; parallel algorithms; large-scale; big data; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : This thesis proposes and analyzes several first-order methods for convex optimization, designed for parallel implementation in shared and distributed memory architectures. The theoretical focus is on designing algorithms that can run asynchronously, allowing computing nodes to execute their tasks with stale information without jeopardizing convergence to the optimal solution. LÄS MER

  4. 18. Asynchronous First-Order Algorithms for Large-Scale Optimization : Analysis and Implementation

    Författare :Arda Aytekin; Mikael Johansson; Lin Xiao; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; convex; optimization; asynchronous; algorithms; parallel; distributed; large-scale; big data; software; serverless; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Developments in communication and data storage technologies have made large-scale data collection more accessible than ever. The transformation of this data into insight or decisions typically involves solving numerical optimization problems. LÄS MER

  5. 19. Evaluation of automatic text summarizaiton : a practical implementation

    Författare :Martin Hassel; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  7. 20. Active Noise Control in Ventilation Systems : Practical Implementation Aspects

    Författare :Martin Larsson; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : In many kinds of buildings, the ventilation is handled by a mechanical ventilation system. Such ventilation systems constitute a well known source of broadband noise. LÄS MER