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 条
  • [1] Design and Validation of Cloud Storage Systems using Rewriting Logic
    Olveczky, Peter Csaba
    2019 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2019), 2020, : 17 - 21
  • [2] Design Space Exploration of Multi-output Logic Function Approximations
    Echavarria, Jorge
    Wildermann, Stefan
    Teich, Juergen
    2018 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD) DIGEST OF TECHNICAL PAPERS, 2018,
  • [3] Design space exploration using the genetic algorithm
    Esbensen, H
    Kuh, ES
    ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 4, 1996, : 500 - 503
  • [4] Fuzzy logic based energy and throughput aware design space exploration for MPSoCs
    Qadri, Muhammad Yasir
    Qadri, Nadia N.
    McDonald-Maier, Klaus D.
    MICROPROCESSORS AND MICROSYSTEMS, 2016, 40 : 113 - 123
  • [5] Understanding promise theory using rewriting logic
    Begnum, Kyrre
    Burgess, Mark
    INTER-DOMAIN MANAGEMENT, PROCEEDINGS, 2007, 4543 : 204 - +
  • [6] A verification logic for rewriting logic
    Martí-Oliet, N
    Pita, I
    Fiadeiro, JL
    Meseguer, J
    Maibaum, T
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (03) : 317 - 352
  • [7] Design Space Exploration of RISC Architectures Using Retargetability
    Arora, Harsh
    Gupta, Abhinav
    Singhai, Raunak
    Purwar, Diptanshu
    2015 INTERNATIONAL CONFERENCE ON VLSI SYSTEMS, ARCHITECTURE, TECHNOLOGY AND APPLICATIONS (VLSI-SATA), 2015,
  • [8] Ship System Design Space Exploration Using Templating
    Patterson, Natasha
    Chalfant, Julie S.
    NAVAL ENGINEERS JOURNAL, 2023, 135 (02) : 89 - 99
  • [9] Interdigitation for effective design space exploration using iSIGHT
    P.N. Koch
    J.P. Evans
    D. Powell
    Structural and Multidisciplinary Optimization, 2002, 23 : 111 - 126
  • [10] Interdigitation for effective design space exploration using iSIGHT
    Koch, PN
    Evans, JP
    Powell, D
    STRUCTURAL AND MULTIDISCIPLINARY OPTIMIZATION, 2002, 23 (02) : 111 - 126
12345