Filters








350 Hits in 4.5 sec

Implementing deterministic declarative concurrency using sieves

Sam Lindley
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP &#39;07</a> </i> &nbsp;
Sieves provide a simple way of adding deterministic declarative concurrency to imperative programming languages.  ...  The predominant thread-based approach to concurrent programming is bug-prone, difficult to reason about, and does not scale well to large numbers of processors.  ...  Codeplay's sieve system [6] gives a way of extending existing imperative programming languages with a form of deterministic declarative concurrency, without requiring developers to rewrite all of their  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1248648.1248657">doi:10.1145/1248648.1248657</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/Lindley07.html">dblp:conf/popl/Lindley07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ykw34gpttzaxbprkmar6xbjyvm">fatcat:ykw34gpttzaxbprkmar6xbjyvm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812162908/http://homepages.inf.ed.ac.uk/slindley/papers/dampsieve.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/1f/a01fa9087aa0e880046739563d6697218576446b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1248648.1248657"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Derflow

Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/r54rc642b5gpng4faimxtawkim" style="color: black;">Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang - Erlang &#39;14</a> </i> &nbsp;
Erlang implements a message-passing execution model in which concurrent processes send each other messages asynchronously.  ...  . • Prototype implementation of a deterministic dataflow extension to Erlang called Derflow, with examples of its usage for common computations.  ...  Section 5 shows why transparency concurrency is a desirable property and how programmer can use it. • Before: σ = {x1, . . . , xn} • xn+1 = declare() Streams Streams are a useful technique which allow  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2633448.2633451">doi:10.1145/2633448.2633451</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/erlang/BravoLRM14.html">dblp:conf/erlang/BravoLRM14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i6uicwwzojdnparvgtly7mx3tq">fatcat:i6uicwwzojdnparvgtly7mx3tq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150322044033/https://www.info.ucl.ac.be/~pvr/erlang14cameraready.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/07/b5/07b5a0f2a3ff9d28ee4090a9bc35535c76925f72.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2633448.2633451"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Asynchronous sequential processes

Denis Caromel, Ludovic Henrio, Bernard Paul Serpette
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
Deterministic behavior for parallel and distributed computation is rather difficult to ensure.  ...  Additionally, we present a formalization of distributed components based on ASP, and show how such components are used to statically ensure determinacy.  ...  RSL(Sieve n ) = Sieve n−1 :: Sieve n−1 :: Sieve n−1 :: . . . RSL(Display) = Sieve 1 :: Sieve 2 :: Sieve 3 :: . . . :: Sieve n Fig. 13 . 13 A deterministic configuration according to SDON.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2008.12.004">doi:10.1016/j.ic.2008.12.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fmmk6bcz2rh5fcsqbtonsmzuge">fatcat:fmmk6bcz2rh5fcsqbtonsmzuge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190412133149/https://core.ac.uk/download/pdf/82691245.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/cc/a0cc9e8443adec2eec795069352873f8ab35ae33.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2008.12.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A comparison of two notations for process communication [chapter]

