Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

被引：9

作者：

Barnat, J. ^{[1
]}

Brim, L. ^{[1
]}

Cerna, I. ^{[1
]}

Drazan, S. ^{[1
]}

Safranek, D. ^{[1
]}

机构：

[1] Masaryk Univ, Fac Informat, Brno, Czech Republic

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 194卷 / 03期

关键词：

genetic regulatory networks; discrete simulation; parallel model checking;

D O I：

10.1016/j.entcs.2007.12.001

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Studies of cells in silico can greatly reduce the need for expensive and prolonged laboratory experimentation. The use of model checking for the analysis of biological networks has attracted much attention recently. One of the practical limitations is the size of the model. In the paper we report on parallel model checking of genetic regulatory network using the model-checker DiVinE. The approach can check linear time properties on large networks.

引用

页码：35 / 50

页数：16

共 50 条

[21] Parallel model reduction of large-scale unstable system
Benner, P
Castillo, M
Quintana-Orti, ES
Quintana-Orti, G
[J]. PARALLEL COMPUTING: SOFTWARE TECHNOLOGY, ALGORITHMS, ARCHITECTURES AND APPLICATIONS, 2004, 13 : 251 - 258
[22] GloMoSim: A library for parallel simulation of large-scale wireless networks
Zeng, X
Bagrodia, R
Gerla, M
[J]. TWELFTH WORKSHOP ON PARALLEL AND DISTRIBUTED SIMULATION - PADS'98, PROCEEDINGS, 1998, : 154 - 161
[23] Parallel stochastic configuration networks for large-scale data regression
Zhang, Chenglong
Ding, Shifei
Zhang, Jian
Jia, Weikuan
[J]. APPLIED SOFT COMPUTING, 2021, 103
[24] A parallel algorithm for computing shortest paths in large-scale networks
Tan, GZ
Ping, XH
[J]. COMPUTATIONAL SCIENCE - ICCS 2005, PT 3, 2005, 3516 : 975 - 978
[25] Uniform stability of some large-scale parallel server networks
Hmedi, Hassan
Arapostathis, Ari
Pang, Guodong
[J]. QUEUEING SYSTEMS, 2022, 102 (3-4) : 509 - 552
[26] Parallel Simulation of Very Large-Scale General Cache Networks
Tortelli, Michele
Rossi, Dario
Leonardi, Emilio
[J]. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2018, 36 (08) : 1871 - 1886
[27] Scaling an optimistic parallel simulation of large-scale interconnection networks
Choudhury, N
Mehta, Y
Wilmarth, TL
Bohm, EJ
Kalé, LV
[J]. PROCEEDINGS OF THE 2005 WINTER SIMULATION CONFERENCE, VOLS 1-4, 2005, : 591 - 600
[28] Uniform stability of some large-scale parallel server networks
Hassan Hmedi
Ari Arapostathis
Guodong Pang
[J]. Queueing Systems, 2022, 102 : 509 - 552
[29] An I/O Efficient Model Checking Algorithm for Large-Scale Systems
Wu, Lijun
Huang, Huijia
Su, Kaile
Cai, Shaowei
Zhang, Xiaosong
[J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2015, 23 (05) : 905 - 915
[30] iLSGRN: inference of large-scale gene regulatory networks based on multi-model fusion
Wu, Yiming
Qian, Bing
Wang, Anqi
Dong, Heng
Zhu, Enqiang
Ma, Baoshan
[J]. BIOINFORMATICS, 2023, 39 (10)

← 1 2 3 4 5 →