Subject
Hardware and Architecture,Software
Reference30 articles.
1. T. Amon, G. Boriello, An approach to symbolic timing verification, in: Proceedings of the 29th ACM/IEEE Design Automation Conference, 1992, pp. 410–413
2. S. Bakshi, D.D. Gajski, A scheduling and pipelining for hardware/software systems, in: Proceedings of the 10th International Symposium on System Synthesis, Antwerp, Belgium, 17–19 September, 1997
3. N. Beldiceanu, E. Bourreau, H. Simonis, P. Chan, Partial search strategy in CHIP, Presented at the Second Metaheuristic International Conference MIC97, Sophia Antipolis, France, 21–24 July, 1997
4. A. Bender, Design an optimal loosely coupled heterogeneous multiprocessor system, in: Proceedings of the European Design and Test Conference, Paris, France, 11–14, March, 1996, pp. 275–281
5. U. Bierker, P. Marwedel, Retargetable self-test program generation using constraint logic programming, in: Proceedings of the 32nd ACM/IEEE Design Automation Conference, 1995, pp. 605–611
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. GRanDE: Graphical Representation and Design Space Exploration of Embedded Systems;2019 22nd Euromicro Conference on Digital System Design (DSD);2019-08
2. Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems;Automated Software Engineering;2018-11-26
3. A Meta-Framework for Design Space Exploration;2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems;2011-04
4. DesertFD: a finite-domain constraint based tool for design space exploration;Design Automation for Embedded Systems;2009-12-19
5. On the Use of DesertFD to Generate Custom Architectures for H.264 Motion Estimation;15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008);2008-03