Jim Welsh, Andrew Lister, Eric J. Salzman
<span title="">1980</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Thus CSP makes explicit what a DP implementation must deduce from each program.  ...  In D$ communication is accomplished by one process X say, executing a command of the form call Y.P (values, result variables) 227 where process Y contains a procedure declaration of the form proc P (value  ...  waiting concurrently.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-09745-7_17">doi:10.1007/3-540-09745-7_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eg4zc3575racfapwpe7pnmeio4">fatcat:eg4zc3575racfapwpe7pnmeio4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502224719/https://link.springer.com/content/pdf/10.1007%2F3-540-09745-7_17.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b3/f6/b3f646883bb7178db3bb40699374a6f9b92f64a9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-09745-7_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Behavioural Theory of Recursive Algorithms [article]

Egon Börger Università di Pisa, Dipartimento di Informatica, Pisa, Italy Zhejiang University, UIUC Institute, Haining, China)
<span title="2020-03-25">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Applying this recursive ASM thesis yields a characterization of sequential recursive algorithms as finitely composed concurrent algorithms all of whose concurrent runs are partial-order runs.  ...  In this article we propose an axiomatic definition of the notion of sequential recursive algorithm which extends Gurevich's axioms for sequential algorithms by a Recursion Postulate and allows us to prove  ...  ← eratosthenes(sieve) = LET p = min(sieve) IN LET reduced sieve = {x ∈ sieve | p ∤ x } IN PAR ← eratosthenes (reduced sieve) out prime := p More generally, if the input sieve is any subset of N, then  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.01862v2">arXiv:2001.01862v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zkl2wsbljfabndwekd4xtightm">fatcat:zkl2wsbljfabndwekd4xtightm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200913052324/https://arxiv.org/pdf/2001.01862v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/03/78/03782bbb0e535e64ca02ed9fd27232e9a10f0e18.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.01862v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Fencing off go: liveness and safety for channel-based programming

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
<span title="2017-01-01">2017</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
This restriction allows us to implement bounded verification procedures (akin to bounded model checking) to check for liveness and safety in types which in turn approximates liveness and safety in Go programs  ...  We have implemented a type inference and liveness and safety checks in a tool-chain and tested it against publicly available Go programs.  ...  Example -Prime Sieve in MiGo To showcase the MiGo calculus, we present a concurrent implementation of the sieve of Eratosthenes that produces the infinite sequence of all prime numbers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3093333.3009847">doi:10.1145/3093333.3009847</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xcgbr2zu5bdlvjpnuq2dbrteli">fatcat:xcgbr2zu5bdlvjpnuq2dbrteli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722184142/https://kar.kent.ac.uk/62218/1/popl2017.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cf/99/cf99610bc53ca9f64ce095e0f162280b1fefd818.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3093333.3009847"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Fencing off go: liveness and safety for channel-based programming

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
<span title="">2017</span> <i title="ACM Press"> Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 </i> &nbsp;
This restriction allows us to implement bounded verification procedures (akin to bounded model checking) to check for liveness and safety in types which in turn approximates liveness and safety in Go programs  ...  We have implemented a type inference and liveness and safety checks in a tool-chain and tested it against publicly available Go programs.  ...  Example -Prime Sieve in MiGo To showcase the MiGo calculus, we present a concurrent implementation of the sieve of Eratosthenes that produces the infinite sequence of all prime numbers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3009837.3009847">doi:10.1145/3009837.3009847</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kej4q23amjgi7o7pxnoejocixm">fatcat:kej4q23amjgi7o7pxnoejocixm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722184142/https://kar.kent.ac.uk/62218/1/popl2017.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cf/99/cf99610bc53ca9f64ce095e0f162280b1fefd818.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3009837.3009847"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Compiling Constraint Handling Rules into Prolog with Attributed Variables [chapter]

Christian Holzbaur, Thom Frühwirth
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We introduce the most recent and advanced implementation of constraint handling rules (CHR) in a logic programming language, which improves both on previous implementations (in terms of completeness, exibility  ...  and e ciency) and on the principles that should guide such a Prolog implementation consisting of a runtime system and a compiler.  ...  In this way, CHR can also be used as a general-purpose concurrent constraint language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/10704567_7">doi:10.1007/10704567_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ujk5fenv4vej7aiandewipdoui">fatcat:ujk5fenv4vej7aiandewipdoui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721223436/http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/ppdp99.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fa/3b/fa3b4fc380c2c387a17d56f5dfd9faaf3de4a155.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/10704567_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Semantic Versioning Checking in a Declarative Package Manager

Michael Hanus, Marc Herbstritt
<span title="2018-02-12">2018</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lp3a6vqizfdbvlneh2os4i6swe" style="color: black;">International Conference on Logic Programming</a> </i> &nbsp;
In this paper we show that more substantive and fully automatic checks are possible for declarative languages.  ...  The correct use of version numbers is important in software package systems where packages depend on other packages with specific releases.  ...  Thus, if we implement a deterministic and more efficient sorting operation in version 1.0.1 of the package sort, we can use the semantic versioning checker to automatically test the new implementation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.iclp.2017.6">doi:10.4230/oasics.iclp.2017.6</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iclp/Hanus17.html">dblp:conf/iclp/Hanus17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pvseesywnje5pdu4vxal3uapby">fatcat:pvseesywnje5pdu4vxal3uapby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180515002302/http://drops.dagstuhl.de/opus/volltexte/2018/8456/pdf/OASIcs-ICLP-2017-6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/51/26/51267a5886c8d32312dc2b29595592e562b52dc1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/oasics.iclp.2017.6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Deterministic Concurrency [chapter]

Ian Holyer, David Carter
<span title="">1994</span> <i title="Springer London"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4ggfzkmz5rdq5hyeibr5io5veu" style="color: black;">Workshops in Computing</a> </i> &nbsp;
This thesis proposes a purely declarative and deterministic model for concurrency that can beadopted by a standard non-strict functional language.  ...  The design and implementation of a simple but complete single-user concurrent working environment is presented in order to demonstrate the feasibility of deterministic design. i Dedication This thesis  ...  Traditionally, concurrent systems are implemented using some form of nondeterministic operator.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4471-3236-3_9">doi:10.1007/978-1-4471-3236-3_9</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fp/HolyerC93.html">dblp:conf/fp/HolyerC93</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/53towjlc3jeqxle5mk3dv7iv3e">fatcat:53towjlc3jeqxle5mk3dv7iv3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040726024213/http://www.cs.bris.ac.uk:80/Publications/Papers/1000058.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/6a/2c6a5b56bd09e7ab1b660595cbf92f75f38a3b1a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4471-3236-3_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Balancing expressiveness in formal approaches to concurrency

