Filters








298 Hits in 4.2 sec

Symbolic simulation of dataflow synchronous programs with timers

Guillaume Baudart, Timothy Bourke, Marc Pouzet
<span title="">2017</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/blxxpaotjfgulpzlgmx3ofvyua" style="color: black;">2017 Forum on Specification and Design Languages (FDL)</a> </i> &nbsp;
The resulting hybrid programs are deterministic and can be simulated with a numerical solver.  ...  In this article, we focus on a subset of hybrid programs where continuous behaviors are expressed using timers, nondeterministic guards, and invariants, as in Timed Safety Automata.  ...  Yo-yo [15] , [16] is a tool for the symbolic simulation of discrete-time dataflow programs extended with nondeterministic relations between variables.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fdl.2017.8303894">doi:10.1109/fdl.2017.8303894</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fdl/BaudartBP17.html">dblp:conf/fdl/BaudartBP17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/62wphtog4vennnxr4dyxvmmwoa">fatcat:62wphtog4vennnxr4dyxvmmwoa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723211832/https://hal.inria.fr/hal-01575621/file/paper.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/80/f1/80f1d9d023a0632aade24739737b340b961375c3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fdl.2017.8303894"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Model-based Programming Environment of Embedded Software for MPSoC

Soonhoi Ha
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fkjmyf3l45eo5ovjdnpeqpdjd4" style="color: black;">2007 Asia and South Pacific Design Automation Conference</a> </i> &nbsp;
-At specification level: static analysis of program specification and functional simulation -After code generation: static analysis of C code -At simulation time: debugging on virtual prototyping environment  ...  and power Analysis (simulation-based) Debuggable virtual prototype Proposed design flow • Model-based programming -PeaCE model (dataflow + FSM + task model) -ESUML (embedded system UML) model  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aspdac.2007.358007">doi:10.1109/aspdac.2007.358007</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/aspdac/Ha07.html">dblp:conf/aspdac/Ha07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2nmxfrfjojckplsq4fdtqybrwm">fatcat:2nmxfrfjojckplsq4fdtqybrwm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810123645/http://www.aspdac.com/aspdac2007/pdf/archive/3D-1.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/74/b374123d15a390dacc735fc33357f81a1b405968.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aspdac.2007.358007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

CÉU: EMBEDDED, SAFE, AND REACTIVE PROGRAMMING

FRANCISCO PEDRO C SANTANNA, NOEMI DE LA ROCQUE RODRIGUEZ, ROBERTO IERUSALIMSCHY
<span title="2018-02-02">2018</span> <i title="Faculdades Catolicas"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jhmsdj6uu5hfvojbjy3q2e2cfa" style="color: black;">Monografias em Ciência da Computação</a> </i> &nbsp;
CÉU also introduces first-class support for "wall-clock" time (i.e. time from the real world), and offers seamless integration with C and simulation of programs in the language itself.  ...  However, the synchronous and static nature of CÉU enables a compile time analysis that can enforce deterministic and memory-safe programs.  ...  This way, CÉU programs have access to all global C symbols the target platform offers. Programs in CÉU can also define new symbols through C blocks, as Figure 6 shows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17771/pucrio.dimcc.25258">doi:10.17771/pucrio.dimcc.25258</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ccrtvnqyc5gk5llyvjoftc4evi">fatcat:ccrtvnqyc5gk5llyvjoftc4evi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429165215/https://www.maxwell.vrac.puc-rio.br/25258/25258.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/24/ea/24ea49bef19bc98d4ea88256fb2201d6f968ca07.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17771/pucrio.dimcc.25258"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Stream Processing with Dependency-Guided Synchronization (Artifact) [article]

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
<span title="2021-11-24">2021</span> <i title="Zenodo"> Zenodo </i> &nbsp;
Artifact for the PPoPP 2022 paper "Stream Processing with Dependency-Guided Synchronization".  ...  In the program, the set of tags may be symbolic (infinite): here Tag is parameterized by an integer Key.  ...  First a program P induces a set of P-valid, i.e. correct with respect to it, synchronization plans.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.5722610">doi:10.5281/zenodo.5722610</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gqfjiy3ny5bpdkpvyvem65n2eq">fatcat:gqfjiy3ny5bpdkpvyvem65n2eq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220131014444/https://zenodo.org/record/5722611/files/ppopp22-paper65.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/65/0e/650e240e600ba27ccd239b651d0fe77919b92759.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.5722610"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

FlashBox

Siddharth Choudhuri, Tony Givargis
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uo6yx5jpgnf2zl7mkrumytd4ti" style="color: black;">Proceedings of the 2009 ACM symposium on Applied Computing - SAC &#39;09</a> </i> &nbsp;
A clean microcontroller with a timer, coupled with the synchronous state machine computation model, can provide such a balance.  ...  The current situation of embedded courses being senior-level courses hampers effective teaching of time-oriented programming, as early-learned programming habits can be hard to break.  ...  Other common computation models in embedded systems include dataflow models, such as synchronous dataflow.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1529282.1529657">doi:10.1145/1529282.1529657</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sac/ChoudhuriG09.html">dblp:conf/sac/ChoudhuriG09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pwy5pa2eenc35mcvbnxpnutyie">fatcat:pwy5pa2eenc35mcvbnxpnutyie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150702230034/http://www.ics.uci.edu/~givargis/pubs/C38.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/1a/74/1a74af40cf7fbcdb70de2140c638bda9078d96fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1529282.1529657"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Dataflow constructs for a language extension based on the algebra of communicating processes

