Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Software and its engineering → Data flow languages"'
Reactive programming is a programming paradigm whereby programs are internally represented by a dependency graph, which is used to automatically (re)compute parts of a program whenever its input changes. In practice reactive programming can only be u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9f10295bf28902843e90b765fa0faef
http://arxiv.org/abs/2306.12313
http://arxiv.org/abs/2306.12313
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution enviro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3e3932b100becdcd9b4646fd95f287ee
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution enviro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ea042219855bf8302e71d7b4623ac68
Signals are principal abstraction in reactive programming languages and constitute the basics of reactive computations in modern systems, such as the Internet of Things. Signals sometimes utilize past values, which leads to space leak, a problem wher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac2e38c25fb774ef9ef52ffb285a785b
Chemical reaction networks (CRNs) are an important tool for molecular programming, a field that is rapidly expanding our ability to deploy computer programs into biological systems for a variety of applications. However, CRNs are also difficult to wo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c51849255bd9a014561abb1c777547e
Publikováno v:
Leibniz International Proceedings in Informatics (LIPIcs), 193
12th International Conference on Interactive Theorem Proving (ITP 2021)
Brun, M, Decova, S, Lattuada, A & Traytel, D 2021, Verified Progress Tracking for Timely Dataflow. in L Cohen & C Kaliszyk (eds), 12th International Conference on Interactive Theorem Proving (ITP 2021) ., 10, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics, LIPIcs, vol. 193, pp. 1-20, 12th International Conference on Interactive Theorem Proving-ITP 2021, Rome / (Virtual Conference), Italy, 29/06/2021 . https://doi.org/10.4230/LIPICS.ITP.2021.10
12th International Conference on Interactive Theorem Proving (ITP 2021)
Brun, M, Decova, S, Lattuada, A & Traytel, D 2021, Verified Progress Tracking for Timely Dataflow. in L Cohen & C Kaliszyk (eds), 12th International Conference on Interactive Theorem Proving (ITP 2021) ., 10, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics, LIPIcs, vol. 193, pp. 1-20, 12th International Conference on Interactive Theorem Proving-ITP 2021, Rome / (Virtual Conference), Italy, 29/06/2021 . https://doi.org/10.4230/LIPICS.ITP.2021.10
Large-scale stream processing systems often follow the dataflow paradigm, which enforces a program structure that exposes a high degree of parallelism. The Timely Dataflow distributed system supports expressive cyclic dataflows for which it offers lo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ccec77c3e300edbb2356b2f36f1bd179
https://hdl.handle.net/20.500.11850/507007
https://hdl.handle.net/20.500.11850/507007
Autor:
Aamer, Heba, Van den Bussche, Jan
Last year we introduced the logic FLIF (forward logic of information flows) as a declarative language for specifying complex compositions of information sources with limited access patterns. The key insight of this approach is to view a system of inf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba2fd739ea7ddbe15a283d146f7ceed4
http://hdl.handle.net/1942/36202
http://hdl.handle.net/1942/36202
This artefact provides runnable versions of the code samples given in the main publication. An interpreter for the Stella language is provided together with a basic web-based IDE (syntax highlighting + running programs) which is able to run all Stell
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f2db6b02dc2f7537a6cbd926e46996f
https://hdl.handle.net/20.500.14017/11b01c75-0a35-4a1c-b0ce-e04c057b8124
https://hdl.handle.net/20.500.14017/11b01c75-0a35-4a1c-b0ce-e04c057b8124
Publikováno v:
ACM Transactions on Architecture and Code Optimization
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2016, 13 (2), ⟨10.1145/2910583⟩
ACM Transactions on Architecture and Code Optimization, 2016, 13 (2), ⟨10.1145/2910583⟩
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2016, 13 (2), ⟨10.1145/2910583⟩
ACM Transactions on Architecture and Code Optimization, 2016, 13 (2), ⟨10.1145/2910583⟩
International audience; The advent of portable software-defined radio (SDR) technology is tightly linked to the resolution of a difficult problem: efficient compilation of signal processing applications on embedded computing devices. Modern wireless
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8e3db7d1b71508c5416ee4e67b8828b
https://hal.inria.fr/hal-01396143/file/taco.pdf
https://hal.inria.fr/hal-01396143/file/taco.pdf