Interactive tool for design, simulation, verification, and synthesis of protocols

被引：0
|
作者：
Chao, Daniel Y. [1 ]
Wang, David T. [1 ]
机构：
[1] New Jersey Inst of Technology, Newark, United States
来源：
Software - Practice and Experience | 1994年 / 24卷 / 08期
关键词：
74;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：747 / 783
相关论文
共 50 条
  • [21] Spatial synthesis for architectural design as an interactive simulation with multiple agents
    Veloso, Pedro
    Krishnamurti, Ramesh
    AUTOMATION IN CONSTRUCTION, 2023, 154
  • [22] A Floorplan-aware Interactive Tool Flow for NoC Design and Synthesis
    Kakoee, Mohammad Reza
    Angiolin, Federico
    Murali, Srinivasan
    Pullini, Antonio
    Seiculescu, Ciprian
    Benini, Luca
    IEEE INTERNATIONAL SOC CONFERENCE, PROCEEDINGS, 2009, : 379 - +
  • [23] An IDE for the Design, Verification and Implementation of Security Protocols
    Garcia, Remi
    Modesti, Paolo
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 157 - 163
  • [24] HiPS : Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool
    Harie, Yojiro
    Mitsui, Yuta
    Fujimori, Kouhei
    Batajoo, Amit
    Wasaki, Katsumi
    2017 IEEE 6TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2017,
  • [25] Verification of memory access protocols in behavioral synthesis
    Koch, G
    Kim, T
    Genevriere, R
    PROCEEDINGS OF THE 43RD IEEE MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I-III, 2000, : 972 - 975
  • [26] Interactive verification of game design and playing strategies
    Kalles, D
    Ntoutsi, E
    14TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, : 425 - 430
  • [27] Interactive verification of architectural design patterns in FACTum
    Marmsoler, Diego
    Gidey, Habtom Kashay
    FORMAL ASPECTS OF COMPUTING, 2019, 31 (05) : 541 - 610
  • [28] Hardware design and simulation for verification
    Bombieri, Nicola
    Fummi, Franco
    Pravadelli, Graziano
    FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 1 - 29
  • [29] Explaining Swarm Design Concepts Using an Interactive, Bottom-up Simulation Tool
    Kirshenbaum, Marc
    Palmer, Daniel
    McCullick, Phillip
    Vaidyanathan, Ravi
    INNOVATIVE TECHNIQUES IN INSTRUCTION TECHNOLOGY, E-LEARNING, E-ASSESSMENT AND EDUCATION, 2008, : 298 - +
  • [30] THE INTERACTIVE DISPLAY DESIGN TOOL - AN APPLICATION PROGRAM FOR PART-TASK SIMULATION DEVELOPMENT
    ODONNELL, CM
    SMITH, MW
    PROCEEDINGS OF THE HUMAN FACTORS SOCIETY 33RD ANNUAL MEETING, VOL 1: PERSPECTIVES, 1989, : 375 - 379
12345