Configware design space exploration using rewriting logic

被引：0
|
作者：
Morra, C. [1 ]
机构：
[1] Univ Karlsruhe, ITIV, Karlsruhe, Germany
来源：
2006 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：931 / 932
页数：2
相关论文
共 50 条
  • [41] Erasure in design space exploration
    Woodbury, R
    Datta, S
    Burrow, A
    ARTIFICIAL INTELLIGENCE IN DESIGN '00, 2000, : 521 - 543
  • [42] Design space exploration revisited
    Van Langen, PHG
    Brazier, FMT
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2006, 20 (02): : 113 - 119
  • [43] Design Space Exploration for Security
    Kang, Eunsuk
    2016 IEEE CYBERSECURITY DEVELOPMENT (IEEE SECDEV 2016), 2016, : 30 - 36
  • [44] Practical Design Space Exploration
    Nardi, Luigi
    Koeplinger, David
    Olukotun, Kunle
    2019 IEEE 27TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS 2019), 2019, : 347 - 358
  • [45] Accelerating design space exploration
    Haubelt, C
    Teich, J
    2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2003, : 79 - 84
  • [46] Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis
    Schaefer, Tristan
    Bessai, Jan
    Chaumet, Constantin
    Rehof, Jakob
    Riest, Christian
    ALGORITHMIC FOUNDATIONS OF ROBOTICS XV, 2023, 25 : 36 - 51
  • [47] Design Exploration of Threshold Logic in Memory and Experimental Implementation Using Knowm Memristors
    Fernandez, Carlos
    Cirera, Albert
    Vourkas, Ioannis
    INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2023, 18 (2-3) : 249 - 267
  • [48] Modelling and Analysing Qualitative Biological Models using Rewriting Logic
    Alhumaidan, Abdullah
    Steggles, Jason
    FUNDAMENTA INFORMATICAE, 2017, 153 (1-2) : 1 - 28
  • [49] Automatic reengineering in MDA using rewriting logic as transformation engine
    Boronat, A
    Carsí, JA
    Ramos, I
    Ninth European Conference on Software Maintenance and Reengineering, Proceedings, 2005, : 228 - 231
  • [50] Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude
    Santos-Garcia, Gustavo
    Palomino, Miguel
    Verdejo, Alberto
    INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008, 2009, 50 : 424 - +
12345