Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Theory of linear and integer programming
Theory of linear and integer programming
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Computer
EXPLORA - Generic Design Space Exploration during Embedded System Synthesis
DIPES '00 Proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems
Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints
Proceedings of the tenth international symposium on Hardware/software codesign
System-level synthesis of adaptive computing systems
System-level synthesis of adaptive computing systems
Methods for evaluating and covering the design space during early design development
Integration, the VLSI Journal
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
Automated Design Space Exploration for DSP Applications
Journal of Signal Processing Systems
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
S.P.L.O.T.: software product lines online tools
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
PISA: a platform and programming language independent interface for search algorithms
EMO'03 Proceedings of the 2nd international conference on Evolutionary multi-criterion optimization
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Lazy clause generation reengineered
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Towards a generic quality optimisation framework for component-based system models
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Towards quality driven exploration of model transformation spaces
Proceedings of the 14th international conference on Model driven engineering languages and systems
A model-driven framework for guided design space exploration
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Constraint-Driven modeling through transformation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Systematic guidance in solving performance and scalability problems
Proceedings of the 18th international doctoral symposium on Components and architecture
The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.00 |
Design Space Exploration (DSE) is the exploration of design alternatives before the implementation. Existing DSE frameworks are domain-specific where the representation, evaluation method as well as exploration algorithm are tightly coupled with domain-dependent assumptions. Although the tasks involved in DSE are similar, the inflexibility of the existing frameworks restricts their reuse for solving DSE problems from other domains. This paper presents an MDE-based approach for generalizing DSE techniques. The framework supports a reconfigurable representation of a design space, which is decoupled from exploration algorithm. The framework can be configured to solve DSE problems from different domains and enables the designer to experiment with different approaches to solve the same problem with minimum effort. The main contributions of this framework are: (1) rapid modeling of DSE problems, (2) reuse of previously defined artifacts, (3) multiple solver support and (4) a tool for scalability study.