Polynomial time validation method for channel boundedness of communication protocols (2 processes)

被引：0
|
作者：
机构：
[1] Suganuma, Tomohisa
[2] Kurosawa, Kaoru
[3] Yongmao, Ni
来源：
Suganuma, Tomohisa | 1600年 / 20期
关键词：
Information Theory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Boundedness of solutions for polynomial potentials with C-2 time dependent coefficients
    Wang, YQ
    You, JG
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND PHYSIK, 1996, 47 (06): : 943 - 952
  • [2] METHOD OF POLYNOMIAL FILTERING OF RANDOM PROCESSES WITH DISCRETE-TIME
    VINOGRADOV, VN
    GOLUBEV, GA
    KUZNETSOV, SG
    LIVSHITS, NA
    ENGINEERING CYBERNETICS, 1978, 16 (04): : 106 - 112
  • [3] TEMPORAL MODELING OF REAL-TIME COMMUNICATION PROTOCOLS BASED ON A PROCESS CHANNEL APPROACH
    RODD, MG
    ALROWAIHI, SF
    REAL-TIME SYSTEMS, 1994, 6 (03) : 243 - 262
  • [4] VALIDATION METHOD OF COMMUNICATION PROTOCOLS FREE FROM DATA BLOCK LOSS AND DUPLICATION.
    Yoshida, Yutaka
    Nomura, Masayuki
    Tanaka, Yoshikazu
    Electronics & communications in Japan, 1980, 63 (11): : 51 - 59
  • [5] A Polynomial Time MCMC Method for Sampling from Continuous Determinantal Point Processes
    Rezaei, Alireza
    Gharan, Shayan Oveis
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 97, 2019, 97
  • [6] A polynomial time algorithm for 2-layer channel routing problem
    Geng, Xianya
    International Journal of Applied Mathematics and Statistics, 2012, 29 (05): : 76 - 83
  • [7] A Polynomial time Algorithm for 2-layer Channel Routing Problem
    Geng, Xianya
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS & STATISTICS, 2012, 29 (05): : 76 - 83
  • [8] Signature-based method for run-time fault detection in communication protocols
    Noubir, G
    Vijayananda, K
    Nussbaumer, HJ
    COMPUTER COMMUNICATIONS, 1998, 21 (05) : 405 - 421
  • [9] Signature-based method for run-time fault detection in communication protocols
    CSEM SA, Neuchatel, Switzerland
    Comput Commun, 5 (405-421):
  • [10] A semi-automated verification method for communication protocols modeled as 2-ECFSMs
    Higuchi, M
    Sano, J
    Hara, K
    Fujii, M
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1996, : 290 - 297
12345