咨询与建议

限定检索结果

文献类型

  • 7 篇 期刊文献
  • 5 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 11 篇 工学
    • 11 篇 计算机科学与技术...
    • 3 篇 电气工程
    • 2 篇 控制科学与工程
    • 2 篇 软件工程
  • 2 篇 理学
    • 2 篇 数学

主题

  • 12 篇 mutual exclusion...
  • 4 篇 model checking
  • 3 篇 timed automata
  • 3 篇 performance eval...
  • 3 篇 uppaal
  • 2 篇 n-labeled calcul...
  • 2 篇 formalism
  • 2 篇 distributed syst...
  • 1 篇 markov chains
  • 1 篇 and shared memor...
  • 1 篇 smv
  • 1 篇 process algebras
  • 1 篇 simulation
  • 1 篇 atomic registers
  • 1 篇 coteries
  • 1 篇 flickering
  • 1 篇 waiting times
  • 1 篇 grid structures
  • 1 篇 transversals
  • 1 篇 atomic vs. non a...

机构

  • 2 篇 univ calabria de...
  • 1 篇 kyushu univ dept...
  • 1 篇 department of co...
  • 1 篇 cnr natl res cou...
  • 1 篇 univ bologna dip...
  • 1 篇 intelligent syst...
  • 1 篇 hiroshima univ g...
  • 1 篇 univ cent florid...
  • 1 篇 high-performance...
  • 1 篇 univ calabria di...
  • 1 篇 faculty of engin...
  • 1 篇 univ tsukuba fac...
  • 1 篇 department of el...
  • 1 篇 fac elect & comp...
  • 1 篇 univ turin dipar...
  • 1 篇 aist intelligent...

作者

  • 3 篇 nigro libero
  • 2 篇 cicirelli franco
  • 1 篇 tomita kohji
  • 1 篇 yan y
  • 1 篇 hoffman ll
  • 1 篇 kohji tomita
  • 1 篇 castaneda r
  • 1 篇 walker d.j.
  • 1 篇 sciammarella pao...
  • 1 篇 zhang xd
  • 1 篇 pek e
  • 1 篇 mizutani tetsuya
  • 1 篇 bogunovic n
  • 1 篇 tetsuya mizutani
  • 1 篇 bernardo m
  • 1 篇 greenwood gw
  • 1 篇 bravetti m
  • 1 篇 harada t
  • 1 篇 yamashita m

语言

  • 11 篇 英文
  • 1 篇 其他
检索条件"主题词=Mutual Exclusion Algorithms"
12 条 记 录,以下是11-20 订阅
排序:
IMPROVED PERFORMANCE EVALUATION OF DISTRIBUTED mutual exclusion algorithms FOR COMPUTER-NETWORKS
收藏 引用
COMPUTING SYSTEMS 1993年 第2期8卷 67-71页
作者: HOFFMAN, LL UNIV CENT FLORIDA DEPT STATORLANDOFL 32816
Steady state queue depth probabilities are critical for evaluating average waiting times in computer networks. An improvement to the analytical approach of Srimani and Mishra is presented in this paper, and then compa... 详细信息
来源: 评论
Automated analysis of mutual exclusion algorithms using CCS
收藏 引用
Formal Aspects of Computing 1989年 第1期1卷 273-292页
作者: Walker, D.J. Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ United Kingdom
A number of mutual exclusion algorithms are studied by representing them as agents in the Calculus of Communicating Systems and using an automated tool embodying some of the theory of the Calculus to analyse the repre... 详细信息
来源: 评论