Search for dissertations about: "register data"

Showing result 1 - 5 of 948 swedish dissertations containing the words register data.

  2. 1. Integrated Register Allocation and Instruction Scheduling with Constraint Programming

    Author : Roberto Castañeda Lozano; Christian Schulte; Mats Carlsson; Ingo Sander; Peter van Beek; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; Computer Science; Datalogi;

    Abstract : This dissertation proposes a combinatorial model, program representations, and constraint solving techniques for integrated register allocation and instruction scheduling in compiler back-ends. In contrast to traditional compilers based on heuristics, the proposed approach generates potentially optimal code by considering all trade-offs between interdependent decisions as a single optimization problem. READ MORE

  4. 2. Constraint-Based Register Allocation and Instruction Scheduling

    Author : Roberto Castañeda Lozano; Christian Schulte; Ingo Sander; Mats Carlsson; Laurent Michel; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; constraint programming; combinatorial optimization; register allocation; instruction scheduling; compiler construction; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to improve latency or throughput) are central compiler problems. This dissertation proposes a combinatorial optimization approach to these problems that delivers optimal solutions according to a model, captures trade-offs between conflicting decisions, accommodates processor-specific features, and handles different optimization criteria. READ MORE

  5. 3. Coarctation of the aorta : register and imaging studies

    Author : Daniel Rinnström; Bengt Johansson; Michael Henein; Martin Ugander; Gerhard-Paul Diller; Umeå universitet; []
    Keywords : MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICIN OCH HÄLSOVETENSKAP; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICAL AND HEALTH SCIENCES; coarctation of the aorta; adult congenital heart disease; hypertension; left ventricular hypertrophy; body mass index; height; weight; register; CMR;

    Abstract : Background Coarctation of the aorta (CoA) constitutes 5-8 % of all congenital heart disease (CHD) and is associated with long-term complications such as hypertension (HTN) and left ventricular hypertrophy (LVH). Factors associated with HTN, LVH, and diffuse myocardial fibrosis, are not yet fully explored in this population. READ MORE

  6. 4. From data collection to electric grid performance : How can data analytics support asset management decisions for an efficient transition toward smart grids?

    Author : Sylvie Evelyne Koziel; Patrik Hilber; Per Westerlund; Ebrahim Shayesteh; Iordanis Koutsopoulos; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; asset management; data analytics; data management; distribution system operators; electrical power grid; machine learning; real-world datasets; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Physical asset management in the electric power sector encompasses the scheduling of the maintenance and replacement of grid components, as well as decisions about investments in new components. Data plays a crucial role in these decisions. READ MORE

  7. 5. Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data

    Author : Sofia Cassel; Bengt Jonsson; Frits Vaandrager; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Formal models are often used to describe the behavior of a computer program or component. Behavioral models have many different usages, e.g., in model-based techniques for software development and verification,such as model checking and model based testing. READ MORE