About: Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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. (en)
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 (en)
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 (en)
skos:notation
  • RIV/61989592:15310/09:00010309!RIV10-MSM-15310___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • Z(MSM6198959214)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 309102
http://linked.open...ai/riv/idVysledku
  • RIV/61989592:15310/09:00010309
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • data parallelism; implicit parallelism; functional programming; Scheme; pushdown automata (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [3CC6F183683A]
http://linked.open...i/riv/mistoVydani
  • New Jersey
http://linked.open...i/riv/nazevZdroje
  • Proceedings of the 2009 ACM Symposium on Applied Computing (SAC)
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Vychodil, Vilém
  • Krajča, Petr
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • ACM Press
https://schema.org/isbn
  • 978-1-60558-166-8
http://localhost/t...ganizacniJednotka
  • 15310
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software