Výsledky vyhledávání - "Stream Programming"

Checking equivalence of corecursive streams: An inductive procedure

Autoři: Davide Ancona Pietro Barbieri Elena Zucca a další

Přispěvatelé: Davide Ancona Pietro Barbieri Elena Zucca a další

Témata: Operational semantics, Stream programming, Regular trees

Popis souboru: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001345339400001; volume:1009; firstpage:1; lastpage:19; numberofpages:19; journal:THEORETICAL COMPUTER SCIENCE; https://hdl.handle.net/11567/1219980

Dostupnost: https://hdl.handle.net/11567/1219980
https://doi.org/10.1016/j.tcs.2024.114680

RA-LPEL : a Resource-Aware Light-weight Parallel Execution Layer for reactive stream processing networks on the SCC many-core tiled architecture

Autoři: Karavadara, Nilesh

Témata: 005.4, RA-LPEL, HALLOC, SCC, Tiled many-core architecture, Memory management, DVFS, Reactive stream programming, Resource-aware execution layer, Power management, S-Net

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

Enhancing Expressivity of Checked Corecursive Streams

Autoři: Ancona D. Barbieri P. Zucca E. a další

Přispěvatelé: Ancona D. Barbieri P. Zucca E. a další

Témata: Operational semantic, Runtime checking, Stream programming

Popis souboru: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-99460-0; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-99461-7; info:eu-repo/semantics/altIdentifier/wos/WOS:001288642600001; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 16th International Symposium on Functional and Logic Programming, FLOPS 2022; firstpage:1; lastpage:18; numberofpages:18; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11567/1103535

Dostupnost: https://hdl.handle.net/11567/1103535
https://doi.org/10.1007/978-3-030-99461-7_1

Equality of Corecursive Streams Defined by Finitary Equational Systems

Autoři: Ancona D. Barbieri P. Zucca E. a další

Přispěvatelé: Ancona D. Barbieri P. Zucca E. a další

Témata: operational semantic, regular tree, stream programming

Popis souboru: ELETTRONICO

Relation: ispartofbook:CEUR Workshop Proceedings; 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022; firstpage:86; lastpage:98; numberofpages:13; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11567/1103534

Dostupnost: https://hdl.handle.net/11567/1103534

An efficient execution model for reactive stream programs

Autoři: Nguyen, Vu Thien Nga

Témata: 005.1, reactive stream programming, scheduling, parallel systems, distributed systems, performance, throughput, latency

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

Scalable Mapping of Streaming Applications onto MPSoCs Using Optimistic Mixed Integer Linear Programming

Autoři: Gayen, Neela Ax, Johannes Flasskamp, Martin a další

Přispěvatelé: Gayen, Neela Ax, Johannes Flasskamp, Martin a další

Zdroj: 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). :348-352

Témata: System on Chip, Integer Linear Programming, Scalable Mapping, Mixed Integer Linear Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Stream Programming, Throughput, Task Scheduling, Streamit

Popis souboru: application/pdf

Přístupová URL adresa: https://eprints.qut.edu.au/116620/
https://dblp.uni-trier.de/db/conf/pdp/pdp2018.html#GayenAFKJTK18

Checked corecursive streams: Expressivity and completeness

Autoři: Ancona D. Barbieri P. Zucca E.

Zdroj: Theoretical Computer Science. 974:114081

Témata: Operational semantics, Runtime checking, Stream programming

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11567/1144375
https://doi.org/10.1016/j.tcs.2023.114081

Hierarchical Synchronization between Processes in a High-Performance Execution Support of Dataflow Process Networks on Many-Core Architectures

Autoři: Nguyen, D.P. Nguyen, T.H. Dubrulle, P. a další

Přispěvatelé: Nguyen, D.P. Nguyen, T.H. Dubrulle, P. a další

Zdroj: 2014 Eighth International Conference on Complex, Intelligent and Software Intensive Systems. :439-444

Témata: [SPI] Engineering Sciences [physics], Complex networks, 0211 other engineering and technologies, Integer programming, 0102 computer and information sciences, 02 engineering and technology, Vectors, Synchronization, [INFO] Computer Science [cs], Task synchronization, Heuristic programming, 01 natural sciences, Many-core, Logical vector time, 13. Climate action, Stream programming, Computer architecture, chip mul-tiprocessor, Clocks

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/cisis/cisis2014.html#NguyenND14
http://ieeexplore.ieee.org/document/6915553/
https://cea.hal.science/cea-01838145v1
https://doi.org/10.1109/cisis.2014.62

A stream-computing extension to OpenMP

Autoři: Pop, Antoniu Cohen, Albert MINES ParisTech, Bibliothèque

Přispěvatelé: Pop, Antoniu Cohen, Albert MINES ParisTech, Bibliothèque

Zdroj: Pop, A & Cohen, A 2011, A stream-computing extension to OpenMP. in HiPEAC'11-Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers|HiPEAC-Proc. Int. Conf. High Perform. Embedded Archit. Compilers. HiPEAC '11, Association for Computing Machinery, pp. 5-14, 6th International Conference on High Performance and Embedded Architectures and Compilers, HiPEAC'11, Heraklion, Crete, 1/07/11. https://doi.org/10.1145/1944862.1944867
HiPEAC11-Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers

