scholarly journals Dynamic Delayed Duplicate Detection for External Memory Model Checking

2008 ◽  
pp. 77-94 ◽  
Author(s):  
Sami Evangelista
Keyword(s):  
Model Checking ◽  
External Memory ◽  
Memory Model ◽  
Duplicate Detection

scholarly journals Sublinear Algorithms in the External Memory Model

2010 ◽  
pp. 240-243
Author(s):  
Alexandr Andoni ◽  
Piotr Indyk ◽  
Krzysztof Onak ◽  
Ronitt Rubinfeld
Keyword(s):  
External Memory ◽  
Memory Model ◽  
Sublinear Algorithms

scholarly journals Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN

2018 ◽  
Vol 26 (0) ◽  
pp. 314-326
Author(s):  
Kosuke Matsumoto ◽  
Tomoharu Ugawa ◽  
Tatsuya Abe
Keyword(s):  
Model Checking ◽  
Memory Model

Bulk Synchronous Parallel Algorithms for the External Memory Model

2002 ◽  
Vol 35 (6) ◽  
pp. 567-597 ◽  
Author(s):  
Dehne ◽  
Dittrich ◽  
Hutchinson ◽  
Maheshwari
Keyword(s):  
Parallel Algorithms ◽  
External Memory ◽  
Memory Model ◽  
Bulk Synchronous Parallel

scholarly journals Scalable generation of random graphs

2021 ◽  
Author(s):  
◽  
Manuel Penschuck
Keyword(s):  
Shared Memory ◽  
Random Graphs ◽  
Preferential Attachment ◽  
External Memory ◽  
Memory Model ◽  
Experimentelle Untersuchungen ◽  
Heavy Tailed

Netzwerkmodelle spielen in verschiedenen Wissenschaftsdisziplinen eine wichtige Rolle und dienen unter anderem der Beschreibung realistischer Graphen. Sie werden häufig als Zufallsgraphen formuliert und stellen somit Wahrscheinlichkeitsverteilungen über Graphen dar. Meist ist die Verteilung dabei parametrisiert und ergibt sich implizit, etwa über eine randomisierten Konstruktionsvorschrift. Ein früher Vertreter ist das G(n,p) Modell, welches über allen ungerichteten Graphen mit n Knoten definiert ist und jede Kante unabhängig mit Wahrscheinlichkeit p erzeugt. Ein aus G(n,p) gezogener Graph hat jedoch kaum strukturelle Ähnlichkeiten zu Graphen, die zumeist in Anwendungen beobachtet werden. Daher sind populäre Modelle so gestaltet, dass sie mit hinreichend hoher Wahrscheinlichkeit gewünschte topologische Eigenschaften erzeugen. Beispielsweise ist es ein gängiges Ziel die nur unscharf definierte Klasse der sogenannten komplexen Netzwerke nachzubilden, der etwa viele soziale Netze zugeordnet werden. Unter anderem verfügen diese Graphen in der Regel über eine Gradverteilung mit schweren Rändern (heavy-tailed), einen kleinen Durchmesser, eine dominierende Zusammenhangskomponente, sowie über überdurchschnittlich dichte Teilbereiche, sogenannte Communities. Die Einsatzmöglichkeiten von Netzwerkmodellen gehen dabei weit über das ursprüngliche Ziel, beobachtete Effekte zu erklären, hinaus. Ein gängiger Anwendungsfall besteht darin, Daten systematisch zu produzieren. Solche Daten ermöglichen oder unterstützen experimentelle Untersuchungen, etwa zur empirischen Verifikation theoretischer Vorhersagen oder zur allgemeinen Bewertung von Algorithmen und Datenstrukturen. Hierbei ergeben sich insbesondere für große Probleminstanzen Vorteile gegenüber beobachteten Netzen. So sind massive Eingaben, die auf echten Daten beruhen, oft nicht in ausreichender Menge verfügbar, nur aufwendig zu beschaffen und zu verwalten, unterliegen rechtlichen Beschränkungen, oder sind von unklarer Qualität. In der vorliegenden Arbeit betrachten wir daher algorithmische Aspekte der Generierung massiver Zufallsgraphen. Um Anwendern Reproduzierbarkeit mit vorhandenen Studien zu ermöglichen, fokussieren wir uns hierbei zumeist auf getreue Implementierungen etablierter Netzwerkmodelle, etwa Preferential Attachment-Prozesse, LFR, simple Graphen mit vorgeschriebenen Gradsequenzen, oder Graphen mit hyperbolischer (o.Ä.) Einbettung. Zu diesem Zweck entwickeln wir praktisch sowie analytisch effiziente Generatoren. Unsere Algorithmen sind dabei jeweils auf ein geeignetes Maschinenmodell hin optimiert. Hierzu entwerfen wir etwa klassische sequentielle Generatoren für Registermaschinen, Algorithmen für das External Memory Model, und parallele Ansätze für verteilte oder Shared Memory-Maschinen auf CPUs, GPUs, und anderen Rechenbeschleunigern.

Sign in / Sign up

Export Citation Format

Share Document