DISTANCE CHECKING ALGORITHMS

被引：6
|
作者：
DANIELSSON, PE
KRUSE, B
机构：
来源：
COMPUTER GRAPHICS AND IMAGE PROCESSING | 1979年 / 11卷 / 04期
关键词：
D O I：
10.1016/0146-664X(79)90070-4
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：349 / 376
页数：28
相关论文
共 50 条
  • [1] Model Checking Algorithms for Hyperproperties
    Finkbeiner, Bernd
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 3 - 16
  • [2] Model checking of consensus algorithms
    Tsuchiya, Tatsuhiro
    Schiper, Andre
    SRDS 2007: 26TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, : 137 - +
  • [3] Minimum distance regression model checking
    Koul, HL
    Ni, PP
    JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 2004, 119 (01) : 109 - 141
  • [4] CHECKING INTERPOLATION ALGORITHMS IN NC DEVICES
    BOIKO, SP
    RYBAKOV, SV
    SOVIET ENGINEERING RESEARCH, 1981, 1 (12): : 87 - 89
  • [5] Model checking algorithms for analog verification
    Hartong, W
    Hedrich, L
    Barke, E
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 542 - 547
  • [6] Algorithms for Model Checking HyperLTL and HyperCTL
    Finkbeiner, Bernd
    Rabe, Markus N.
    Sanchez, Cesar
    COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 30 - 48
  • [7] Fact-checking algorithms for the Internet
    Martynov, A. S.
    Voronina, I. E.
    APPLIED MATHEMATICS, COMPUTATIONAL SCIENCE AND MECHANICS: CURRENT PROBLEMS, 2020, 1479
  • [8] Hardware Model Checking Algorithms and Techniques
    Cabodi, Gianpiero
    Camurati, Paolo Enrico
    Palena, Marco
    Pasini, Paolo
    ALGORITHMS, 2024, 17 (06)
  • [9] CSL model checking algorithms for QBDs
    Remke, Anne
    Haverkort, Boudewijn R.
    Cloth, Lucia
    THEORETICAL COMPUTER SCIENCE, 2007, 382 (01) : 24 - 41
  • [10] Progress on Algorithms for Stateless Model Checking
    Sagonas, Kostis
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (268):
12345