Témata: Prototype implementations, Stream programming, Language extensions, 0202 electrical engineering, electronic engineering, information engineering, Flow of data, Data locality, 02 engineering and technology, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: http://dl.acm.org/citation.cfm?id=1944867
https://inria.hal.science/inria-00551507v1
https://inria.hal.science/inria-00551519v1
https://dblp.uni-trier.de/db/conf/hipeac/hipeac2011.html#PopC11
http://portal.acm.org/citation.cfm?doid=1944862.1944867
https://hal.inria.fr/inria-00551507
https://hal-mines-paristech.archives-ouvertes.fr/hal-00659411
https://www.research.manchester.ac.uk/portal/en/publications/a-streamcomputing-extension-to-openmp(f2bba03a-f6cb-4f97-b359-aaccc71b736c).html

NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation

Autoři: Clérici Martínez, Silvia Inés Zoltan Torres, Ana Cristina Prestigiacomo, Guillermo a další

Přispěvatelé: Clérici Martínez, Silvia Inés Zoltan Torres, Ana Cristina Prestigiacomo, Guillermo a další

Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Témata: Visual programming languages (Computer science), parallelism, Graphic language, Functional, Data flow, Programació visual (Informàtica), Parallelism, 02 engineering and technology, Informàtica::Llenguatges de programació [Àrees temàtiques de la UPC], graphic language, symbolic computation, Theoretical Computer Science, functional, stream programming, Symbolic computation, Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació, visual type inference, Visual type inference, Stream programming, data flow, 0202 electrical engineering, electronic engineering, information engineering, Computer Science(all)

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/2117/13264
https://core.ac.uk/display/82341335
https://upcommons.upc.edu/bitstream/2117/13264/1/prole-09-CZP.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs258.html#ClericiZP09
https://www.sciencedirect.com/science/article/abs/pii/S1571066109004897
https://upcommons.upc.edu/bitstream/handle/2117/13264/prole-09-CZP.pdf?sequence=1
https://upcommons.upc.edu/handle/2117/13264

Safe Data Parallelism for General Streaming

Autoři: Schneider, S. Hirzel, M. Gedik, B. a další

Zdroj: IEEE Transactions on Computers

Témata: Distributed runtime, Efficient strategy, Data parallelism, parallel programming, Parallel programming, Program compilers, Scalability, 02 engineering and technology, Data handling, 16. Peace & justice, Distributed computing, Distributed computer systems, Semantics, Data processing, Stream processing, Streaming applications, distributed computing, Stream programming, 0202 electrical engineering, electronic engineering, information engineering, Data parallelization, 10. No inequality, Pipeline parallelisms

Popis souboru: application/pdf

Přístupová URL adresa: http://repository.bilkent.edu.tr/bitstream/11693/22636/1/Safe%20data%20parallelism%20for%20general%20streaming.pdf
https://www.computer.org/csdl/trans/tc/5555/01/06671605.pdf
https://dblp.uni-trier.de/db/journals/tc/tc64.html#SchneiderHGW15
http://ieeexplore.ieee.org/document/6671605
https://ieeexplore.ieee.org/document/6671605
https://dl.acm.org/doi/10.1109/TC.2013.221
https://hdl.handle.net/11693/22636

A Dedicated Micro-Kernel to Combine Real-Time and Stream Applications on Embedded Manycores

Autoři: Dubrulle, P. Ohayon, E. Le Roy, Léna

Přispěvatelé: Dubrulle, P. Ohayon, E. Le Roy, Léna

Zdroj: Procedia Computer Science. 18:1634-1643

Témata: multi-core, stream programming, micro-kernel, 0202 electrical engineering, electronic engineering, information engineering, real-time, embedded systems, instrumentation & control, 02 engineering and technology, [INFO] Computer Science [cs], many-core

Popis souboru: application/pdf

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/iccS/iccS2013.html#DubrulleO13
https://www.sciencedirect.com/science/article/abs/pii/S1877050913004742
https://www.sciencedirect.com/science/article/pii/S1877050913004742
https://core.ac.uk/display/82738922
https://cea.hal.science/cea-01831561v1
https://cea.hal.science/cea-01831561v1/document
https://doi.org/10.1016/j.procs.2013.05.331

Sorting on GPUs for large scale datasets: A thorough comparison

Autoři: CAPANNINI G SILVESTRI F BARAGLIA R

Zdroj: Information processing & management 48 (2012): 903–917. doi:10.1016/j.ipm.2010.11.010
info:cnr-pdr/source/autori:Capannini G.; Silvestri F.: Baraglia R./titolo:Sorting on GPUs for large scale datasets: a thorough comparison/doi:10.1016%2Fj.ipm.2010.11.010/rivista:Information processing & management/anno:2012/pagina_da:903/pagina_a:917/intervallo_pagine:903–917/volume:48

Témata: Algorithms performance sorting, Graphical processor unit, Bitonic sorting network, Stream programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://openportal.isti.cnr.it/doc?id=people______::508cef5a759efce37e8275c2cc6a0fef

