HIERARCHICAL TIMING VERIFICATION SYSTEM.

被引：0
|
作者：
Reddi, R. [1 ]
Chen, C. [1 ]
机构：
[1] Sperry Corp, Blue Bell, PA, USA, Sperry Corp, Blue Bell, PA, USA
来源：
| 1600年 / 18期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
INTEGRATED CIRCUITS, VLSI
引用
收藏
相关论文
共 50 条
  • [21] Neural and genetic control of endocrine timing by the circadian system.
    Kriegsfeld, LJ
    Mei, DF
    Bentley, GE
    Ukena, K
    Tsutsui, K
    Silver, R
    BIOLOGY OF REPRODUCTION, 2005, : 78 - 78
  • [22] SCHEME FOR BATCH VERIFICATION OF INTEGRITY ASSERTIONS IN A DATABASE SYSTEM.
    Lilien, Leszek
    Bhargaua, Bharat
    1600, (SE-10):
  • [23] Gradient Calibration for the RCBHT Cantilever Snap Verification System.
    Rojas, J.
    Harada, K.
    Onda, H.
    Yamanobe, N.
    Yoshida, E.
    Nagata, K.
    Kawai, Y.
    2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS (ROBIO 2012), 2012,
  • [24] Hierarchical Analysis and Verification for Critical System Design
    Butler, Michael
    2022 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2022), 2022, : XV - XV
  • [25] Gasoline blend optimisation as a local unit in hierarchical system.
    Jaskóla, P
    Malinowski, K
    LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), 2001, : 313 - 318
  • [26] TOPOLOGICAL SYNTHESIS OF A COMPUTER NETWORK FOR A HIERARCHICAL CONTROL SYSTEM.
    Yanbykh, G.F.
    1984, (18)
  • [27] Verification of the XRISM Timing System in the GPS Unsynchronized Mode
    Shidatsu, Megumi
    Terada, Yukikatsu
    Kominato, Takashi
    Kato, So
    Sato, Ryohei
    Sakama, Minami
    Shioiri, Takumi
    Motoyama, Yugo
    Niida, Yuuki
    Takagi, Toshihiro
    Natsukari, Chikara
    Tashiro, Makoto S.
    Todo, Kenichi
    Maejima, Hironori
    Watanabe, Shin
    Iizuka, Ryo
    Sato, Rie
    Baluta, Chris
    Hayashi, Katsuhiro
    Yoshida, Tessei
    Ogawa, Shoji
    Kanemaru, Yoshiaki
    Fukushima, Kotaro
    Hoshino, Akio
    Takahashi, Hiromitsu
    Nobukawa, Masayoshi
    Mizuno, Tsunefumi
    Nakazawa, Kazuhiro
    Uno, Shin'ichiro
    Ebisawa, Ken
    Eguchi, Satoshi
    Katsuda, Satoru
    Kubota, Aya
    Ota, Naomi
    Tanimoto, Atsushi
    Terashima, Yuichi
    Tsuboi, Yohko
    Uchida, Yuusuke
    Uchiyama, Hideki
    Yamada, Shigeo
    Yoneyama, Tomokage
    Yamada, Satoshi
    Uchiyama, Nagomi
    Holland, Matt
    Loewenstein, Michael
    Miller, Eric D.
    Yagoub, Tahir
    Hille, Robert S.
    Doyle, Trisha F.
    Perez-Solis, Efrain
    SPACE TELESCOPES AND INSTRUMENTATION 2024: ULTRAVIOLET TO GAMMA RAY, PT 1, 2024, 13093
  • [28] A software architecture for simplifying verification of system timing properties
    Xu, Jia
    SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Vol 3, Proceedings, 2007, : 858 - 863
  • [29] Developing a self-applicable verification system. Theory and practice
    Kondratyev D.A.
    Promsky A.V.
    Autom. Control Comput. Sci., 7 (445-452): : 445 - 452
  • [30] Enhanced fluid delivery verification on the VITROS ECi immunodiagnostic system.
    Van Brunt, N
    Contestable, P
    Jacobs, M
    Potter, R
    Raymond, M
    Simon, M
    CLINICAL CHEMISTRY, 2001, 47 (06) : A85 - A86
12345