Institut für Informatik und Computational Science
Refine
Has Fulltext
- no (26)
Document Type
- Other (26) (remove)
Language
- English (26) (remove)
Is part of the Bibliography
- yes (26)
Keywords
- Bot Detection (1)
- Edge Computing (1)
- Graph Convolutional Neural Networks (1)
- Graph Embedding (1)
- Internet (1)
- Internet of Things (1)
- M2M (1)
- MQTT (1)
- Semantic Interoperability (1)
- Social Media Analysis (1)
- Virtual reality (1)
- activities (1)
- authentication (1)
- automated driving (1)
- behavioral (1)
- complex networks (1)
- connectivity (1)
- continuous (1)
- gait (1)
- graph analysis (1)
- joint lab (1)
- locomotion (1)
- oneM2M Ontology (1)
- real-walking (1)
- reliability (1)
- risk analysis (1)
- safety (1)
- security (1)
- smartphone (1)
- verification (1)
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation
(2018)
Recently, it has been shown that constraint-based symbolic solving techniques offer an efficient way for deciding binding and routing options in order to obtain a feasible system level implementation. In combination with various background theories, a feasibility analysis of the resulting system may already be performed on partial solutions. That is, infeasible subsets of mapping and routing options can be pruned early in the decision process, which fastens the solving accordingly. However, allowing a proper design space exploration including multi-objective optimization also requires an efficient structure for storing and managing non-dominated solutions. In this work, we propose and study the usage of the Quad-Tree data structure in the context of partial assignment evaluation during system synthesis. Out experiments show that unnecessary dominance checks can be avoided, which indicates a preference of Quad-Trees over a commonly used list-based implementation for large combinatorial optimization problems.