Výsledky vyhledávání - Dataflow Synchronous Programming

Lustre, Fast First, and Fresh

Autoři: Bourke, Timothy Pouzet, Marc

Přispěvatelé: Bourke, Timothy Pouzet, Marc

Zdroj: IEEE Embedded Systems Letters. 17:119-122

Témata: Time-Centric Reactive Software, [INFO] Computer Science [cs], Dataflow Synchronous Programming

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04815075v1
https://doi.org/10.1109/les.2024.3498932
https://inria.hal.science/hal-04815075v1/document

Mechanized semantics and verified compilation for a dataflow synchronous language with reset

Autoři: Bourke, Timothy Brun, Lélio Pouzet, Marc

Přispěvatelé: Bourke, Timothy Brun, Lélio Pouzet, Marc

Zdroj: Proceedings of the ACM on Programming Languages. 4:1-29

Témata: CCS Concepts: • Software and its engineering → Formal language definitions, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Interactive theorem proving, Compilers, Software verification, 0202 electrical engineering, electronic engineering, information engineering, Verified compilation, 02 engineering and technology, • Computer systems organization → Embedded software Additional Key Words and Phrases: stream languages, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3371112
https://inria.hal.science/hal-02426573v1
https://inria.hal.science/hal-02426573v1/document
https://doi.org/10.1145/3371112
https://dl.acm.org/doi/pdf/10.1145/3371112
https://tel.archives-ouvertes.fr/tel-03068862
https://dl.acm.org/doi/10.1145/3371112
https://tel.archives-ouvertes.fr/tel-03068862/document
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#BourkeBP20
https://hal.inria.fr/hal-02426573/document

Symbolic simulation of dataflow synchronous programs with timers

Autoři: Baudart, Guillaume Bourke, Timothy Pouzet, Marc a další

Přispěvatelé: Baudart, Guillaume Bourke, Timothy Pouzet, Marc a další

Zdroj: Lecture Notes in Electrical Engineering ISBN: 9783030022143

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Synchronous Languages, Symbolic Simulation, 0202 electrical engineering, electronic engineering, information engineering, Timed Automata, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, 0102 computer and information sciences, 02 engineering and technology, Type System, Compilation, Hybrid Systems, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01575621v3/document
https://inria.hal.science/hal-01575621v4/document
https://doi.org/10.1007/978-3-030-02215-0_3
https://inria.hal.science/hal-01575621v4
https://dblp.uni-trier.de/db/conf/fdl/fdl2017.html#BaudartBP17
https://www.archives-ouvertes.fr/hal-01575621v2
https://link.springer.com/chapter/10.1007/978-3-030-02215-0_3
https://hal.archives-ouvertes.fr/hal-01575621v1
https://hal.inria.fr/hal-01575621v4

A type system for the automatic distribution of higher-order synchronous dataflow programs

Autoři: Delaval, Gwenaël Girault, Alain Pouzet, Marc a další

Přispěvatelé: Delaval, Gwenaël Girault, Alain Pouzet, Marc a další

Zdroj: ACM SIGPLAN Notices. 43:101-110

Témata: Synchronous programming, FOS: Computer and information sciences, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer Science - Programming Languages, type systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.3: Data-flow languages, functional programming, and parallel languages, 02 engineering and technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], synchronous programming, distribution, 0202 electrical engineering, electronic engineering, information engineering, distributed, automatic distribution, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-00750870/file/lctes50-delaval.pdf
http://arxiv.org/abs/1211.2776
https://inria.hal.science/hal-00750870v1
https://inria.hal.science/hal-00750870v1/document
https://doi.org/10.1145/1375657.1375672
https://inria.hal.science/inria-00193731v2
https://dl.acm.org/doi/10.1145/1379023.1375672
https://dblp.uni-trier.de/db/journals/corr/corr1211.html#abs-1211-2776
http://pop-art.inrialpes.fr/people/delaval/pub/lctes08.pdf
https://hal.inria.fr/hal-00750870/document
https://dl.acm.org/doi/10.1145/1375657.1375672
http://ui.adsabs.harvard.edu/abs/2012arXiv1211.2776D/abstract
https://core.ac.uk/display/23628782
https://arxiv.org/abs/1211.2776
https://arxiv.org/pdf/1211.2776

Verified Compilation of a Synchronous Dataflow Language with State Machines

Autoři: Pesin, Basile Bourke, Timothy

Přispěvatelé: Pesin, Basile Bourke, Timothy

Témata: Verified Compilation, Compilation Vérifiée, Synchronous Programming, [INFO] Computer Science [cs], Embedded Systems, Programmation synchrone, Systèmes embarquées

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/tel-04830529v1

Mechanized semantics and verified compilation for a dataflow synchronous language with reset

Autoři: Brun, Lélio STAR, ABES

Přispěvatelé: Brun, Lélio STAR, ABES