André van Delft
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">Proceedings of the 4th Workshop on Scala - SCALA &#39;13</a> </i> &nbsp;
However, the ACP background enabled SubScript to deal with the challenges of the dataflow paradigm. This is achieved through several new features. 1.  ...  SubScript is an extension to the Scala programming language with constructs from the Algebra of Communicating Processes, targeted at event-driven and concurrent programming.  ...  INTRODUCTION Dataflow programming is a programming paradigm that models a program as a directed graph of the data flowing between opera-Copyright is held by the author/owner.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2489837.2489849">doi:10.1145/2489837.2489849</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/Delft13.html">dblp:conf/ecoop/Delft13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6lya5tpug5fjvb4edf6wneyzay">fatcat:6lya5tpug5fjvb4edf6wneyzay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160729201134/http://subscript-lang.org/wp-content/uploads/2013/10/SubScript-ECOOP2013-pns.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/97/f3/97f38405a9be512714b7e59f8913b32cdbbf830b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2489837.2489849"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Synchronous Closing and Flow Analysis for Model Checking Timed Systems [chapter]

Natalia Ioustinova, Natalia Sidorova, Martin Steffen
<span title="">2004</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 employ data-flow analysis to detect instances of variables and timers influenced by the data passing between the system and the environment.  ...  With large software systems beyond the range of fully automatic verification, however, a combination of decomposition and abstraction techniques is needed.  ...  In the context of software-testing, [9] describes an a dataflow algorithm to close program fragments given in the C-language with the most general environment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30101-1_14">doi:10.1007/978-3-540-30101-1_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/frbvlma36re57dafndgnpviwmi">fatcat:frbvlma36re57dafndgnpviwmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20041107223516/http://www.win.tue.nl:80/~sidorova/04/fmco2003%20.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/cb/5a/cb5a3d29d89a8fe05b154a4a10f75c491b033d86.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30101-1_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

ESPeciaL: an embedded systems programming language

Christopher Métrailler, Pierre-André Mudry
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 6th ACM SIGPLAN Symposium on Scala - SCALA 2015</a> </i> &nbsp;
Synchronous dataflow To be able to transform any dataflow graph into an efficient sequential program, the dataflow must be restricted to a synchronous dataflow [HCRP91] .  ...  Applications are not defined by a single sequential process, but by a complex network of asynchronous processes [Mai13] . Dataflow programming Dataflow is the synchronous approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2774975.2774982">doi:10.1145/2774975.2774982</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/MetraillerM15.html">dblp:conf/pldi/MetraillerM15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m2gqbhsgrnccniu3ipazww4xwa">fatcat:m2gqbhsgrnccniu3ipazww4xwa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815155428/http://doc.rero.ch/record/255601/files/tm_especial_metrailler.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/dc/86/dc8628a70ca9fee3d3dfe6f4c45ec8359a10bd8a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2774975.2774982"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Loose synchronization of event-triggered networks for distribution of synchronous programs

Jan Romberg, Andreas Bauer
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2n36vommjbafnkaccvl2qvetye" style="color: black;">Proceedings of the fourth ACM international conference on Embedded software - EMSOFT &#39;04</a> </i> &nbsp;
However, for deriving implementations, use of synchronous programs is currently limited to hardware synthesis, generation of non-distributed software, or deployment on timetriggered architectures.  ...  Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design.  ...  Acknowledgements Thanks to Bernhard Schätz and the anonymous reviewers for helpful comments on an earlier version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1017753.1017786">doi:10.1145/1017753.1017786</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emsoft/RombergB04.html">dblp:conf/emsoft/RombergB04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/twgorhygdzdnja753kjwles7iy">fatcat:twgorhygdzdnja753kjwles7iy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090922125056/http://users.rsise.anu.edu.au/~baueran/publications/emsoft04.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/c9/b0/c9b046cdb8926bf48229fe9220be213ea02d340a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1017753.1017786"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Accelerating NWChem Coupled Cluster Through Dataflow-Based Execution [chapter]

