Experimenting with parallelism for the instantiation of ASP programs

In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power consumption. This makes real Symmetric MultiProcessing (SMP) available even on non-dedicated machines, and paves the way to the development of...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of algorithms Ročník 63; číslo 1; s. 34 - 54
Hlavní autoři:	Calimeri, F., Perri, S., Ricca, F.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 2008
Témata:	Answer Set Programming Disjunctive Logic Programming Instantiation Parallelism Disjunctive Logic Programming Parallelism Instantiation Answer Set Programming
ISSN:	0196-6774, 1090-2678
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!