Sequential and Parallel Algorithms for the State Space Exploration

被引：3

作者：

Allal, Lamia ^{[1
]}

Belalem, Ghalem ^{[1
]}

Dhaussy, Philippe ^{[2
]}

Teodorov, Ciprian ^{[2
]}

机构：

[1] Univ Oran, Fac Exact & Appl Sci, Dept Comp Sci, 1 Ahmed Ben Bella, Oran, Algeria

[2] ENSTA Bretagne, CNRS, UMR 6285, Lab STICC, Brest, France

来源：

CYBERNETICS AND INFORMATION TECHNOLOGIES | 2016年 / 16卷 / 01期

关键词：

Model checking; state explosion problem; sequential exploration; parallel exploration;

D O I：

10.1515/cait-2016-0001

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our parallel approach and the parallel algorithm proposed in SPIN.

引用

页码：3 / 18

页数：16

共 50 条

[31] HOW CAN PARALLEL ALGORITHMS HELP TO FIND NEW SEQUENTIAL ALGORITHMS
NAGY, ZM
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1992, 204 : 9 - COMP
[32] State Space Exploration of Analog Circuits by Visualized Multi-Parallel Particle Simulation
Steinhorst, Sebastian
Peter, Markus
Hedrich, Lars
PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING SYSTEMS, 2009, : 858 - 862
[33] Parallelism exploration in sequential algorithms via animation tool
Qawasmeh, Ahmad
Taamneh, Salah
Aljammal, Ashraf H.
Hamadneh, Nabhan
Banikhalaf, Mustafa
Kharabsheh, Mohammad
MULTIAGENT AND GRID SYSTEMS, 2021, 17 (02) : 145 - 158
[34] Efficient sequential and parallel algorithms for planted motif search
Nicolae, Marius
Rajasekaran, Sanguthevar
BMC BIOINFORMATICS, 2014, 15
[35] EFFICIENT SEQUENTIAL AND PARALLEL ALGORITHMS FOR MAXIMAL BIPARTITE SETS
PEARSON, D
VAZIRANI, VV
JOURNAL OF ALGORITHMS, 1993, 14 (02) : 171 - 179
[36] Sequential and parallel algorithms for finding a maximum convex polygon
Fischer, P
COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 1997, 7 (03): : 187 - 200
[37] Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms
Arbelaez, Alejandro
Truchet, Charlotte
O'Sullivan, Barry
2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016), 2016, : 655 - 662
[38] Sequential and Parallel Algorithms to Compute Turbulent Coherent Structures
Gandia-Barbera, Sergio
Cremades, Andres
Vinuesa, Ricardo
Hoyas, Sergio
Perez-Quiles, Maria Jezabel
MATHEMATICS, 2024, 12 (21)
[39] Scheduling instructions of sequential algorithms on parallel DSP architectures
Matase, Stelian
Costinescu, Bogdan
Stoica, Madalin
OPTIM 2004: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON OPTIMIZATION OF ELECTRICAL AND ELECTRONIC EQUIPMENT, VOL 4: APPLIED ELECTRONICS, ELECTRICAL ENGINEERING EDUCATION, 2004, : 39 - 42
[40] Fast sequential and parallel algorithms for finding extremal sets
Shen, H
Evans, DJ
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1996, 61 (3-4) : 195 - 211

← 1 2 3 4 5 →