🔒 Members
ACM
Research
Foundational Verification of Running-Time Bounds for Interactive Programs
Abstract
This article introduces a novel methodology for the foundational verification of running-time bounds, specifically addressing the complexities of interactive programs. It establishes a formal framework capable of mathematically certifying Worst-Case Execution Time
🔒 Members
Research
I-COR: Instruction-Level Fault Tolerance for Register File in 3-Stage Pipeline RISC-V Processors
Abstract
I-COR is a novel instruction-level fault tolerance mechanism specifically designed to protect the Register File (RF) in simple 3-stage pipeline RISC-V processors. This approach leverages instruction context to selectively introduce redundancy, thereby
🔒 Members
Research
From Tiny Machine Learning to Tiny Deep Learning: A Survey
Abstract
This survey paper meticulously tracks the technological progression from traditional Tiny Machine Learning (TinyML) to the sophisticated deployment of Tiny Deep Learning (TinyDL) on highly resource-constrained edge devices. It systematically reviews cutting-edge
Research
On-Demand Regular Expression Matching on FPGAs for Efficient Deep Packet Inspection
Abstract
This work introduces a novel 'On-Demand' architecture for regular expression matching implemented on FPGAs, specifically designed to maximize efficiency in Deep Packet Inspection (DPI) environments. The key innovation involves dynamically
Research
A Brief History of Computing with Real Numbers, Part 2: A Revolutionary New Approach
Abstract
This article, the second in a historical series, critiques the persistent limitations and error propagation issues inherent in traditional IEEE 754 floating-point standards. It introduces a 'revolutionary new approach' to
Research
A Brief History of Formal Methods in China
Abstract
This article details the historical trajectory and evolution of formal methods (FM) research and practical application within the technological landscape of China. It chronicles key academic milestones, influential research institutions, and major