Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications

被引：0
|
作者：
Ganesh C. Gopalakrishnan
机构：
[1] University of Utah,Department of Computer Science
来源：
Formal Methods in System Design | 2000年 / 16卷
关键词：
Operating System; Formal Method; Enabling Technology;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：5 / 6
页数：1
相关论文
共 50 条
  • [31] The Impact of Emerging Technologies on Architectures and System-level Management: Invited Paper
    Henkel, Joerg
    Amrouch, Hussam
    Rapp, Martin
    Salamin, Sami
    Reis, Dayane
    Gao, Di
    Yin, Xunzhao
    Niemier, Michael
    Zhuo, Cheng
    Hu, X. Sharon
    Cheng, Hsiang-Yun
    Yang, Chia-Lin
    2019 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2019,
  • [32] System-Level Mapping of Modeling Methods for Stability Characterization in Microgrids
    Song, Yubo
    Sahoo, Subham
    Yang, Yongheng
    Blaabjerg, Frede
    2021 IEEE ENERGY CONVERSION CONGRESS AND EXPOSITION (ECCE), 2021, : 2943 - 2949
  • [33] Leveraging applications of formal methods, verification and validation: Technologies for mastering change
    Margaria, Tiziana
    Steffen, Bernhard
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8802
  • [34] Methods for description of microelectromechanical device models for system-level simulation
    Mrcarica, Z
    Randjelovic, Z
    Jakovljevic, M
    Litovski, VB
    Detter, H
    MICROSIM II: SIMULATION AND DESIGN OF MICROSYSTEMS AND MICROSTRUCTURES, 1998, : 271 - 280
  • [35] Efficient system-level functional verification methodology for multimedia applications
    Cupák, M
    Catthoor, F
    De Man, HJ
    IEEE DESIGN & TEST OF COMPUTERS, 2003, 20 (02): : 56 - 64
  • [36] HITA: An Architecture for System-level Testing of Healthcare IoT Applications
    Sartaj, Hassan
    Ali, Shaukat
    Yue, Tao
    Gjoby, Julie Marie
    SOFTWARE ARCHITECTURE: ECSA 2023 TRACKS, WORKSHOPS, AND DOCTORAL SYMPOSIUM, ECSA 2023, CASA 2023, AMP 2023, FAACS 2023, DEMESSA 2023, QUALIFIER 2023, TWINARCH 2023, 2024, 14590 : 451 - 468
  • [37] System-level parallelism and concurrency maximisation in reconfigurable computing applications
    El-Araby, Esam
    Taher, Mohamed
    Gaj, Kris
    El-Ghazawi, Tarek
    Caliga, David
    Alexandridis, Nikitas
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2006, 2 (1-2) : 62 - 72
  • [38] System-Level RF Desense Characterization for Mobile Computer Applications
    Lee, Jaejin
    Hsu, Hao-han
    2020 IEEE USNC-CNC-URSI NORTH AMERICAN RADIO SCIENCE MEETING (JOINT WITH AP-S SYMPOSIUM), 2020, : 31 - 32
  • [39] System-Level Performance Analysis of Embedded Systems for GSM Applications
    Prasad, M. Rajendra
    Reddy, D. Krishna
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NANO-ELECTRONICS, CIRCUITS & COMMUNICATION SYSTEMS, 2017, 403 : 287 - 302
  • [40] Fast and extensive system-level memory exploration for ATM applications
    Slock, P
    Wuytack, S
    Catthoor, F
    deJong, G
    TENTH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 1997, : 74 - 81
12345