Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJanuary 2018
Implicit Data-Parallelism in Kahn Process Networks: Bridging the MacQueen Gap
PARMA-DITAM '18: Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and Design Tools and Architectures for Multicore Embedded Computing PlatformsPages 20–25https://doi.org/10.1145/3183767.3183790Modern embedded systems are rapidly increasing their complexity, both in terms of numbers of cores, as well as heterogeneity. To generate efficient code for these systems, it is common to leverage formal models of computation. Among these, the dataflow ...
- articleAugust 2015
Distributed control of chemical process networks
International Journal of Automation and Computing (SPIJAC), Volume 12, Issue 4Pages 368–381https://doi.org/10.1007/s11633-015-0895-9In this paper, we present a review of the current literature on distributed (or partially decentralized) control of chemical process networks. In particular, we focus on recent developments in distributed model predictive control, in the context of the ...
- research-articleOctober 2014
AdaPNet: adapting process networks in response to resource variations
CASES '14: Proceedings of the 2014 International Conference on Compilers, Architecture and Synthesis for Embedded SystemsArticle No.: 22, Pages 1–10https://doi.org/10.1145/2656106.2656112A widely considered strategy to prevent interference issues on multi-processor systems is to isolate the execution of the individual applications by running each of them on a dedicated virtual guest machine. The amount of computing power available to a ...
- research-articleOctober 2012
Molecule: using monadic and streaming I/O to compose process networks on the JVM
OOPSLA '12: Proceedings of the ACM international conference on Object oriented programming systems languages and applicationsPages 315–334https://doi.org/10.1145/2384616.2384640Molecule is a domain specific language library embedded in Scala for easing the creation of scalable and modular concurrent applications on the JVM. Concurrent applications are modeled as parallel process networks that exchange information over mobile ...
Also Published in:
ACM SIGPLAN Notices: Volume 47 Issue 10 - ArticleJune 2010
Lucy-n: a n-synchronous extension of Lustre
MPC'10: Proceedings of the 10th international conference on Mathematics of program constructionPages 288–309Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is associated to a clock indicating the instants when a value is present. A ...
- ArticleMay 2010
Graphical and incremental type inference: a graph transformation approach
TFP'10: Proceedings of the 11th international conference on Trends in functional programmingPages 66–83We present a graph grammar based type inference system for a totally graphic development language. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that acts as an on-line tracer and debugger. Programs are process networks that ...
- ArticleDecember 2008
A Local Deadlock Detection and Resolution Algorithm for Process Networks
CSSE '08: Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 03Pages 311–314https://doi.org/10.1109/CSSE.2008.1468Kahn Process Network (KPN) is a popular model for data streaming applications. Since it is impractical to implement an idealized KPN model with unbounded channel capacities, a bounded scheduling policy has been proposed by T. M. Parks. However, this ...
- research-articleFebruary 2008
SoCDAL: System-on-chip design AcceLerator
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 13, Issue 1Article No.: 17, Pages 1–38https://doi.org/10.1145/1297666.1297683Time-to-market pressure and the ever-growing design complexity of multiprocessor system-on-chips have demanded an efficient design environment that enables fast exploration of large design space. In this article, we introduce a new design environment, ...
- ArticleSeptember 2004
Reactive process networks
EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded softwarePages 137–146https://doi.org/10.1145/1017753.1017778Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurrent processes communicating streams of data through FIFO channels. They can ...
- ArticleSeptember 2004
Translating affine nested-loop programs to process networks
CASES '04: Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systemsPages 220–229https://doi.org/10.1145/1023833.1023864New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The components can be CPUs or DSPs, specialized IP cores, reconfigurable units, or ...
- ArticleMay 2000
Compaan: deriving process networks from Matlab for embedded signal processing architectures
CODES '00: Proceedings of the eighth international workshop on Hardware/software codesignPages 13–17https://doi.org/10.1145/334012.334015This paper presents the Compaan tool that automatically transforms a nested loop program written in Matlab into a process network specification. The process network model of computation fits better with the new emerging kind of embedded architectures ...
- articleMay 1992
Trace-based network proof systems: expressiveness and completeness
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 14, Issue 3Pages 396–416https://doi.org/10.1145/129393.129396We consider incomplete trace-based network proof systems for safety properties, identifying extensions that are necessary and sufficient to achieve relative completeness. We investigate the expressiveness required of any trace logic to encode these ...
- research-articleMarch 1980
A Generalized Implementation Method for Relational Data Sublanguages
IEEE Transactions on Software Engineering (ISOF), Volume 6, Issue 2Pages 152–162https://doi.org/10.1109/TSE.1980.230466A set of primitive operations on tuples is derived; it is shown that these operations are necessary and sufficient for the implementation tion of any language equivalent in power to the relational algebra. The translation of queries from a variety of ...