المؤلفون: Maxwell, D. J.

المساهمون: Galton, A., Fieldsend, J.

مصطلحات موضوعية: 004, Dataflow Programming, Dataflow Languages, Parallelism and Concurrency, Concurrent Programming, Visual Programming, Distributed Programming, Interactive and Reactive Computation, Functional Programming, Interactive Environments, Multiparadigm Languages, Reuse Models, Software Engineering, Software Architecture

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.775731

المؤلفون: Essayas, Gebrewahid, 1984, Yang, Mingkun, 1990, Cedersjö, Gustav, Ul-Abdin, Zain, 1975, Gaspes, Veronica, 1963, Janneck, Jörn W., Svensson, Bertil, 1948

المصدر: HiPEC Proceedings. :321-328

مصطلحات موضوعية: dataflow languages, compilation framework, code generation, manycore, CAL

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-26991
https://hh.diva-portal.org/smash/get/diva2:761174/FULLTEXT01.pdf

المؤلفون: Engineer Bainomugisha, Andoni Lombide Carreton, Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, D.3.2 [Language Classifications, Dataflow languages, Specialised application languages, D.3.3 [Language Constructs and Features, Concurrent programming structures, Constraints, Control structures, Patterns General Terms, Design, Languages Additional Key Words and Phrases, Reactive programming, interactive applications, event-driven applications, dataflow programming, functional reactive programming, reactive systems ACM Reference Format

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.1589; http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.1589
http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pdf

المؤلفون: Henrik Nilsson

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.nott.ac.uk/~nhn/Publications/icfp2005.pdf.

مصطلحات موضوعية: General Terms Languages, Performance Keywords Functional programming, Haskell, arrows, combinator library, domain-specific languages, DSEL, reactive programming, FRP, Yampa, synchronous dataflow languages, GADT

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.7810; http://www.cs.nott.ac.uk/~nhn/Publications/icfp2005.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.7810
http://www.cs.nott.ac.uk/~nhn/Publications/icfp2005.pdf

المؤلفون: Brun, Lélio

المساهمون: STAR, ABES, Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone ( Parkas), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres, Marc Pouzet, Timothy Bourke, Département d'informatique - ENS Paris (DI-ENS), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Département d'informatique - ENS Paris (DI-ENS), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL)

المصدر: Programming Languages [cs.PL]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE003⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Langages synchrones à flots de données, Compilation vérifiée, Synchronous dataflow languages, Scade, Lustre, Modular reset, Sémantique mécanisée, Assistants de preuve interactifs, Reset modulaire, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Mechanized semantics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Coq, Verified compilation, Vélus, Interactive theorem provers

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cfc389262d652042a9240e10f2d524d2
https://theses.hal.science/tel-03068862

المؤلفون: Brun, Lélio

المساهمون: Université Paris sciences et lettres, Pouzet, Marc, Bourke, Timothy

مصطلحات موضوعية: Langages synchrones à flots de données, Lustre, Scade, Compilation vérifiée, Sémantique mécanisée, Vélus, Assistants de preuve interactifs, Coq, Reset modulaire, Synchronous dataflow languages, Verified compilation, Mechanized semantics, Interactive theorem provers, Modular reset, 005.13

Relation: http://www.theses.fr/2020UPSLE003/document

الاتاحة: http://www.theses.fr/2020UPSLE003/document

المؤلفون: Brun, Lélio

المساهمون: Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone ( Parkas), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres, Marc Pouzet, Timothy Bourke

المصدر: https://tel.archives-ouvertes.fr/tel-03068862 ; Programming Languages [cs.PL]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE003⟩.

مصطلحات موضوعية: Synchronous dataflow languages, Lustre, Scade, Verified compilation, Mechanized semantics, Vélus, Interactive theorem provers, Coq, Modular reset, Langages synchrones à flots de données, Compilation vérifiée, Sémantique mécanisée, Assistants de preuve interactifs, Reset modulaire, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: NNT: 2020UPSLE003; tel-03068862; https://tel.archives-ouvertes.fr/tel-03068862; https://tel.archives-ouvertes.fr/tel-03068862/document; https://tel.archives-ouvertes.fr/tel-03068862/file/Brun-2020-These.pdf

الاتاحة: https://tel.archives-ouvertes.fr/tel-03068862
https://tel.archives-ouvertes.fr/tel-03068862/document
https://tel.archives-ouvertes.fr/tel-03068862/file/Brun-2020-These.pdf

المؤلفون: Amstel, Duco van

Thesis Advisors: Grenoble Alpes, Rastello, Fabrice

مصطلحات موضوعية: Optimisation de code, Localité des données, Ordonnancement, Pavage de boucles, Langages dataflow, Architectures manycœurs, Code optimisation, Data locality, Scheduling, Loop tiling, Dataflow languages, Manycore architectures, 004

الاتاحة: http://www.theses.fr/2016GREAM019/document

المؤلفون: Amstel, Duco van

المساهمون: Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Université Grenoble Alpes, Fabrice Rastello

المصدر: Architectures Matérielles [cs.AR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM019⟩

مصطلحات موضوعية: Dataflow languages, Manycore architectures, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Optimisation de code, Scheduling, Pavage de boucles, Ordonnancement, Localité des données, Architectures manycœurs, Loop tiling, Data locality, Langages dataflow, Code optimisation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______212::bc3ffbda59a7c4164175add2e794ccc0
https://tel.archives-ouvertes.fr/tel-01358312v2/document

المؤلفون: Amstel, Duco Van

المساهمون: Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Université Grenoble Alpes, Fabrice Rastello

المصدر: https://theses.hal.science/tel-01358312 ; Architectures Matérielles [cs.AR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM019⟩.

مصطلحات موضوعية: Code optimisation, Data locality, Scheduling, Loop tiling, Dataflow languages, Manycore architectures, Optimisation de code, Localité des données, Ordonnancement, Pavage de boucles, Langages dataflow, Architectures manycœurs, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Relation: NNT: 2016GREAM019

الاتاحة: https://theses.hal.science/tel-01358312
https://theses.hal.science/tel-01358312v2/document
https://theses.hal.science/tel-01358312v2/file/VANAMSTEL_2016_archivage.pdf

المؤلفون: Amstel, Duco van

المساهمون: Université Grenoble Alpes (ComUE), Rastello, Fabrice

مصطلحات موضوعية: Optimisation de code, Localité des données, Ordonnancement, Pavage de boucles, Langages dataflow, Architectures manycœurs, Code optimisation, Data locality, Scheduling, Loop tiling, Dataflow languages, Manycore architectures

Time: 004

Relation: http://www.theses.fr/2016GREAM019/document

الاتاحة: http://www.theses.fr/2016GREAM019/document

المؤلفون: Bottoni, Paolo Gaspare, Ceriani, MICHELE GEREMIA

مصطلحات موضوعية: Dataflow languages, Visual editorOntologies

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3686::c6981a48036b69195ad278a9daeae5bf
http://hdl.handle.net/11573/778146

المؤلفون: Gebrewahid, Essayas, 1984, Ul-Abdin, Zain, 1975, Gaspes, Veronica, 1963

مصطلحات موضوعية: Design, Algorithms, Performance, dataflow languages, compilation framework, manycore, CAL

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34882

المؤلفون: Gebrewahid, Essayas, 1984, Ul-Abdin, Zain, 1975

المصدر: 2017 Forum on Specification and Design Languages (FDL).

مصطلحات موضوعية: Dataflow Languages, Manycores, Compiler, Embedded systems, MPEG-4 decoder

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34881

المؤلفون: D'Hollander, Erik, Stroobandt, Dirk, Touhafi, Abdellah

المساهمون: Bader, Michael, Bode, Arndt, Bungartz, Hans-Joachim, Gerndt, Michael, Joubert, Gerhard, Peters, Frans

المصدر: PARALLEL COMPUTING : ACCELERATING COMPUTATIONAL SCIENCE AND ENGINEERING (CSE)

مصطلحات موضوعية: Technology and Engineering, C-slow retiming, roofline model, routing, dataflow languages, high-level synthesis, polyhedral computations, image processing

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______330::9b9b92122c6e458a2472986683e2bc7a
https://biblio.ugent.be/publication/6926712/file/6926729

المؤلفون: Essayas Gebrewahid, Gustav Cedersjö, Mingkun Yang, Bertil Svensson, Zain Ul Abdin, Jorn W. Janneck, Verónica Gaspes

المصدر: EUC

مصطلحات موضوعية: CAL, Java, Computer science, Dataflow, dataflow languages, Parallel computing, code generation, compilation framework, Massively parallel processor array, Software portability, Imperative programming, Programming paradigm, Code generation, Inbäddad systemteknik, Embedded Systems, computer, manycore, Dataflow architecture, computer.programming_language

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::442c2d47afe6755dcdcecd0115687d3d
http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-26991

المؤلفون: Auger, Cédric

Thesis Advisors: Paris 11, Pouzet, Marc

مصطلحات موضوعية: Compilation, Sémantique, Synchrone, Preuve de programmes, Traduction par validation, Langage flots de données, Langage impératif, Certification, Semantics, Synchronous, Proofs of programs, Translation validation, Dataflow languages, Imperative languages

الاتاحة: http://www.theses.fr/2013PA112018/document

المؤلفون: Auger, Cédric

المساهمون: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'informatique de l'école normale supérieure (LIENS), Département d'informatique - ENS-PSL (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université Paris Sud - Paris XI, Marc Pouzet

المصدر: https://theses.hal.science/tel-00818169 ; Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112018⟩.

مصطلحات موضوعية: Compilation, Semantics, Synchronous, Proofs of programs, Translation validation, Dataflow languages, Imperative languages, Certification, Sémantique, Synchrone, Preuve de programmes, Traduction par validation, Langage flots de données, Langage impératif, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: NNT: 2013PA112018

الاتاحة: https://theses.hal.science/tel-00818169
https://theses.hal.science/tel-00818169v1/document
https://theses.hal.science/tel-00818169v1/file/VD2_AUGER_CEDRIC_07022013.pdf

المؤلفون: Auger, Cédric

المساهمون: Paris 11, Pouzet, Marc

مصطلحات موضوعية: Compilation, Sémantique, Synchrone, Preuve de programmes, Traduction par validation, Langage flots de données, Langage impératif, Certification, Semantics, Synchronous, Proofs of programs, Translation validation, Dataflow languages, Imperative languages

Relation: http://www.theses.fr/2013PA112018/document

الاتاحة: http://www.theses.fr/2013PA112018/document

المؤلفون: Romberg, Jan

المساهمون: Broy, Manfred (Prof. Dr. Dr.h.c), Broy, Manfred (Prof. Dr. Dr. h.c.), Müller-Glaser, Klaus D. (Prof. Dr.)

مصطلحات موضوعية: Synchrone Datenflusssprachen, Eingebettete Systeme, Codesynthese, Verteilte Systeme, ddc:000, synchronous dataflow languages, embedded systems, code synthesis, distributed systems, Informatik, Wissen, Systeme

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______518::4fc78f960f1a445d408c265e7c2101ab
https://mediatum.ub.tum.de/doc/601803/document.pdf