English
Related papers

Related papers: AutoFlows++: Hierarchical Message Flow Mining for …

200 papers

This paper proposes a novel method for automatically inferring message flow specifications from the communication traces of a system-on-chip (SoC) design that captures messages exchanged among the components during a system execution. The…

Logic in Computer Science · Computer Science 2024-05-22 Bardia Nadimi , Hao Zheng

Comprehensive and well-defined specifications are necessary to perform rigorous and thorough validation of system-on-chip (SoC) designs. Message flows specify how components of an SoC design communicate and coordinate with each other to…

Software Engineering · Computer Science 2020-05-25 MD Rubel Ahmed , Hao Zheng , Parijat Mukherjee , Mahesh C. Ketkar , Jin Yang

High-quality system-level message flow specifications are necessary for comprehensive validation of system-on-chip (SoC) designs. However, manual development and maintenance of such specifications are daunting tasks. We propose a disruptive…

Artificial Intelligence · Computer Science 2022-09-19 Md Rubel Ahmed , Bardia Nadimi , Hao Zheng

Comprehensive specifications are essential for various activities across the entire validation continuum for system-on-chip (SoC) designs. However, specifications are often ambiguous, incomplete, or even contain inconsistencies or errors.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-05 Yuting Cao , Parijat Mukherjee , Mahesh Ketkar , Jin Yang , Hao Zheng

High-quality system-level message flow specifications can lead to comprehensive validation of system-on-chip (SoC) designs. We propose a disruptive method that utilizes an attention mechanism to produce accurate flow specifications from SoC…

Machine Learning · Computer Science 2022-03-25 Md Rubel Ahmed , Hao Zheng

Concise and abstract models of system-level behaviors are invaluable in design analysis, testing, and validation. In this paper, we consider the problem of inferring models from communication traces of system-on-chip~(SoC) designs. The…

Information Retrieval · Computer Science 2021-02-16 Hao Zheng , Md Rubel Ahmed , Parijat Mukherjee , Mahesh C. Ketkar , Jin Yang

Modeling system-level behaviors of intricate System-on-Chip (SoC) designs is crucial for design analysis, testing, and validation. However, the complexity and volume of SoC traces pose significant challenges in this task. This paper…

Logic in Computer Science · Computer Science 2024-02-29 Md Rubel Ahmed , Bardia Nadimi , Hao Zheng

Reconstructing system-level behavior from silicon traces is a critical problem in post-silicon validation of System-on-Chip designs. Current industrial practice in this area is primarily manual, depending on collaborative insights of the…

Hardware Architecture · Computer Science 2020-05-07 Yuting Cao , Hao Zheng , Sandip Ray , Jin Yang

On-chip communication infrastructure is a central component of modern systems-on-chip (SoCs), and it continues to gain importance as the number of cores, the heterogeneity of components, and the on-chip and off-chip bandwidth continue to…

Hardware Architecture · Computer Science 2021-11-12 Andreas Kurth , Wolfgang Rönninger , Thomas Benz , Matheus Cavalcante , Fabian Schuiki , Florian Zaruba , Luca Benini

The proposed RMS-FlowNet++ is a novel end-to-end learning-based architecture for accurate and efficient scene flow estimation that can operate on high-density point clouds. For hierarchical scene f low estimation, existing methods rely on…

Computer Vision and Pattern Recognition · Computer Science 2024-07-02 Ramy Battrawy , René Schuster , Didier Stricker

In this paper, we study seven well-known trace analysis techniques both from the hardware and software domain and discuss their performance on communication-centric system-on-chip (SoC) traces. SoC traces are usually huge in size and…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-11 Md Rubel Ahmed , Hao Zheng

Modern networks carry increasingly diverse and encrypted traffic types that demand classification techniques beyond traditional port-based and payload-based methods. This tutorial provides a practical, end-to-end guide to building…

Networking and Internet Architecture · Computer Science 2026-01-08 Adrian Pekar , Richard Plny , Karel Hynek

The realization of novel technological opportunities given by computational and autonomous materials design requires efficient and effective frameworks. For more than two decades, aflow++ (Automatic-Flow Framework for Materials Discovery)…

This work details a hardware-assisted approach for information flow tracking implemented on reconfigurable chips. Current solutions are either time-consuming or hardly portable (modifications of both sofware/hardware layers). This work…

Cryptography and Security · Computer Science 2018-11-15 Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre , Guy Gogniat

Accurate perception of dynamic traffic scenes is crucial for high-level autonomous driving systems, requiring robust object motion estimation and instance segmentation. However, traditional methods often treat them as separate tasks,…

Computer Vision and Pattern Recognition · Computer Science 2025-03-20 Yinqi Chen , Meiying Zhang , Qi Hao , Guang Zhou

Modern microservice systems exhibit continuous structural evolution in their runtime call graphs due to workload fluctuations, fault responses, and deployment activities. Despite this complexity, our analysis of over 500,000 production…

Software Engineering · Computer Science 2026-02-04 Yu Tang , Hailiang Zhao , Chuansheng Lu , Yifei Zhang , Kingsum Chow , Shuiguang Deng , Rui Shi

Process mining is a field of computer science that deals with discovery and analysis of process models based on automatically generated event logs. Currently, many companies use this technology for optimization and improving their…

Artificial Intelligence · Computer Science 2023-03-27 Antonina K. Begicheva , Irina A. Lomazova , Roman A. Nesterov

Static analysis, a fundamental technique in Android app examination, enables the extraction of control flows, data flows, and inter-component communications (ICCs), all of which are essential for malware detection. However, existing methods…

Cryptography and Security · Computer Science 2025-12-16 Zhaoyi Meng , Fenglei Xu , Wenxiang Zhao , Wansen Wang , Wenchao Huang , Jie Cui , Hong Zhong , Yan Xiong

We present systematic and efficient solutions for both observability enhancement and root-cause diagnosis of post-silicon System-on-Chips (SoCs) validation with diverse usage scenarios. We model specification of interacting flows in typical…

Hardware Architecture · Computer Science 2021-02-10 Debjit Pal , Shobha Vasudevan

With the increasing importance of distributed scientific workflows, there is a critical need to ensure Quality of Service (QoS) constraints, such as minimizing time or limiting execution to resource subsets. However, the unpredictable…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-02 Md Hasanur Rashid , Jesun Firoz , Nathan R. Tallent , Luanzheng Guo , Meng Tang , Dong Dai
‹ Prev 1 2 3 10 Next ›