Applying Automated Program Repair to Dataflow Programming Languages

Συγγραφείς: Huang, Yu, Ahmad, Hammad, Forrest, Stephanie, Weimer, Westley

Πηγή: 2021 IEEE/ACM International Workshop on Genetic Improvement (GI) GI Genetic Improvement (GI), 2021 IEEE/ACM International Workshop on. :21-22 May, 2021

Relation: 2021 IEEE/ACM International Workshop on Genetic Improvement (GI)

Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languages

Συγγραφείς: Gauvin, Simon, Banyasad, Omid

Πηγή: Proceedings of the 2006 ACM symposium on Software visualization. :67-75

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1148493.1148504

Advances in dataflow programming languages

Συγγραφείς: Johnston, Wesley M., Hanna, J. R. Paul, Millar, Richard J.

Πηγή: ACM Computing Surveys (CSUR). 36(1):1-34

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1013208.1013209

Generating Efficient Parallel Code from the RVC-CAL Dataflow Language

Συγγραφείς: Rafique, Omair, Krebs, Florian, Schneider, Klaus

Πηγή: 2019 22nd Euromicro Conference on Digital System Design (DSD) Digital System Design (DSD), 2019 22nd Euromicro Conference on. :182-189 Aug, 2019

Relation: 2019 22nd Euromicro Conference on Digital System Design (DSD)

Rubick: A Unified Infrastructure for Analyzing, Exploring, and Implementing Spatial Architectures via Dataflow Decomposition

Συγγραφείς: Liqiang Lu, Zizhang Luo, Size Zheng, Jieming Yin, Jason Cong, Yun Liang, Jianwei Yin

Πηγή: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43:1177-1190

Θεματικοί όροι: Parallel computing, Computer Networks and Communications, Latency (audio), 7. Clean energy, Multicore Architectures, 11. Sustainability, Parallel Computing and Performance Optimization, Computer architecture, Embedded system, Design space exploration, Computer network, Performance Optimization, 15. Life on land, Reconfigurable Computing Systems and Design Methods, Computer science, Interconnection, Distributed computing, Programming language, Overhead (engineering), Benchmarking, Networks on Chip in System-on-Chip Design, Hardware and Architecture, Computer Science, Physical Sciences, Reconfigurable Computing, Dataflow, Telecommunications, Dataflow Programming Languages

CTLA: Compressed Table Look up Algorithm for Open Flow Switch

Συγγραφείς: Veeramani Sonai, Indira Bharathi, Muthaiah U, Sountharrajan Sehar, Durga Prasad Bavirisetti

Πηγή: IEEE Open Journal of the Computer Society, Vol 5, Pp 73-82 (2024)
IEEE Open Journal of the Computer Society (OJ-CS)

Θεματικοί όροι: Table (database), Computer Networks and Communications, Geometry, Information technology, 7. Clean energy, Distributed Grid Computing Systems, IP look-up, Parallel Computing and Performance Optimization, FOS: Mathematics, TCAM, Data mining, Performance Optimization, QA75.5-76.95, T58.5-58.64, Reconfigurable Computing Systems and Design Methods, Computer science, Task Scheduling, Algorithm, OpenFlow, High-Performance Computing, longest prefix match, Hardware and Architecture, Data compression, Electronic computers. Computer science, Computer Science, Physical Sciences, Reconfigurable Computing, Flow (mathematics), Mathematics, Dataflow Programming Languages

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://doaj.org/article/fefc9292dfd14950940e34cc3f4215c6
https://hdl.handle.net/11250/3189338

Latency Evaluation of SDFGs on Heterogeneous Processors Using Timed Automata

Συγγραφείς: Sivashankari Rajadurai, Mamoun Alazab, Neeraj Kumar 0001, Thippa Reddy Gadekallu

Πηγή: IEEE Access, Vol 8, Pp 140171-140180 (2020)

Θεματικοί όροι: Automaton, Parallel computing, 02 engineering and technology, Latency (audio), Multiprocessor Scheduling, Theoretical computer science, Synchronous dataflow, 0202 electrical engineering, electronic engineering, information engineering, throughput, latency, Real-Time Scheduling in Embedded Systems, Reconfigurable Computing Systems and Design Methods, Computer science, Distributed computing, UPPAAL, TK1-9971, Timed automaton, Computational Theory and Mathematics, Hardware and Architecture, timed automata, Computer Science, Physical Sciences, Telecommunications, Electrical engineering. Electronics. Nuclear engineering, Scheduling Algorithms, Timing Analysis, Formal Methods in Software Verification and Control, Dataflow Programming Languages

Σύνδεσμος πρόσβασης: https://ieeexplore.ieee.org/ielx7/6287639/8948470/09153101.pdf
https://doaj.org/article/237b8ae6c5ed4c3d81ac7f5b1a92422d

Advances in dataflow programming languages

Συγγραφείς: Wesley M. Johnston, J. R. Paul Hanna, Richard J. Millar

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.wayne.edu/~artem/main/swfseminar/dataflow_language_survey.pdf.

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.7265; http://www.cs.wayne.edu/~artem/main/swfseminar/dataflow_language_survey.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.7265
http://www.cs.wayne.edu/~artem/main/swfseminar/dataflow_language_survey.pdf

Síntese de Software Adaptativo baseada em Especificações, Extended Dataflow

Συγγραφείς: Ivanilton Polato, Antonio Mendes da Silva Filho