Lossless Image Compression Exploiting Streaming Model for Efficient Execution on Multicores

Autoři: Hrvoje Mlinarić Josip Knezović Martin Žagar

Zdroj: Automatika. 53:272-283

Témata: Stream programming, Parallel programming, 0202 electrical engineering, electronic engineering, information engineering, Image coding, Lossless image compression, Multicores, 02 engineering and technology

Přístupová URL adresa: https://www.bib.irb.hr/582163
https://doi.org/10.7305/automatika.53-3.265
https://www.bib.irb.hr/582163
https://automatika.korema.hr/index.php/automatika/article/view/265/0
https://www.tandfonline.com/doi/full/10.7305/automatika.53-3.265

Functional reactive programming, refactored

Autoři: Perez, Ivan B�renz, Manuel Nilsson, Henrik

Témata: Functional reactive programming, Reactive programming, Stream programming, Monadic streams, Haskell

Relation: https://nottingham-repository.worktribe.com/output/809768

Dostupnost: https://nottingham-repository.worktribe.com/file/809768/1/paper.pdf
https://nottingham-repository.worktribe.com/output/809768

The CoreVA-MPSoC: A Multiprocessor Platform for Software-Defined Radio

Autoři: Sievers, Gregor Hübener, Boris Ax, Johannes a další

Přispěvatelé: Sievers, Gregor Hübener, Boris Ax, Johannes a další

Zdroj: Computing Platforms for Software-Defined Radio ISBN: 9783319496788

Témata: System on Chip, Parallel Computing, Software Defined Radio, Stream Programming

K-Model: A New Computational Model for Stream Processors

Autoři: Capannini G. Silvestri F. Baraglia R.

Zdroj: ISTI Technical reports, 2010
12th IEEE International Conference on High Performance Computing and Communications, pp. 239–246, Melbourne, Australia, 1-3 September 2010
info:cnr-pdr/source/autori:Capannini G.; Silvestri F.; Baraglia R./congresso_nome:12th IEEE International Conference on High Performance Computing and Communications/congresso_luogo:Melbourne, Australia/congresso_data:1-3 September 2010/anno:2010/pagina_da:239/pagina_a:246/intervallo_pagine:239–246

Témata: Computer Systems Organization. GENERAL Modeling of computer architecture, Modeling of computer architecture, Computational model, Stream programming, GPU, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Modeling, Parallel algorithms, Parallel processing, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://publications.cnr.it/doc/294504
http://www.cnr.it/prodotto/i/294504
http://didawiki.di.unipi.it/lib/exe/fetch.php/dm/abstract.capannini.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005581343
https://www.di.unipi.it/~capannin/pdf/2305385631.pdf
http://doi.org/10.1109/HPCC.2010.22
https://dblp.uni-trier.de/db/conf/hpcc/hpcc2010.html#CapanniniSB10
https://doi.org/10.1109/HPCC.2010.22
https://hdl.handle.net/11573/1572875
https://doi.org/10.1109/HPCC.2010.22

Stream programming framework for global ilumination techniques using a GPU

Autoři: Marino, Federico J. Abbate, Horacio Antonio

Témata: Ciencias Informáticas, Informática, photon mapping, stream programming, photon splatting, real time rendering, Data mapping, Real time, Processors, Multiple-instruction-stream, multiple-data-stream processors (MIMD), rendering en tiempo real, iluminación global

Popis souboru: application/pdf; 775-787

Relation: http://sedici.unlp.edu.ar/handle/10915/22468

Dostupnost: http://sedici.unlp.edu.ar/handle/10915/22468

A Survey of Pipelined Workflow Scheduling: Models and Algorithms

Autoři: Anne Benoit Ümit V. Çatalyürek Yves Robert a další

Přispěvatelé: Anne Benoit Ümit V. Çatalyürek Yves Robert a další

Zdroj: http://bmi.osu.edu/~esaule/public-website/papers/acmcs12-BCRS.pdf.

Témata: Categories and Subject Descriptors, F.2.2 [Nonnumerical Algorithms and Problems, Sequencing and scheduling, C.1.4 [Parallel Architectures, Distributed architectures General Terms, Algorithms, Performance, Theory Additional Key Words and Phrases, workflow programming, filter-stream programming, scheduling, pipeline, throughput, latency, models, distributed systems, parallel systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.1343

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.1343
http://bmi.osu.edu/~esaule/public-website/papers/acmcs12-BCRS.pdf

A Survey of Pipelined Workflow Scheduling: Models and Algorithms

Autoři: Anne Benoit Ümit V. Çatalyürek Yves Robert a další

Přispěvatelé: Anne Benoit Ümit V. Çatalyürek Yves Robert a další

Zdroj: http://graal.ens-lyon.fr/~abenoit/papers/RR-LIP-2010-28-v2.pdf.

Témata: General Terms, Algorithms, Performance, Theory. Additional Key Words and Phrases, workflow programming, filter-stream programming, scheduling, pipeline, throughput, latency, models, distributed systems, parallel systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.4534

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.4534
http://graal.ens-lyon.fr/~abenoit/papers/RR-LIP-2010-28-v2.pdf