Offline avionics scheduling subproblems using decomposition methods. : Hybridisation between Constraint Programming and Mixed Integer Programming.

Offline avionics scheduling subproblems using decomposition methods. : Hybridisation between Constraint Programming and Mixed Integer Programming.

Bibliographic Details
Main Author:	Escher, David
Format:	Others
Language:	English
Published:	Uppsala universitet, Institutionen för informationsteknologi 2018
Subjects:	Engineering and Technology Teknik och teknologier
Online Access:	http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-393258

Similar Items

Evaluation of mixed integer linear programming solvers when applied to a biogas reactor system model
by: Lundmark, Olle
Published: (2018)

Design and Acceleration of Linear Integer System Solver on Programmable SoC
by: Gandhi, Jagadeep Ram
Published: (2019)

CONGESTION-CONTROLLED AUTOTUNING OF OPENMP PROGRAMS
by: af Geijerstam, Klas
Published: (2019)

Assembling and programming an IoT scale sensor
by: Almroth, Johannes
Published: (2020)

Effects of Thread-Local Task Trees in the CHT-MPI C++ Programming Library for the Chunks and Tasks Programming Model
by: Rogers, Joseph
Published: (2018)

Interacting Particle Inferencefor Probabilistic Programming in Haskell
by: Engström, Per
Published: (2018)

Quadratic Programming Models in Strategic Sourcing Optimization
by: Ahlbom, Daniel
Published: (2017)

Parallel Performance Comparison between Encore and OpenMP using Pedestrian Simulation
by: Escher, David
Published: (2017)

Quantum programming and simulation of the Hubbard model using Q#
by: Hintze, Henric
Published: (2020)

Evaluating Functional Programming for Software Quality in REST APIs
by: Coquand, Marc
Published: (2019)

ROBOREBECA: A NEWFRAMEWORK TO DESIGN VERIFIED ROS-BASED ROBOTIC PROGRAMS
by: Dehnavi, Saeid
Published: (2019)

Development of a prototype program for configuring Vapour Recovery in fuel dispensers
by: Fridsten, Jonatan, et al.
Published: (2018)

Energy-Aware Task Scheduling in Contiki
by: Alabi, Derrick
Published: (2017)

Bus Scheduling including Dynamic Events
by: Anagnostopoulos, Eleftherios
Published: (2017)

Scheduling Network PerformanceMonitoring in The Cloud
by: Clegg, Mathew
Published: (2017)

Decomposition Methods for Representations of Quivers appearing in Topological Data Analysis
by: Lindell, Erik
Published: (2017)

Connecting high and low: Adaption and use of tools to increase students’understanding in programming
by: Annala, Mark
Published: (2021)

Optimization Workflow for Flat Slab Systems : Using Parametric Design with Visual programming
by: Lindstrand, Klas, et al.
Published: (2018)

Visualizing large page mappingsA tool to understand memory mappings of program
by: Olsson, Robin
Published: (2021)

Change in heating costs for different renovation alternatives of a million-housing program building
by: Alexandersson, Robert, et al.
Published: (2019)

Job Scheduling Using Neural Network in Environment Inspection
by: Chenqi, Cao
Published: (2017)

Optimization of scheduling the use of vats during the wine fermentation process
by: Ekner, Frida, et al.
Published: (2020)

Implementation of an Age of Information-aware Scheduler for Resource Constrained Devices
by: Wirne, Lukas
Published: (2019)

Functional Programming and Legacy Software Using PureScript to Extend a Legacy JavaScript System
by: Fischer, Christian
Published: (2018)

PHOTOVOLTAIC ELECTRIFICATION IN CAMEROON : - A study for the Renewable Energy Program initiated by Engineers Without Borders SWE
by: Agerberg, Anton, et al.
Published: (2017)

The Perfect Test Mix
by: JENDEBERG, DANIEL
Published: (2017)

Adapting a Constraint-Based Compiler Tool to a New VLIW Architecture
by: Kjellin, Martin
Published: (2019)

Designing and implementing a load aware scheduler for machine learning jobs
by: Song, Jialun
Published: (2021)

A Heterogeneous Platform Description Model For Real-Time Scheduling Tools
by: Nguyen, Duc Anh
Published: (2020)

Human-Aware Planning for Promoting Social Behavior-Change in AutismAn action reasoning approach utilizing answer set programming
by: Brännström, Andreas
Published: (2020)

Job-Scheduling for automated Car Parking Systems : A Machine Learning Approach
by: Lödige, Jan
Published: (2018)

Safety-critical Control in MixedCriticality Embedded Systems : A Study on Mixed Criticality in the AutomotiveIndustry
by: HJELM, EMIL
Published: (2017)

Application of Daedal in Huawei’s Base Station Scheduler and Enlargement of Extended Data-Race-Free Regions through Conflict Isolation
by: Ekemark, Per
Published: (2018)

What possibilities and hindrances do mathematics and technology teachers express regarding teaching programming in compulsory school?
by: Teppattra, Somporn
Published: (2017)

Clean cooking in sub-Saharan Africa: modeling the cooking fuel mix to 2050
by: Casteleyn, Henri
Published: (2017)

Motion constraints for self-driving vehicles during safe stop maneuvers : A proprietary method and a modification of an existing method for finding speed limitations
by: Blixt, Jonathan, et al.
Published: (2017)

Mathmatics with graphical programming
by: Wahlström, Olle
Published: (2017)

Cavern Thermal Energy Storage for District Cooling. Feasibility Study on Mixing Mechanism in Cold Thermal Energy Storage
by: Alfasfos, Rami
Published: (2017)

Design and Proof-of-Concept Implementation of Interactive Video Streaming with DASH.js
by: Lam, Benny, et al.
Published: (2017)

Brandpåverkan och dimensionering av bärande delar
by: Al-Hayali, Anas, et al.
Published: (2017)