Cliff B. Jones, Ian J. Hayes, Robert J. Colvin
<span title="2014-08-29">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oeimezgcfbas7drzmyhogjmlb4" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
Both rely/guarantee methods and separation logic(s) provide useful frameworks in which it is natural to reason about aspects of concurrency.  ...  Clearly too weak a notation can mean that useful properties either cannot be expressed or their expression is unnatural.  ...  The interest here is in developing a concurrent version of this sieving process.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-014-0310-2">doi:10.1007/s00165-014-0310-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nrsgjshrmbc6tfn6czoacta4g4">fatcat:nrsgjshrmbc6tfn6czoacta4g4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705065816/http://eprint.ncl.ac.uk/file_store/production/193865/607EA0A9-4FE2-4F27-B082-6A29F0DFFFC7.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a2/29/a229a507eb611fc7508c6bc15568b303b5f94576.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-014-0310-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) [article]

Julien Lange and Nicholas Ng and Bernardo Toninho and Nobuko Yoshida
<span title="2017-02-28">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This restriction allows us to implement procedures to check for liveness and safety in types which in turn approximates liveness and safety in Go programs.  ...  We have implemented a type inference and liveness and safety checks in a tool-chain and tested it against publicly available Go programs.  ...  Example -Prime Sieve in MiGo To showcase the MiGo calculus, we present a concurrent implementation of the sieve of Eratosthenes that produces the infinite sequence of all prime numbers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1610.08843v3">arXiv:1610.08843v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rnlqdeouuneyjidqmqj6muaczi">fatcat:rnlqdeouuneyjidqmqj6muaczi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200827053015/https://arxiv.org/pdf/1610.08843v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/ef/7eef6ad08e0edd750eef90e03531e62374924553.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1610.08843v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Executing PRAM Programs on GPUs

Jurgen Brenner, Jorg Keller, Christoph Kessler
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cx3f4s3qmfe6bg4qvuy2cxezyu" style="color: black;">Procedia Computer Science</a> </i> &nbsp;
This allows to explore parallel algorithmics on a scale beyond toy problems, to which the previous, sequential PRAM simulator restricted practical use.  ...  We explain the design decisions and evaluate a prototype implementation consisting of a runtime library and a set of rules to transform simple Fork programs which we for now apply by hand.  ...  Thanks to the instruction-level synchronous execution, PRAM computations are deterministic as long as the mechanism for resolving concurrent write access conflicts is deterministic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2012.04.198">doi:10.1016/j.procs.2012.04.198</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cakxdtaqrvdzbndoowvdjcfhsu">fatcat:cakxdtaqrvdzbndoowvdjcfhsu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923221947/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/088/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTg3NzA1MDkxMjAwMzE5NQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/22/9c22792a851a53619980eee2ec27f0773a8b5abd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2012.04.198"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics

Eneia Nicolae Todoran, Claudiu Adam, Mirel Balc, Radu Pop, Razvan Radu, Dorin Simina, Emanuel Varga, Dan Andrei Zaharia
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/etfilziki5f5bma6l7xqmqg45u" style="color: black;">2011 10th International Symposium on Parallel and Distributed Computing</a> </i> &nbsp;
We introduce Join Voyager -a language that can be used to program a Peer to Peer network using object oriented techniques and Join methods.  ...  The interpreter is designed with continuations following the discipline of denotational semantics and is implemented in Haskell.  ...  A program p(∈ P rg) is a list of class declarations. A class declaration is a pair consisting of a class name C and a class definition c.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ispdc.2011.36">doi:10.1109/ispdc.2011.36</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ispdc/TodoranABPRSVZ11.html">dblp:conf/ispdc/TodoranABPRSVZ11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/52jtbuc7jfhlhpwhbh3dcxqc7y">fatcat:52jtbuc7jfhlhpwhbh3dcxqc7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830031828/http://users.utcluj.ro/~eneia/paper-ispdc2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/38/d1388d8d1c527843b7c83dd62de4bc014853382c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ispdc.2011.36"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

ReactiveML

Louis Mandel, Marc Pouzet
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP &#39;05</a> </i> &nbsp;
The language has been used for programming several complex simulation problems (e.g., routing protocols in mobile ad-hoc networks).  ...  We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems.  ...  In the implementation of Re-activeML, the scheduling is fixed such that the execution is always deterministic but this is not specified.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1069774.1069782">doi:10.1145/1069774.1069782</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/MandelP05.html">dblp:conf/ppdp/MandelP05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/237wjwsuvnbzloycxxhtbbzfki">fatcat:237wjwsuvnbzloycxxhtbbzfki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811054014/http://www.inf.fu-berlin.de/lehre/SS13/Sem-Prog/material/ReactiveML.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6a/2c/6a2cbd8d28c0d10071f35224467758f02e79a50e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1069774.1069782"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 350 results