EnglishisÍslenska

Member institutions

Search in


ThesisReykjavík University>Tölvunarfræðideild>Meistaraprófsritgerðir>

Please use this identifier to cite or link to this item: http://hdl.handle.net/1946/12720

Titles
  • is

    Hröðun Samsetningar Þvingunarstöðuvéla með GPGPU Samhliðu

  • Accelerating Constraint Automata Composition with GPGPU Parallelization

Published
January 2012
Abstracts
  • is

    Ein helsta áskorunin þegar kemur að samsetningu þvingunarstöðuvéla er hversu hratt stöðunum fjölgar og vandamál sem upp koma við meðhöndlun mikils stöðufjölda bæði þegar kemur að gagnamagni og vinnslutíma. Við sýnum að aðferðin sem er útlistuð hér nýtist til að samþætta þvingunarstöðuvélar samhliða með GPGPU forritun. Við sýnum einnig hvernig hægt er, með aðferðunum sem gera GPGPU samhliðunina mögulega, að dreifa samþáttun þvingunarstöðuvéla á margar vélar.

  • One of the principle challenges of Constraint Automata composition is the rapid growth of the state space and the difficulty inherent in processing very large state spaces both in terms of space as well as computation time.
    We show that the method outlined here goes some way in tackling both these issues by making it possible to process the composition in parallel using GPGPU programming. We also show how, using the methods put forth to make the GPGPU parallelization possible, it is possible to distribute the composition of Constraint Automata across many nodes.

Comments
is

Heildartexti lokaskýrslu. Prentuð útgáfa og öll fylgiskjöl á CD eru varðveitt á bókasafni HR.

Issued Date
08/08/2012


Artifacts
Name[Sortable]Size[Sortable]Visibility[Sortable]Description[Sortable]Format
MSc.pdf331KBOpen Complete Text PDF View/Open