Search Results - "Flowgraphs"

Pseudo-Polynomial Formulations for the Bin Packing Problem with Minimum Color Fragmentation.

Authors: Barkel, Mathijs Delorme, Maxence Malaguti, Enrico et al.

Source: INFORMS Journal on Computing. May/Jun2026, Vol. 38 Issue 3, p1016-1031. 16p.

VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection.

Authors: Ramesh, Vankudoth Reddy, K. Govardhan

Source: Informatica (03505596). Mar2026, Vol. 50 Issue 1, p25-43. 19p.

Subjects: Formal verification, Flowgraphs, Computer software testing, Blockchains, Penetration testing (Computer security)

Machine Learning-Driven Prediction of Optimal Control Flow Graph Traversal Strategy.

Authors: Ristović, Ivan Čugurović, Milan Stanojević, Strahinja et al.

Source: Serbian Journal of Electrical Engineering. Oct2025, Vol. 22 Issue 3, p353-376. 24p.

Subjects: Flowgraphs, Machine learning, Ensemble learning, Prediction algorithms, Program transformation, Data analytics, Graph algorithms

Modulo Flows and Integer Flows in Signed Graphs.

Authors: Han, Miaomiao Li, Jiaao Lu, You et al.

Source: Journal of Graph Theory. Oct2025, Vol. 110 Issue 2, p167-173. 7p.

Nowhere-zero 5-flows for graphs with bounded genus.

Alternate Title: 亏格有界图的处处非零5-流.

Authors: LI, Jiaao SU, Bo

Source: Operations Research Transactions / Yunchouxue Xuebao. Sep2025, Vol. 29 Issue 3, p124-134. 11p.

基于双向数据流分析与图抽象嵌入的漏洞检测方法.

Alternate Title: Vulnerability detection method based on bidirectional data flow analysis and graph abstraction embedding.

Authors: 曹子亨 何立风 贾鸥 et al.

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Jul2025, Vol. 42 Issue 7, p2176-2183. 8p.

基于增强控制流图与孪生网络架构的代码克隆检测方法.

Alternate Title: Code clone detection with enhanced control flow graph and siamese neural network architecture.

Authors: 熊曙初 段金焱 尹璐 et al.

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Jul2025, Vol. 42 Issue 7, p2132-2140. 9p.

SCH-Hunter: A Taint-Based Hybrid Fuzzing Framework for Smart Contract Honeypots.

Authors: Zhang, Haoyu Wang, Baotong Fu, Wenhao et al.

Source: Information. May2025, Vol. 16 Issue 5, p405. 35p.

IMPROVEMENT OF INFORMATION TECHNOLOGY FOR SYNTHESIZING PARALLELSTREAM STRUCTURES FOR VERTICAL-GROUP COMPUTING OF MULTI-OPERAND NEURAL OPERATIONS IN REAL TIME.

Authors: Tsmots, Ivan Teslyuk, Vasyl Opotyak, Yurii et al.

Source: Eastern-European Journal of Enterprise Technologies; 2026, Vol. 3 Issue 2(141), p6-23, 18p

Graph manifolds that admit arbitrarily many Anosov flows: Graph manifolds that admit arbitrarily many Anosov flows: A. Clay, T. Pinsky.

Authors: Clay, Adam Pinsky, Tali

Source: Mathematische Annalen. Apr2025, Vol. 391 Issue 4, p5375-5390. 16p.

ESfix: An Embedded Program Repair Tool for Effective Removal of Concurrency Defects.

Authors: Zhao, Jingwen Wu, Yanxia Fu, Yan et al.

Source: Entropy. Mar2025, Vol. 27 Issue 3, p294. 20p.

Singularity Formation Along the Line Bundle Mean Curvature Flow.

Authors: Chan, Yu Hin Jacob, Adam

Source: IMRN: International Mathematics Research Notices. Mar2025, Vol. 2025 Issue 5, p1-20. 20p.

基于二进制重写的混合分析构建控制流图方案.

Alternate Title: Hybrid analysis based on binary rewriting to build control flow graph solution.

Authors: 李自友 黄晓芳 殷明勇

Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. Feb2025, Vol. 42 Issue 2, p555-559. 5p.

Group Constant-Sum Spectrum of Nearly Regular Graphs.

Authors: Wang, Tao-Ming¹ (AUTHOR) wang@go.thu.edu.tw

Source: Mathematics (2227-7390). Feb2025, Vol. 13 Issue 3, p478. 16p.

A Joint Estimation Method of Distribution Network Topology and Line Parameters Based on Power Flow Graph Convolutional Networks.

Authors: Wang, Yu Shen, Xiaodong Tang, Xisheng et al.

Source: Energies (19961073). Nov2024, Vol. 17 Issue 21, p5272. 23p.

Subjects: Electrical load, Flowgraphs, Parameter identification, Parameter estimation, Distribution management

Consensus hydrologique de la tempête ALEX du 2 et 3 octobre 2020 dans les Alpes-Maritimes.

Alternate Title: Towards a hydrological consensus about the 2–3 October 2020 ALEX storm event in the French "Alpes-Maritimes" region.

Authors: Pons, Auteurs Frederic Bonnifait, Laurent Criado, David et al.

Source: LHB: Hydroscience Journal. Dec2024, Vol. 110 Issue 1, p1-9. 9p.

基于系统动力学模型的组合港竞争力 提升路径研究.

Alternate Title: Research on competitiveness promotion path of combination ports basedon system dynamics models.

Authors: 张宝清¹ 1181015611@qq.com

Source: China Harbour Engineering. Nov2024, Vol. 44 Issue 11, p58-63. 6p.

Beyond the Holographic Entropy Cone via Cycle Flows.

Authors: He, Temple Hernández-Cuenca, Sergio Keeler, Cynthia

Source: Communications in Mathematical Physics. Nov2024, Vol. 405 Issue 11, p1-27. 27p.

Codimension two mean curvature flow of entire graphs.

Authors: Savas Halilaj, Andreas Smoczyk, Knut

Source: Journal of the London Mathematical Society. Nov2024, Vol. 110 Issue 5, p1-33. 33p.

Distributed matrix computing system for big data.

Authors: Zhang, Guangtao^1,2 (AUTHOR) zgt8@163.com

Source: Intelligent Decision Technologies. 2024, Vol. 18 Issue 4, p2915-2931. 17p.

Subjects: Flowgraphs, Computer systems, Distributed computing, Computing platforms, Data warehousing