Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Human Motion Analysis and Classification Using Radar Micro-Doppler Signatures Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

A New and Fast Variant of the Strict Strong Coloring Based Graph Distribution Algorithm

verfasst von : Nousseiba Guidoum, Meriem Bensouyad, Djamel-Eddine Saïdouni

Erschienen in: Software Engineering Research, Management and Applications

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We consider the state space explosion problem which is a fundamental obstacle in formal verification of critical systems. In this paper, we propose a fast algorithm for distributing state spaces on a network of workstations. Our solution is an improvement version of SSCGDA algorithm (for Strict Strong Coloring based Graph Distribution Algorithm) which introduced the coloring concept and dominance relation in graphs for finding the good distribution of given graphs [1]. We report on a thorough experimental study to evaluate the performance of this new algorithm. The quality of the proposed algorithm is illustrated by comparison with existing algorithms.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Object Oriented Method to Implement the Hierarchical and Concurrent States in UML State Chart Diagrams
Nächstes Kapitel High Level Petri Net Modelling and Analysis of Flexible Web Services Composition
Literatur
1.
Guidoum, N., Bensouyad, M., & Saïdouni, D. E. (2013). The strict strong coloring based graph distribution algorithm. International Journal of Applied Metaheuristic Computing, 4, 50–66.CrossRef
2.
Valmari, A. (1998). The state explosion problem. In Lectures on Petri Nets I: Basic Models: Of Lecture Notes in Computer Science (vol. 1491, pp. 429–528). London, UK.
3.
Clarke, E., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge, MA: The MIT Press.
4.
Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., et al. (2001). Systems and software verification: Model-checking techniques and tools. Springer.
5.
Bixby, R., Kennedy, K., & Kremer, U. (1993). Automatic data layout using 0–1 integer programming, Houston, TX, United State: Rice University, Center for Research on Parallel Computation, Tech. Rep. CRPC-TR93349-S.
6.
Bouneb, Z., & Saïdouni, D. E. (2009). Parallel state space construction for a model checking based on maximality semantics. In Proceedings of the 2nd Mediterranean Conference on Intelligent Systems and Automation (vol. 1107, pp. 7–12).
7.
Orzan, S., van de Pol, S., & Valero Espada, M. (2005). A state space distribution policy based on abstract interpretation. Electronic Notes in Theoretical Computer Science, 128(3), 35–45.CrossRefMATH
8.
Stanton, I., & Kliot, G. (2011). Streaming graph partitioning for large distributed graphs (Tech. Rep. MSR-TR-2011-121). Microsoft Research Lab.
9.
Saad, R., Dal Zilio, S., Berthomieu, B,. & Vernadat, F. (2009). Enumerative parallel and distributed state space construction. In Ecoled’Eté Temps Réel (ETR’09), Paris, France.
10.
Bensouyad, M., Bouzenada, M., Guidoum, N., & Saïdouni, D. E. (2014). A generalized graph strict strong coloring algorithm: Application on graph distribution. Contemporary Advancements in Information Technology Development in Dynamic Environments, 181.
11.
Klotz, W. (2002). Graph coloring algorithms. Clausthal, Germany: Clausthal University of Technology, Tech. Rep. No.
12.
13.
ZverovichI, E. (2006). A new kind of graph coloring. Journal of Algorithms, 58(2), 118–133.
14.
15.
Bouzenada, M., Bensouyad, M., Guidoum, N., Reghioua, A., & Saïdouni, D. E. (2012). A generalized graph strict strong coloring algorithm. International Journal of Applied Metaheuristic Computing (IJAMC), 3(1), 24–33.
16.
17.
18.
19.
Grubbs, F. E. (1969). Procedures for detecting outlying observations in samples. Technometrics, 11(1), 1–21.CrossRef
Metadaten
Titel
A New and Fast Variant of the Strict Strong Coloring Based Graph Distribution Algorithm
verfasst von
Nousseiba Guidoum
Meriem Bensouyad
Djamel-Eddine Saïdouni
Copyright-Jahr
2016
Buch
Software Engineering Research, Management and Applications

Print ISBN: 978-3-319-33902-3

Electronic ISBN: 978-3-319-33903-0

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-33903-0_11