Search Results - "Data flow computing"

МОДЕЛІ ОРГАНІЗАЦІЇ БАЗ ДАНИХ ТА ЗНАНЬ І ТЕХНОЛОГІЇ ІНЖИНІРИНГУ ДАНИХ У СУЧАСНИХ ІНФОРМАЦІЙНИХ СИСТЕМАХ (Ukrainian)

Authors: Бабич, Ю. І. Бовнегра, Л. В. Бабич, М. І.

Source: Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì; 2026, Vol. 16 Issue 2, p282-287, 6p

MULTI-PERSPECTIVE APPROACH FOR ANOMALOUS BEHAVIOR DETECTION AND REPAIRING.

Authors: LI, Lu FANG, Huan ZHANG, Shouzheng

Source: Computing & Informatics; 2026, Vol. 45 Issue 1, p203-230, 28p

Challenges in Quantum Programs Analysis.

Authors: Assolini, Nicola Di Pierro, Alessandra Mastroeni, Isabella

Source: International Journal on Software Tools for Technology Transfer. Jun2026, Vol. 28 Issue 3, p345-374. 30p.

Subjects: Data flow computing, Quantum entanglement, Quantum computing, Software verification, Qubits

Optimizing intra-layer data communication with adaptive beamforming for proactive flow control in wireless network-on-chip.

Authors: Kumar, T. R. Dinesh Lokesh, S. Sathyasri, B.

Source: EURASIP Journal on Wireless Communications & Networking; 10/27/2025, Vol. 2025 Issue 1, p1-21, 21p

Contract-Graph Fusion and Cross-Graph Matching for Smart-Contract Vulnerability Detection.

Authors: Liang, Xue Tan, Yao Song, Jun et al.

Source: Applied Sciences (2076-3417); Oct2025, Vol. 15 Issue 19, p10844, 15p

A Hybrid CNN-GCN Architecture with Sparsity and Dataflow Optimization for Mobile AR.

Authors: Chen, Jiazhong Chen, Ziwei

Source: Applied Sciences (2076-3417); Sep2025, Vol. 15 Issue 17, p9356, 21p

Signal Feature Coverage and Testing for CPS Dataflow Models.

Authors: Bartocci, Ezio Mariani, Leonardo Nickovic, Dejan et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2025, Vol. 34 Issue 7, p1-37, 37p

A Streaming Dataflow Accelerator for Sparse SVM Kernel Computation in Hyperspectral Image Classification.

Authors: SHABARINATH, B. B. MURALIDHAR, Pullakandam

Source: Radioengineering; Sep2025, Vol. 34 Issue 3, p482-493, 12p

Finding Information Leaks with Information Flow Fuzzing.

Authors: Gruner, Bernd Brust, Clemens-Alexander Zeller, Andreas

Source: ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-18, 18p

Hybrid Instruction Scheduling Algorithm for RISC-V VLIW Architecture.

Authors: Li, Yijin Du, Shaomin Zhao, Jiacheng et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p307-328, 22p

COINDUCTIVE STREAMS IN MONOIDAL CATEGORIES.

Authors: DI LAVORE, ELENA DE FELICE, GIOVANNI ROMÁN, MARIO

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

Operator Rebinding for Stream Processing on NUMA Machines.

Authors: Du, Xiaorui Piccione, Andrea Pimpini, Adriano et al.

Source: Software: Practice & Experience; Jun2026, Vol. 56 Issue 6, p687-708, 22p

RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains.

Authors: Sofaer, Raphael J. David, Yaniv Kang, Mingqing et al.

Source: ICSE: International Conference on Software Engineering. 2024, p1-13. 13p.

Subjects: Data flow computing, Supply chains, Extrapolation, Supply & demand, Malware

Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts.

Authors: Yang, Shuo Chen, Jiachi Huang, Mingyuan et al.

Source: ICSE: International Conference on Software Engineering. 2024, p1-12. 12p.

Subjects: Public contracts, Data flow computing, Language & languages, Cryptocurrencies, Tokens

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.

Authors: Karakaya, Kadiray Bodden, Eric

Source: ICSE: International Conference on Software Engineering. 2024, p1-12. 12p.

Subjects: Data flow computing, Sparse graphs, Graph theory, Algorithms, Algebra

Correcting processing-in-memory multiply-accumulate arithmetic errors with LDPC.

Authors: Shi, Daijing Fu, Yihan Zhu, Yihang et al.

Source: npj Unconventional Computing; 3/18/2026, Vol. 3 Issue 1, p1-12, 12p

Towards combining chain-of-thought and code static analysis for buffer overflow vulnerability detection.

Authors: Huang, Yuan Chen, Yinan Cai, Jiahong et al.

Source: Software Quality Journal; Mar2026, Vol. 34 Issue 1, p1-18, 18p

Highly Parallel Sorting Network Verification Using FPGAs.

Authors: Papaphilippou, Philippos¹

Source: Chips; Mar2026, Vol. 5 Issue 1, p5, 12p

Clocking for Nanocomputing: A Quantum-Dot Cellular Automata Perspective.

Authors: Angshuman Khan Shaw, Rohit Kumar Sen, Soumya et al.

Source: Russian Microelectronics; Feb2026, Vol. 55 Issue 1, p155-160, 6p

A fault diagnosis method for systems based on labeled time Petri nets with tables.

Authors: Song, Jian Liu, Guanjun

Source: Computer Journal; Feb2026, Vol. 69 Issue 2, p332-345, 14p