Heuristics for Hierarchical Partitioning With Application to Model Checking

BRICS Report Series
doi 10.7146/brics.v7i21.20148
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking

Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
2019English

Application of Optimization Heuristics for Complex Astronomical Object Model Identification

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2014English

Local Search With Edge Weighting and Configuration Checking Heuristics for Minimum Vertex Cover

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Tool Support for Model Checking of Web Application Designs

English

Hierarchical Label Partitioning for Large Scale Classification

2015English

Optimization Algorithms for Hierarchical Problems With Application to Nanoporous Materials

SIAM Journal on Optimization
Theoretical Computer ScienceSoftware
2012English

Hyper-Heuristics for Explicit Resource Partitioning in Simultaneous Multi-Threaded Processors

Turkish Journal of Electrical Engineering and Computer Sciences
Electronic EngineeringElectricalComputer Science
2020English

A Guide to Bayesian Model Checking for Ecologists

2017English

Analysis of Heuristics for Stochastic Programming: Results for Hierarchical Scheduling Problems

Mathematics of Operations Research
Management ScienceComputer Science ApplicationsOperations ResearchMathematics
1983English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy