咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 12 篇 工学
    • 12 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
  • 3 篇 理学
    • 2 篇 数学
    • 2 篇 生物学
    • 1 篇 统计学(可授理学、...

主题

  • 13 篇 parallel model c...
  • 2 篇 symbolic reachab...
  • 2 篇 biological netwo...
  • 1 篇 property-directe...
  • 1 篇 master-worker mo...
  • 1 篇 dynamic systems
  • 1 篇 wool
  • 1 篇 maude
  • 1 篇 bdd
  • 1 篇 divine
  • 1 篇 dynamical system...
  • 1 篇 massively parall...
  • 1 篇 sequence diagram
  • 1 篇 component
  • 1 篇 discrete simulat...
  • 1 篇 garbage collecti...
  • 1 篇 component-based ...
  • 1 篇 cuda technology
  • 1 篇 genetic regulato...
  • 1 篇 craig interpolat...

机构

  • 2 篇 masaryk univ fac...
  • 2 篇 univ carthage hi...
  • 2 篇 masaryk univ fac...
  • 2 篇 univ tunis el ma...
  • 1 篇 univ carthage tu...
  • 1 篇 japan adv inst s...
  • 1 篇 univ svizzera it...
  • 1 篇 natl univ sci & ...
  • 1 篇 univ twente dept...
  • 1 篇 charles univ pra...
  • 1 篇 univ sorbonne pa...
  • 1 篇 univ paris 13 cn...
  • 1 篇 eindhoven univ t...
  • 1 篇 masaryk univ brn...
  • 1 篇 univ complutense...
  • 1 篇 univ paris 13 so...
  • 1 篇 natl univ sci & ...

作者

  • 3 篇 klai kais
  • 3 篇 ouni hiba
  • 3 篇 abid chiheb ameu...
  • 3 篇 cerna i.
  • 2 篇 brim l.
  • 2 篇 barnat jiri
  • 2 篇 barnat j.
  • 2 篇 brim lubos
  • 2 篇 zouari belhassen
  • 2 篇 drazan s.
  • 2 篇 safranek d.
  • 1 篇 laarman alfons
  • 1 篇 ceska milan
  • 1 篇 riesco adrian
  • 1 篇 ahmad jamil
  • 1 篇 varekova p.
  • 1 篇 canh minh do
  • 1 篇 van de pol jaco
  • 1 篇 zimmerova b.
  • 1 篇 arif fahim

语言

  • 10 篇 英文
  • 3 篇 其他
检索条件"主题词=Parallel Model checking"
13 条 记 录,以下是11-20 订阅
排序:
Towards Informed Swarm Verification
Towards Informed Swarm Verification
收藏 引用
3rd NASA Formal Methods Symposium
作者: Wijs, Anton Eindhoven Univ Technol NL-5612 AZ Eindhoven Netherlands
In this paper, we propose a new method to perform large scale grid model checking. A manager distributes the workload over many embarrassingly parallel jobs. Only little communication is needed between a worker and th... 详细信息
来源: 评论
Computational Analysis of Large-Scale Multi-Affine ODE models
Computational Analysis of Large-Scale Multi-Affine ODE Model...
收藏 引用
International Workshop on High Performance Computational Systems Biology (HiBi 2009)
作者: Barnat, J. Brim, L. Cerna, I. Drazan, S. Fabrikova, J. Safranek, D. Masaryk Univ Fac Informat Brno Czech Republic
A biological system as considered in systems biology is understood in the form of a network of interactions among individual biochemical species. Complexity of these networks is inherently enormous, even for simple (e... 详细信息
来源: 评论
A Case Study in parallel Verification of Component-Based Systems
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2008年 第2期220卷 67-83页
作者: Benes, N. Cerna, I. Sochor, J. Varekova, P. Zimmerova, B. Masaryk Univ Brno Fac Informat Brno Czech Republic
In large component-based systems, the applicability of formal verification techniques to check interaction correctness among components is becoming challenging due to the concurrency of a large number of components. I... 详细信息
来源: 评论