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 条
  • [21] Term rewriting and Hoare logic - Coded rewriting
    Sun, Y
    INFORMATION PROCESSING LETTERS, 1996, 60 (05) : 237 - 242
  • [22] Term rewriting and Hoare logic - coded rewriting
    Queen's Univ of Belfast, Belfast, United Kingdom
    Inf Process Lett, 5 (237-242):
  • [23] Informed microarchitecture design space exploration using workload dynamics
    Cho, Chang-Burm
    Zhang, Wangyuan
    Li, Tao
    MICRO-40: PROCEEDINGS OF THE 40TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, 2007, : 274 - 285
  • [24] Design Space Exploration for Powertrain Electrification using Gaussian Processes
    Jung, Daniel
    Ahmed, Qadeer
    Rizzoni, Giorgio
    2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 846 - 851
  • [25] Rewriting logic and probabilities
    Bournez, O
    Hoyrup, M
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2003, 2706 : 61 - 75
  • [26] A rewriting logic sampler
    Meseguer, J
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 1 - 28
  • [27] DATA DRIVEN INTEGRATED DESIGN SPACE EXPLORATION USING iSOM
    Sushil, Rashmi Rama
    Baby, Mathew
    Sharma, Gehendra
    Nellippallil, Anand Balu
    Ramu, Palaniappan
    PROCEEDINGS OF ASME 2022 INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, IDETC-CIE2022, VOL 3A, 2022,
  • [28] Structural Design Space Exploration Using Principal Component Analysis
    Bunnell, Spencer
    Gorrell, Steven
    Salmon, John
    Thelin, Christopher
    Ruoti, Christopher
    JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2020, 20 (06)
  • [29] Rewriting Logic Systems
    Denker, Grit
    Talcott, Carolyn
    Rosu, Grigore
    van den Brand, Mark
    Eker, Steven
    Serbanuta, Traian Florin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (04) : 233 - 247
  • [30] Design Space Exploration Using Hierarchical Composition of Performance Models
    Velasco-Jimenez, M.
    Castro-Lopez, R.
    Roca, E.
    Fernandez, F. V.
    2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2015, : 1941 - 1944
12345