Essays about: "Top-down compilation"

Found 3 essays containing the words Top-down compilation.

  1. 1. Empirical Evaluation of Construction Methods for Relaxed Decision Diagrams in Scheduling

    University essay from Linköpings universitet/Programvara och system

    Author : Dennis Berntsson; [2023]
    Keywords : Decision diagrams; Discrete optimization; Dynamic programming; Scheduling; Top-down compilation; Incremental refinement;

    Abstract : Decision diagrams have recently emerged as a promising approach for difficult scheduling problems, along with other challenging discrete optimization problems. Decision diagrams can offer a compact representation of the solution space, and has the ability to capture complex constraints that are hard to model or express in other techniques. READ MORE

  3. 2. Developing a Bottom Up Cost Calculation Model and Methodology for Thermal Storage Applications

    University essay from KTH/Kraft- och värmeteknologi

    Author : Thomas Li; [2019]
    Keywords : Thermal Storage; Bottom up cost calculation; Methodology; Molten Salt; CSP; Ice thermal Storage;

    Abstract : Increasing storage for energy is one of the most important challenges today to overcome in order to enable higher penetration of renewable energy in the existing energy systems. Thermal storage is one category of energy storage that has been successfully demonstrated in a number of engineering projects and is showing promising potential in the future. READ MORE

  4. 3. A physical accounting model for monitoring material flows in urban areas with application to the Stockholm Royal Seaport district

    University essay from KTH/Hållbar utveckling, miljövetenskap och teknik

    Author : Asterios Papageorgiou; [2018]
    Keywords : Urban Metabolism; Physical Input Output Table; Material Flow Analysis; Stockholm Royal Seaport; Bottom-up data;

    Abstract : There is a plethora of methods and tools that can be used for the assessment of Urban Metabolism. Nevertheless, there is no standardized method for accounting of material flows within and across the boundaries of urban systems. READ MORE