AT-MOST-ONCE MESSAGE DELIVERY - A CASE-STUDY IN ALGORITHM VERIFICATION

被引：0
|
作者：
LAMPSON, B
LYNCH, N
SOGAARDANDERSEN, J
机构：
[1] MIT, CAMBRIDGE, MA 02139 USA
[2] TECH UNIV DENMARK, DEPT COMP SCI, DK-2800 LYNGBY, DENMARK
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 630卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：317 / 324
页数：8
相关论文
共 50 条
  • [21] SUPPORTING LOAD DISTRIBUTION STRATEGIES IN MESSAGE-PASSING MULTIPROCESSORS - A CASE-STUDY
    BARTOLI, A
    DINI, G
    MICROPROCESSORS AND MICROSYSTEMS, 1991, 15 (10) : 549 - 558
  • [22] MAKING THE MOST OF A CASE-STUDY - THEORIES OF THE WELFARE-STATE AND THE AMERICAN EXPERIENCE
    AMENTA, E
    INTERNATIONAL JOURNAL OF COMPARATIVE SOCIOLOGY, 1991, 32 (1-2) : 172 - 194
  • [23] Processor Verification using Symbolic Execution: A RISC-V Case-Study
    Bruns, Niklas
    Herdt, Vladimir
    Drechsler, Rolf
    2023 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2023,
  • [24] Media trustworthiness verification and event assessment through an integrated framework: a case-study
    Amerini, Irene
    Becarelli, Rudy
    Brancati, Francesco
    Caldelli, Roberto
    Giunta, Gabriele
    Itria, Massimiliano L.
    MULTIMEDIA TOOLS AND APPLICATIONS, 2017, 76 (05) : 7197 - 7212
  • [25] The verification of temporal knowledge based systems -: A case-study on power-systems
    Santos, Jorge
    Vale, Zita
    Ramos, Carlos
    Serodio, Carlos
    ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, 2007, : 179 - +
  • [26] Design and Study for the Algorithm of Multimedia Messaging Service (MMS) Framework in Message Delivery
    Setyono, Andik
    Alam, Md Jahangir
    Al Saqour, Raed Ali
    2009 INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING AND INFORMATICS, VOLS 1 AND 2, 2009, : 225 - 230
  • [27] VERIFICATION IN-PROCESS ALGEBRA OF THE DISTRIBUTED CONTROL OF TRACK VEHICLES - A CASE-STUDY
    FISCHER, S
    SCHOLZ, A
    TAUBNER, D
    FORMAL METHODS IN SYSTEM DESIGN, 1994, 4 (02) : 99 - 122
  • [28] CONSIDERATIONS ON A VLSI ORIENTED CASE-STUDY FOR INTEGRATED SYSTEM-DESIGN VERIFICATION
    ICHIKO, T
    NEC RESEARCH & DEVELOPMENT, 1985, (76): : 1 - 8
  • [29] Media trustworthiness verification and event assessment through an integrated framework: a case-study
    Irene Amerini
    Rudy Becarelli
    Francesco Brancati
    Roberto Caldelli
    Gabriele Giunta
    Massimiliano L. Itria
    Multimedia Tools and Applications, 2017, 76 : 7197 - 7212
  • [30] VERIFICATION OF A FAULT-TOLERANT PROPERTY OF A MULTIPROCESSOR SYSTEM - A CASE-STUDY IN THEOREM PROVER-BASED VERIFICATION
    BICKFORD, M
    SRIVAS, M
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 225 - 251
12345