Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christian Haubelt
Towards Scalable System-Level Reliability Analysis
Initial Population Construction for Convergence Improvement of MOEAs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Feasibility-Preserving Local Search Operator for Constrained Discrete Optimization Problems
Accelerating Design Space Exploration Using Pareto-Front Arithmetics
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
Classification of General Data Flow Actors Into Known Models of Computation