SYNCHRONIZATION IN DISTRIBUTED PROGRAMS

被引：44
|
作者：
SCHNEIDER, FB
机构：
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 02期
关键词：
D O I：
10.1145/357162.357163
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：125 / 148
页数：24
相关论文
共 50 条
  • [1] COMMUNICATION AND SYNCHRONIZATION PRIMITIVES FOR DISTRIBUTED PROGRAMS
    NATARAJAN, N
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (04) : 396 - 416
  • [2] Specifying synchronization in distributed shared memory programs
    Singh, G
    [J]. 2002 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS OF THE WORKSHOPS, 2002, : 375 - 382
  • [3] Constraint-based synchronization and verification of distributed Java']Java programs
    Ramirez, R
    Martinez, J
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 473 - 474
  • [4] THE PARALLEL FRAGMENTS DETECTION IN SEQUENTIAL PROGRAMS AND THEIR SYNCHRONIZATION UNDER DISTRIBUTED-PROCESSING
    POLJAKOV, A
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1993, (05): : 22 - 30
  • [5] Synchronization in distributed systems
    Roosta, SH
    [J]. PDPTA '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, 2004, : 641 - 647
  • [6] Distributed Network Synchronization
    Reichman, Arie
    Priesler, Miri
    Wayer, Shahaf
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON MICROWAVES, COMMUNICATIONS, ANTENNAS AND ELECTRONIC SYSTEMS (COMCAS), 2015,
  • [7] Distributed Interval Synchronization
    Fusiello, Andrea
    Montessoro, Pier Luca
    [J]. IEEE ACCESS, 2024, 12 : 1700 - 1705
  • [8] DISTRIBUTED SYNCHRONIZATION AND REGULARITY
    BOCHMANN, GV
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1979, 3 (01): : 36 - 43
  • [9] Synchronization Synthesis for Network Programs
    McClurg, Jedidiah
    Hojjat, Hossein
    Cerny, Pavol
    [J]. COMPUTER AIDED VERIFICATION (CAV 2017), PT II, 2017, 10427 : 301 - 321
  • [10] Scaling Synchronization in Multicore Programs
    Morrison, Adam
    [J]. COMMUNICATIONS OF THE ACM, 2016, 59 (11) : 44 - 51
12345