This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n7http://localhost/temp/predkladatel/
n20http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F09%3A00010309%21RIV10-MSM-15310___/
n4http://purl.org/net/nknouf/ns/bibtex#
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/ontology/domain/vavai/
n15http://linked.opendata.cz/resource/domain/vavai/zamer/
n14https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F09%3A00010309%21RIV10-MSM-15310___
rdf:type
n16:Vysledek skos:Concept
dcterms:description
We introduce new functional programming languages and stack-based model of implicit parallel execution of programs. The language, called Schemik, is high-level lexically-scoped implicitly-parallel dialect of Scheme. Schemik is designed as an implicitly parallel language, meaning that the parallel execution of programs is done independently of the programmer and each program written in Schemik always produces the same results no matter which parts of the program are executed simultaneously. The execution of programs is formally described by transitions of a particular pushdown automaton working with two stacks. This paper presents description of the language, stack-based model of serial and parallel execution of programs, implementation issues, and experiments showing scalability of the model and its implementation. We introduce new functional programming languages and stack-based model of implicit parallel execution of programs. The language, called Schemik, is high-level lexically-scoped implicitly-parallel dialect of Scheme. Schemik is designed as an implicitly parallel language, meaning that the parallel execution of programs is done independently of the programmer and each program written in Schemik always produces the same results no matter which parts of the program are executed simultaneously. The execution of programs is formally described by transitions of a particular pushdown automaton working with two stacks. This paper presents description of the language, stack-based model of serial and parallel execution of programs, implementation issues, and experiments showing scalability of the model and its implementation.
dcterms:title
Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance
skos:prefLabel
Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance
skos:notation
RIV/61989592:15310/09:00010309!RIV10-MSM-15310___
n3:aktivita
n13:Z
n3:aktivity
Z(MSM6198959214)
n3:dodaniDat
n17:2010
n3:domaciTvurceVysledku
n11:5572983 n11:1236784
n3:druhVysledku
n18:D
n3:duvernostUdaju
n10:S
n3:entitaPredkladatele
n20:predkladatel
n3:idSjednocenehoVysledku
309102
n3:idVysledku
RIV/61989592:15310/09:00010309
n3:jazykVysledku
n19:eng
n3:klicovaSlova
data parallelism; implicit parallelism; functional programming; Scheme; pushdown automata
n3:klicoveSlovo
n6:implicit%20parallelism n6:Scheme n6:pushdown%20automata n6:data%20parallelism n6:functional%20programming
n3:kontrolniKodProRIV
[3CC6F183683A]
n3:mistoVydani
New Jersey
n3:nazevZdroje
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC)
n3:obor
n9:JD
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n17:2009
n3:tvurceVysledku
Krajča, Petr Vychodil, Vilém
n3:zamer
n15:MSM6198959214
s:numberOfPages
2205
n4:hasPublisher
ACM Press
n14:isbn
978-1-60558-166-8
n7:organizacniJednotka
15310