Πηγή: Acta Scientiarum. Technology. 27

Θεματικοί όροι: Parallel computing, Component (thermodynamics), Reuse, 02 engineering and technology, Mathematical analysis, Context (archaeology), Engineering, 11. Sustainability, Parallel Computing and Performance Optimization, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Computer architecture, Biology, Waste management, Model of computation, Domain (mathematical analysis), Physics, Real-Time Scheduling in Embedded Systems, Dataflow architecture, Paleontology, 15. Life on land, Reconfigurable Computing Systems and Design Methods, Computer science, Distributed computing, Programming language, Hardware and Architecture, 13. Climate action, Computer Science, Physical Sciences, Computation, Dataflow, Thermodynamics, Embedded Systems, Software, Mathematics, Dataflow Programming Languages

Impact and utility of smell-driven performance tuning for end-user programmers

Συγγραφείς: Chambers, Christopher, Scaffidi, Christopher ^⁎

Πηγή: In Journal of Visual Languages and Computing June 2015 28:176-194

PYXIS: A Highly Predictable Toolchain for FPGA Circuit Production of Advanced GNC Algorithm

Συγγραφείς: Winandy, Ines, Dion, Arnaud, Garoche, Pierre-Loic, Manni, Florent

Πηγή: 2025 IEEE 11th International Conference on Space Mission Challenges for Information Technology (SMC-IT) SMC-IT Space Mission Challenges for Information Technology (SMC-IT), 2025 IEEE 11th International Conference on. :43-49 Jul, 2025

Relation: 2025 IEEE 11th International Conference on Space Mission Challenges for Information Technology (SMC-IT)

Accelerate Performance on the Parallel Programming Super Highway

Συγγραφείς: Black, Garth

Συνεισφορές: NATIONAL INSTRUMENTS AUSTIN TX

Πηγή: DTIC

Θεματικοί όροι: Computer Programming and Software, COMPUTER PROGRAMMING, PARALLEL PROCESSING, PROGRAMMING LANGUAGES, AUTOMATIC PARALLELIZATION, DATAFLOW PROGRAMMING, DATAFLOW PROGRAMMING LANGUAGES, IMPERATIVE PROGRAMMING, PARALLEL COMPUTING, PARALLEL OPERATIONS, PARALLELISM

Περιγραφή αρχείου: text/html

Relation: http://www.dtic.mil/docs/citations/ADA558118

Διαθεσιμότητα: http://www.dtic.mil/docs/citations/ADA558118
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA558118

Fault-tolerant functional reactive programming (extended version).

Συγγραφείς: PEREZ, IVAN, GOODLOE, ALWYN E.

Πηγή: Journal of Functional Programming; 2020, Vol. 30, p1-41, 41p

Θεματικοί όροι: Programming languages, Mathematical analysis, Numerical calculations, Algorithms, Data flow computing

Control flow graphs optimization in intermediate representations of the functional dataflow parallel programming language

Συγγραφείς: Vladimir Vasilev, Alexander Legalov

Πηγή: Science Bulletin of the Novosibirsk State Technical University. :37-46

Σύνδεσμος πρόσβασης: https://journals.nstu.ru/vestnik/download_article?id=25103

Inter-actions parallel execution on GPU from high-level dataflow synthesis

Συγγραφείς: Bloch, Aurelien, Casale-Brunet, Simone, Mattavelli, Marco

Πηγή: 2021 55th Asilomar Conference on Signals, Systems, and Computers Signals, Systems, and Computers, 2021 55th Asilomar Conference on. :1151-1155 Oct, 2021

Relation: 2021 55th Asilomar Conference on Signals, Systems, and Computers

ONLINE MONITORING OF METRIC TEMPORAL LOGIC USING SEQUENTIAL NETWORKS.

Συγγραφείς: ULUS, DOGAN

Πηγή: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p12:1-12:27, 27p

Θεματικοί όροι: Cyber physical systems, Real-time computing

Design of Dataflow.

Συγγραφείς: Yazar, Tuğrul

Πηγή: Nexus Network Journal: Architecture & Mathematics; Apr2015, Vol. 17 Issue 1, p311-325, 15p

Θεματικοί όροι: Data flow computing, Programming languages, Computer programmers, Algorithms, Mathematics & architecture

Algorithm profiling for architectures with dataflow accelerators.

Συγγραφείς: Korolija, Nenad, Milutinović, Veljko, Furht, Borko

Πηγή: Journal of Big Data; 7/26/2025, Vol. 12 Issue 1, p1-31, 31p

Θεματικοί όροι: Data flow computing, High performance computing, Big data, Parallel processing, Instruction set architecture, Benchmark problems (Computer science)

COINDUCTIVE STREAMS IN MONOIDAL CATEGORIES.

Συγγραφείς: DI LAVORE, ELENA, DE FELICE, GIOVANNI, ROMÁN, MARIO

Πηγή: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-52, 52p

Θεματικοί όροι: Monoidal categories, Stochastic processes, Data flow computing, Flowgraphs, Stream measurements

A Framework for Rapidly Prototyping Data Mining Pipelines.

Συγγραφείς: Corradini, Flavio, Mozzoni, Luca, Piangerelli, Marco, Re, Barbara, Rossi, Lorenzo

Πηγή: Big Data & Cognitive Computing; Jun2025, Vol. 9 Issue 6, p150, 28p

Θεματικοί όροι: Data mining, Rapid prototyping, Data management, SWOT analysis, Big data