咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
Verifying mutual exclusion algorithms with Non-Atomic Registers
收藏 引用
algorithms 2024年 第12期17卷 536-536页
作者: Nigro, Libero Univ Calabria DIMES I-87036 Arcavacata Di Rende Italy
The work described in this paper develops a formal method for modeling and exhaustive verification of mutual exclusion algorithms. The process is based on timed automata and the Uppaal model checker. The technique was... 详细信息
来源: 评论
Modelling and Verification of mutual exclusion algorithms  16
Modelling and Verification of Mutual Exclusion Algorithms
收藏 引用
20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
作者: Cicirelli, Franco Nigro, Libero CNR Natl Res Council Italy Inst High Performance Comp & Networking ICAR I-87036 Arcavacata Di Rende CS Italy Univ Calabria Dept Informat Modelling Elect & Syst Sci DIMES Arcavacata Di Rende CS Italy
This paper proposes modelling and exhaustive verification of mutual exclusion algorithms using timed automata (TA) and the popular UPPAAL toolbox. The proposal allows to check all the properties of a mutual exclusion ... 详细信息
来源: 评论
Model Checking mutual exclusion algorithms Using UPPAAL  1
收藏 引用
5th Computer Science On-line Conference (CSOC)
作者: Cicirelli, Franco Nigro, Libero Sciammarella, Paolo F. Univ Calabria Dept Informat Modelling Elect & Syst Sci DIMES Arcavacata Di Rende CS Italy
This paper proposes an approach to modelling and exhaustive verification of mutual exclusion algorithms which is based on Timed Automata in the context of the popular UPPAAL toolbox. The approach makes it possible to ... 详细信息
来源: 评论
Formalization of mutual exclusion algorithms in N-labeled Calculus  7
Formalization of Mutual Exclusion Algorithms in <i>N</i>-lab...
收藏 引用
IEEE 7th Joint International Information Technology and Artificial Intelligence Conference (ITAIC)
作者: Mizutani, Tetsuya Tomita, Kohji Univ Tsukuba Fac Engn Informat & Syst Tsukuba Ibaraki Japan AIST Intelligent Syst Res Inst Tsukuba Ibaraki Japan
A family of formal systems called "labeled calculi" have been investigated lately for verification and analysis of time-concerned cooperating program systems. These calculi have high formality since they are... 详细信息
来源: 评论
Formalization of mutual exclusion algorithms in N-labeled Calculus
Formalization of Mutual Exclusion Algorithms in N-labeled Ca...
收藏 引用
2014 IEEE 7th Joint International Information Technology and Artificial Intelligence Conference
作者: Tetsuya Mizutani Kohji Tomita Faculty of Engineering Information and SystemsUniversity of Tsukuba Intelligent Systems Research Institute AIST
A family of formal systems called "labeled calculi"have been investigated lately for verification and analysis of timeconcerned cooperating program systems. These calculi have high formality since they are b... 详细信息
来源: 评论
Verification of mutual exclusion algorithms with SMV System  2
Verification of mutual exclusion algorithms with SMV System
收藏 引用
International Conference on Computer as a Tool
作者: Bogunovic, N Pek, E Fac Elect & Comp Engn Zagreb Croatia
mutual exclusion algorithms can exhibit intricate behavior for which correctness can be hard to establish. We demonstrate automatic verification of five algorithms by symbolic model checking. We used SMV too I which e... 详细信息
来源: 评论
Transversal merge operation: A nondominated coterie construction method for distributed mutual exclusion
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 2005年 第2期16卷 183-192页
作者: Harada, T Yamashita, M Hiroshima Univ Grad Sch Management Naka Ku Hiroshima 7300053 Japan Kyushu Univ Dept Comp Sci & Commun Engn Higashi Ku Fukuoka 8128581 Japan
A coterie is a set of subsets (called quorums) of the processes in a distributed system such that any two quorums intersect with each other and is mainly used to solve the mutual exclusion problem in a quorum-based al... 详细信息
来源: 评论
Performance measure sensitive congruences for Markovian process algebras
收藏 引用
THEORETICAL COMPUTER SCIENCE 2003年 第1期290卷 117-160页
作者: Bernardo, M Bravetti, M Univ Turin Dipartimento Informat I-10149 Turin Italy Univ Bologna Dipartimento Sci Informaz I-40127 Bologna Italy
The modeling and analysis experience with process algebras has shown the necessity of extending them with priority, probabilistic internal/external choice, and time while preserving compositionality. The purpose of th... 详细信息
来源: 评论
Evaluating and designing software mutual exclusion algorithms on shared-memory multiprocessors
收藏 引用
IEEE PARALLEL & DISTRIBUTED TECHNOLOGY 1996年 第1期4卷 25-42页
作者: Zhang, XD Yan, Y Castaneda, R High-Performance Computing and Software Laboratory University of Texas San Antonio USA
Performance evaluations of software-based mutual exclusion algorithms must take into account the effects of architectures and systems. The authors demonstrate ate a framework for such evaluation, and use the framework... 详细信息
来源: 评论
ON THE EQUITY OF mutual exclusion algorithms IN DISTRIBUTED SYSTEMS
收藏 引用
INFORMATION PROCESSING LETTERS 1995年 第1期56卷 19-22页
作者: GREENWOOD, GW Department of Electrical and Computer Engineering Western Michigan University Kalamazoo MI 49008 USA
In recent years the problem of mutual exclusion in distributed systems has received much attention. The basic problem is to ensure that one and only one site has access to a critical section at any given time. It is... 详细信息
来源: 评论