FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2337802260> ?p ?o ?g. }

• W2337802260 endingPage "149" @default.
• W2337802260 startingPage "137" @default.
• W2337802260 abstract "Nowadays, using model checking techniques is one of the best solutions for software (and hardware) verification. The problem while using model checking techniques is state space explosion in which all the available memory is consumed by the model checker to generate all the reachable states. Among different approaches to cope with the state space explosion problem, using heuristic and meta-heuristic algorithms seems a proper solution. Although in all of these approaches it is not possible to solve the problem totally, however, it is possible to use them as refutation techniques. In the meta-heuristic techniques it is tried to generate only a portion of the state space with the highest probability to reach a faulty state. In this paper, we propose two new algorithms to deadlock detection in complex software systems specified through graph transformation systems. The first approach is a hybrid algorithm using PSO and BAT (BAPSO) and the second one is a greedy algorithm to find deadlocks. The experimental results show that the hybrid approach (BAPSO) is more accurate than PSO, BAT and other existing approaches like Genetic Algorithm (GA). In addition, in most of the case studies, the proposed greedy algorithm can compete with the meta-heuristic algorithms in terms of speed and accuracy." @default.
• W2337802260 created "2016-06-24" @default.
• W2337802260 creator A5014984442 @default.
• W2337802260 creator A5051803444 @default.
• W2337802260 creator A5089894135 @default.
• W2337802260 date "2016-06-13" @default.
• W2337802260 modified "2023-09-25" @default.
• W2337802260 title "A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems" @default.
• W2337802260 cites W1503170978 @default.
• W2337802260 cites W1567480092 @default.
• W2337802260 cites W1822079664 @default.
• W2337802260 cites W1822932058 @default.
• W2337802260 cites W190356767 @default.
• W2337802260 cites W195082763 @default.
• W2337802260 cites W1968552123 @default.
• W2337802260 cites W1974611422 @default.
• W2337802260 cites W1984957636 @default.
• W2337802260 cites W1989545482 @default.
• W2337802260 cites W2004029800 @default.
• W2337802260 cites W2006406722 @default.
• W2337802260 cites W2006553351 @default.
• W2337802260 cites W2012935476 @default.
• W2337802260 cites W2015657457 @default.
• W2337802260 cites W2017560506 @default.
• W2337802260 cites W2018937808 @default.
• W2337802260 cites W2036802481 @default.
• W2337802260 cites W2041000930 @default.
• W2337802260 cites W2060769340 @default.
• W2337802260 cites W2061438988 @default.
• W2337802260 cites W2097168666 @default.
• W2337802260 cites W2100076496 @default.
• W2337802260 cites W2115309705 @default.
• W2337802260 cites W2152647428 @default.
• W2337802260 cites W2751371548 @default.
• W2337802260 cites W2963103847 @default.
• W2337802260 cites W3142785668 @default.
• W2337802260 cites W4234244433 @default.
• W2337802260 cites W75340041 @default.
• W2337802260 cites W98889874 @default.
• W2337802260 cites W4214712303 @default.
• W2337802260 doi "https://doi.org/10.3233/ifs-162127" @default.
• W2337802260 hasPublicationYear "2016" @default.
• W2337802260 type Work @default.
• W2337802260 sameAs 2337802260 @default.
• W2337802260 citedByCount "11" @default.
• W2337802260 countsByYear W23378022602017 @default.
• W2337802260 countsByYear W23378022602018 @default.
• W2337802260 countsByYear W23378022602020 @default.
• W2337802260 countsByYear W23378022602021 @default.
• W2337802260 countsByYear W23378022602022 @default.
• W2337802260 countsByYear W23378022602023 @default.
• W2337802260 crossrefType "journal-article" @default.
• W2337802260 hasAuthorship W2337802260A5014984442 @default.
• W2337802260 hasAuthorship W2337802260A5051803444 @default.
• W2337802260 hasAuthorship W2337802260A5089894135 @default.
• W2337802260 hasConcept C104317684 @default.
• W2337802260 hasConcept C105795698 @default.
• W2337802260 hasConcept C109718341 @default.
• W2337802260 hasConcept C110251889 @default.
• W2337802260 hasConcept C11413529 @default.
• W2337802260 hasConcept C120314980 @default.
• W2337802260 hasConcept C126255220 @default.
• W2337802260 hasConcept C132525143 @default.
• W2337802260 hasConcept C154945302 @default.
• W2337802260 hasConcept C159023740 @default.
• W2337802260 hasConcept C173801870 @default.
• W2337802260 hasConcept C185592680 @default.
• W2337802260 hasConcept C204241405 @default.
• W2337802260 hasConcept C33923547 @default.
• W2337802260 hasConcept C41008148 @default.
• W2337802260 hasConcept C51823790 @default.
• W2337802260 hasConcept C55493867 @default.
• W2337802260 hasConcept C72434380 @default.
• W2337802260 hasConcept C80444323 @default.
• W2337802260 hasConceptScore W2337802260C104317684 @default.
• W2337802260 hasConceptScore W2337802260C105795698 @default.
• W2337802260 hasConceptScore W2337802260C109718341 @default.
• W2337802260 hasConceptScore W2337802260C110251889 @default.
• W2337802260 hasConceptScore W2337802260C11413529 @default.
• W2337802260 hasConceptScore W2337802260C120314980 @default.
• W2337802260 hasConceptScore W2337802260C126255220 @default.
• W2337802260 hasConceptScore W2337802260C132525143 @default.
• W2337802260 hasConceptScore W2337802260C154945302 @default.
• W2337802260 hasConceptScore W2337802260C159023740 @default.
• W2337802260 hasConceptScore W2337802260C173801870 @default.
• W2337802260 hasConceptScore W2337802260C185592680 @default.
• W2337802260 hasConceptScore W2337802260C204241405 @default.
• W2337802260 hasConceptScore W2337802260C33923547 @default.
• W2337802260 hasConceptScore W2337802260C41008148 @default.
• W2337802260 hasConceptScore W2337802260C51823790 @default.
• W2337802260 hasConceptScore W2337802260C55493867 @default.
• W2337802260 hasConceptScore W2337802260C72434380 @default.
• W2337802260 hasConceptScore W2337802260C80444323 @default.
• W2337802260 hasIssue "1" @default.
• W2337802260 hasLocation W23378022601 @default.
• W2337802260 hasOpenAccess W2337802260 @default.
• W2337802260 hasPrimaryLocation W23378022601 @default.
• W2337802260 hasRelatedWork W1533846201 @default.

• next