Model-based diagnosis of hardware designs

被引：3
|
作者：
Friedrich, Gerhard [1 ]
Stumptner, Markus [1 ]
Wotawa, Franz [1 ]
机构：
[1] Universität Klagenfurt, Institut für Wirtschaftsinformatik und Anwendungssysteme, A-9020 Klagenfurt, Paniglgasse 16, A-1040 Wien, Austria
来源：
Artificial Intelligence | 1999年 / 111卷 / 01期
关键词：
Number: DDV GR 21/96106/4; Acronym:; -; Sponsor:;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：3 / 39
相关论文
共 50 条
  • [1] Model-based diagnosis of hardware designs
    Friedrich, G
    Stumptner, M
    Wotawa, F
    [J]. ARTIFICIAL INTELLIGENCE, 1999, 111 (1-2) : 3 - 39
  • [2] A model-based tool for finding faults in hardware designs
    Stumptner, M
    Wotawa, F
    [J]. ARTIFICIAL INTELLIGENCE IN DESIGN '96, 1996, : 541 - 559
  • [3] Model-based Hardware Design
    Venkataramani, Girish
    Kintali, Kiran
    Prakash, Sudeepa
    van Beek, Stephan
    [J]. 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2013, : 69 - 73
  • [4] Model-Based Design Automation of Hardware/Software Co-Designs for Xilinx Zynq PSoCs
    Streit, Franz-Josef
    Letras, Martin
    Wildermann, Stefan
    Hackenberg, Benjamin
    Falk, Joachim
    Becher, Andreas
    Teich, Juergen
    [J]. 2018 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG), 2018,
  • [5] Robust model-based sampling designs
    Welsh, A. H.
    Wiens, Douglas P.
    [J]. STATISTICS AND COMPUTING, 2013, 23 (06) : 689 - 701
  • [6] Robust model-based sampling designs
    A. H. Welsh
    Douglas P. Wiens
    [J]. Statistics and Computing, 2013, 23 : 689 - 701
  • [7] Model-based automation for hardware provisioning in IT infrastructure
    Kuroda, Takayuki
    Gokhale, Aniruddha
    [J]. 8th Annual IEEE International Systems Conference, SysCon 2014 - Proceedings, 2014, : 293 - 300
  • [8] Model-based Automation for Hardware Provisioning in IT Infrastructure
    Kuroda, Takayuki
    Gokhale, Aniruddha
    [J]. 2014 8TH ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2014, : 293 - 300
  • [9] Model-Based Hardware Design based on Compatible Sets of Isomorphic Subgraphs Model-Based Hardware Design based on Compatible Sets of Isomorphic Subgraphs
    Sittel, Patrick
    Moeller, Konrad
    Kumm, Martin
    Zipf, Peter
    Pasca, Bogdan
    Jervis, Mark
    [J]. 2017 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY (ICFPT), 2017, : 199 - 202
  • [10] Model partitioning for model-based diagnosis
    Katsillis, G
    Chantler, MJ
    [J]. (SAFEPROCESS'97): FAULT DETECTION, SUPERVISION AND SAFETY FOR TECHNICAL PROCESSES 1997, VOLS 1-3, 1998, : 845 - 850
12345