Heike Jagode, Anthony Danalis, George Bosilca, Jack Dongarra
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We demonstrate performance acceleration by more than a factor of two in the execution of the entire CC component of NWChem, concluding that the utilization of dataflow-based execution for CC methods enables  ...  We discuss the modularity of our approach and explain how the PaRSEC-enabled dataflow version of the subroutines seamlessly integrate into the NWChem codebase.  ...  Still, the outcome of our effort of exploiting finer granularity and parallelism with runtime/dataflow scheduling is twofold.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-32149-3_35">doi:10.1007/978-3-319-32149-3_35</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6bwtlgnw3nb5pjaanvikxs4y6q">fatcat:6bwtlgnw3nb5pjaanvikxs4y6q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320053045/https://www.icl.utk.edu/files/publications/2015/icl-utk-881-2015.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/8c/8e/8c8e442f010877b60660eeb697f4f73a84fed724.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-32149-3_35"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards Verification of Uncertain Cyber-Physical Systems

Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair
<span title="2017-04-08">2017</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
The paper describes an approach for symbolic simulation-based verification of CPS with uncertainties.  ...  For numerical simulation, uncertain behavior can hardly be covered in a comprehensive way which motivates the use of symbolic methods.  ...  Acknowlegement This work is funded, in part, within the ANCONA project (16ES021) within the program IKT 2020 by the German Ministry of Education and Research (BMBF) and by Robert Bosch AG, Intel AG, and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.247.1">doi:10.4204/eptcs.247.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3g7knqzurbbnddnwu5uez2gy5q">fatcat:3g7knqzurbbnddnwu5uez2gy5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200823085953/https://arxiv.org/pdf/1705.00519v1.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d0/1b/d01beb7106527f4969b45fe74f1e68777a242257.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.247.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Reo + mCRL2 : A framework for model-checking dataflow in service compositions

Natallia Kokash, Christian Krause, Erik de Vink
<span title="2011-08-14">2011</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;
In their most basic form, they reflect service synchronization and dataflow constraints imposed by connectors.  ...  mCRL2, address the correctness of this mapping, discuss tool support, and present a detailed example that illustrates the use of Reo empowered with mCRL2 for the analysis of dataflow in service-based  ...  verification toolset with a specification language that enables the compositional construction of distributed programs by synchronizing actions of communicating processes [26] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-011-0191-6">doi:10.1007/s00165-011-0191-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tzflijtbb5gcdlpdoeurh42z6y">fatcat:tzflijtbb5gcdlpdoeurh42z6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720202710/https://ir.cwi.nl/pub/18672/18672A.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/e4/3c/e43c737fb696fd70720585e708d9b3a0659fb9fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-011-0191-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An end-to-end domain-driven software development framework

Aditya Agrawal, Gabor Karsai, Akos Ledeczi
<span title="">2003</span> <i title="ACM Press"> Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA &#39;03 </i> &nbsp;
The framework allows the creation of custom, domain-oriented programming environments that support end-user programmability.  ...  It consists of a meta-programmable domain-specific modeling environment and a model transformation generator toolset based on graph transformations.  ...  Synchronous data flow is a simple and efficient model of computation, and an algorithm exists that can compute the static schedule for node invocations from a synchronous dataflow network.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949345.949347">doi:10.1145/949345.949347</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/isih446psveednksnfei5kby3u">fatcat:isih446psveednksnfei5kby3u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160102133125/http://www.isis.vanderbilt.edu/sites/default/files/Agrawal_A_10_0_2003_An_End_to_.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/92/df/92dfa9b9044c7eaff30cb6596107a14d6530e818.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949345.949347"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An end-to-end domain-driven software development framework

Aditya Agrawal, Gabor Karsai, Akos Ledeczi
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA &#39;03</a> </i> &nbsp;
The framework allows the creation of custom, domain-oriented programming environments that support end-user programmability.  ...  It consists of a meta-programmable domain-specific modeling environment and a model transformation generator toolset based on graph transformations.  ...  Synchronous data flow is a simple and efficient model of computation, and an algorithm exists that can compute the static schedule for node invocations from a synchronous dataflow network.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949344.949347">doi:10.1145/949344.949347</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/AgrawalKL03.html">dblp:conf/oopsla/AgrawalKL03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7uxwbhgfqzcfbjykczgxwqsrv4">fatcat:7uxwbhgfqzcfbjykczgxwqsrv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160102133125/http://www.isis.vanderbilt.edu/sites/default/files/Agrawal_A_10_0_2003_An_End_to_.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/92/df/92dfa9b9044c7eaff30cb6596107a14d6530e818.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/949344.949347"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications

Abhiroop Sarkar, Mary Sheeran
<span title="2020-09-08">2020</span> <i title="ACM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">22nd International Symposium on Principles and Practice of Declarative Programming</a> </i> &nbsp;
With the growing ubiquity of Internet of Things(IoT), more complex logic is being programmed on resource-constrained IoT devices, almost exclusively using the C programming language.  ...  We present Hailstorm, a statically-typed, purely functional programming language that attempts to address the above problem. It is a high-level programming language with a strict typing discipline.  ...  A Hailstorm program is compiled to a dataflow graph, which is executed synchronously. The core of the language is a pure callby-value implementation of the lambda calculus.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3414080.3414092">doi:10.1145/3414080.3414092</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/SarkarS20.html">dblp:conf/ppdp/SarkarS20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xzihmlkcine65ix2q6i3kwf66u">fatcat:xzihmlkcine65ix2q6i3kwf66u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428013840/https://research.chalmers.se/publication/519894/file/519894_Fulltext.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/2f/06/2f065bc750fbd2dc2dcef10b372e7aa9372040fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3414080.3414092"> <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 298 results