咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 2 篇 会议

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 2 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 生物医学工程(可授...

主题

  • 4 篇 distributed-syst...
  • 1 篇 leader-election-...
  • 1 篇 data-acquisition
  • 1 篇 clustering
  • 1 篇 delays
  • 1 篇 leadership
  • 1 篇 image-processing
  • 1 篇 time factors
  • 1 篇 rtos
  • 1 篇 testbed-experime...
  • 1 篇 control-language...
  • 1 篇 voting
  • 1 篇 pdp8
  • 1 篇 image-memory
  • 1 篇 real-time-pictur...
  • 1 篇 distributed-proc...
  • 1 篇 systems
  • 1 篇 model-checking
  • 1 篇 picture-processi...
  • 1 篇 synchronous ring

机构

  • 1 篇 image processing...
  • 1 篇 ctr variable ene...
  • 1 篇 univ gesamthsch ...
  • 1 篇 univ thessaly de...

作者

  • 1 篇 lemkin p
  • 1 篇 korakis thanasis
  • 1 篇 strasser stefan
  • 1 篇 lipkin l
  • 1 篇 sarkar dipankar
  • 1 篇 samanta tapas
  • 1 篇 choumas kostas
  • 1 篇 vogel-heuser bir...

语言

  • 3 篇 英文
  • 1 篇 其他
检索条件"主题词=distributed-system"
4 条 记 录,以下是1-10 订阅
排序:
BMON2 - A distributed MONITOR system FOR BIOLOGICAL IMAGE-PROCESSING
收藏 引用
COMPUTER PROGRAMS IN BIOMEDICINE 1980年 第1期11卷 21-42页
作者: LEMKIN, P LIPKIN, L Image Processing Unit Division of Cancer Biology and Diagnosis National Center Institute National Institute of Health Bethesda MD 20205 USA
This paper presents an example of a distributed monitor system, BMON-2, which was developed and is in daily use in a biological image processing environment. Useful aspects of such a system are discussed, particularly... 详细信息
来源: 评论
Design and development of an offline-visualization for the analysis of real-time behaviour in a distributed CAN based system
Design and development of an offline-visualization for the a...
收藏 引用
9th World Multi-Conference on systemics, Cybernetics and Informatics
作者: Strasser, Stefan Vogel-Heuser, Birgit Univ Gesamthsch Wuppertal Fac Elect Informat & Media Engn D-42119 Wuppertal Germany
In the industry distributed systems are used increasingly for solving automation problems. Consequently central automation structures become less important [I]. Today a multitude of field bus systems is available for ... 详细信息
来源: 评论
On Using Raft Over Networks: Improving Leader Election
收藏 引用
IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT 2022年 第2期19卷 1129-1141页
作者: Choumas, Kostas Korakis, Thanasis Univ Thessaly Dept Elect & Comp Engn Volos 38221 Greece
Raft is a state-of-the-art consensus algorithm for state replication over a distributed system of nodes. According to Raft, all state updates occurring anywhere in the system are forwarded to the leader, which is elec... 详细信息
来源: 评论
Verification of HS Leader Election Protocol using a Mechanized Framework
Verification of HS Leader Election Protocol using a Mechaniz...
收藏 引用
National Conference on Computing and Communication systems (NCCCS)
作者: Samanta, Tapas Sarkar, Dipankar Ctr Variable Energy Cyclotron Kolkata 700064 India
Verification of distributed system protocols either suffers from state-space explosion in composing the combined behavior of a number of identical participating processes or lacs in automated theorem proving technique... 详细信息
来源: 评论