Témata: Compilation vérifiée, Langages synchrones à flots de données, Synchronous dataflow languages, Scade, Lustre, Modular reset, Assistants de preuve interactifs, Sémantique mécanisée, Reset modulaire, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Mechanized semantics, Coq, Verified compilation, Vélus, Interactive theorem provers

Popis souboru: application/pdf

Přístupová URL adresa: https://theses.hal.science/tel-03068862v1

Schedule Agnostic Semantics for Reactive Probabilistic Programming

Autoři: Guillaume Baudart Louis Mandel Christine Tasson

Zdroj: ACM Transactions on Probabilistic Machine Learning. 1:1-43

Efficient Task Flow Parallel System for New Generation Sunway Processor

Autoři: FU You, DU Leiming, GAO Xiran, CHEN Li

Zdroj: Jisuanji kexue, Vol 51, Iss 12, Pp 137-146 (2024)

Témata: sequential task flow model, heterogeneous multi-core parallelism, task scheduling, dataflow parallelism, bulk synchronous model, Computer software, QA76.75-76.765, Technology (General), T1-995

Popis souboru: electronic resource

Relation: https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2024-51-12-137.pdf; https://doaj.org/toc/1002-137X

Přístupová URL adresa: https://doaj.org/article/6aa626e505294f5fb8e8e79fe0600bc1

A denotational semantics for a verified synchronous compiler

Autoři: Jeanmaire, Paul

Přispěvatelé: Jeanmaire, Paul

Témata: Synchronous programming, Denotational semantics, Sémantique dénotationnelle, Compilation vérifiée, Proof assistants, Embedded systems, Preuves de programmes, Verified compilation, [INFO] Computer Science [cs], Proof of programs, Assistants de preuve, Programmation synchrone, Systèmes embarqués

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/tel-04885682v1

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

Autoři: Lélio Brun Christophe Garion Pierre-Loïc Garoche a další

Přispěvatelé: Lélio Brun Christophe Garion Pierre-Loïc Garoche a další

Zdroj: ACM Transactions on Embedded Computing Systems. 22:1-24

Témata: Source code generation, Model-driven software engineering, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Formal methods, 0202 electrical engineering, electronic engineering, information engineering, Compilers for synchronous languages, Lustre, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Data flow languages, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Formal software verification

Reactive parallel processing for synchronous dataflow

Autoři: Claus Traulsen Reinhard von Hanxleden

Zdroj: Proceedings of the 2010 ACM Symposium on Applied Computing. :483-490

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/sac/sac2010.html#TraulsenH10
http://portal.acm.org/citation.cfm?doid=1774088.1774189
https://dl.acm.org/doi/10.1145/1774088.1774189

The N-computer : a data-flow bulk synchronous machine for data parallel programs

Autoři: Qadar, Muhammad Abdul

Témata: 005, Computer software & programming

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.265169

Density-Based Semantics for Reactive Probabilistic Programming

Autoři: Baudart, Guillaume Mandel, Louis Tasson, Christine

Témata: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2308.01676

Additional Titles: Construction of Inverse Computation in Synchronous Dataflow Programming

Autoři: Shirai, Mizuki Moriguchi, Sosuke Watanabe, Takuo

Témata: Journal Article., NA.

URL: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100907995
https://doi.org/10.11309/jssst.41.3_34

Synchronous dataflow models for Halide programming environment

Autoři: Zhou, H.

Témata: Master, Master

URL: https://pure.tue.nl/ws/files/46945087/855420-1.pdf
https://pure.tue.nl/ws/files/46945087/855420-1.pdf

From synchronous intensional programming to efficient implementation

Autoři: B. Le Goff T. Gautier

Zdroj: [1989] Proceedings. Real-Time Systems Symposium. :249-257

Témata: 0209 industrial biotechnology, 0203 mechanical engineering, 02 engineering and technology

Přístupová URL adresa: https://ieeexplore.ieee.org/document/63578/
https://dblp.uni-trier.de/db/conf/rtss/rtss1989.html#GautierG89

Transparent Synchronous Dataflow

Autoři: Cheung, Steven W. T. Ghica, Dan R. Muroya, Koko

Témata: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1910.09579

High-level synthesis of elasticity : from models to circuits

Autoři: Jelodari Mamaghani, Mahdi Garside, James Pavlidis, Vasilis

Přispěvatelé: Jelodari Mamaghani, Mahdi Garside, James Pavlidis, Vasilis

Témata: 621.3815, High-level Synthesis, Elastic Circuits, Dataflow Computing, eTeak, CAD, EDA, Globally Asynchronous Locally Synchronous

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.686768

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs

Autoři: Delaval, Gwenaël Girault, Alain Pouzet, Marc

Témata: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1211.2776

Programming Patterns in Dataflow Matrix Machines and Generalized Recurrent Neural Nets

Autoři: Bukatin, Michael Matthews, Steve Radul, Andrey

Témata: Computer Science - Programming Languages, Computer Science - Neural and Evolutionary Computing, text

URL: http://arxiv.org/abs/1606.09470