SIMD 扩展部件是集成到通用处理器中的加速部件, 旨在发掘多媒体程序和科学计算程序的数据
级并行. 首先介绍SIMD 扩展部件的背景和研究现状, 然后从发掘方法, 数据布局 …

SIMD 扩展部件是集成到通用处理器中的加速部件, 旨在发掘多媒体程序和科学计算程序的数据
级并行. 首先介绍 SIMD 扩展部件的背景和研究现状, 然后从发掘方法, 数据布局 …

We propose an interactive approach to resolve static analysis alarms. Our approach
synergistically combines a sound but imprecise analysis with precise but unsound …

The aggressive optimization of heavily used kernels is an important problem in high-
performance computing. However, both general purpose compilers and highly specialized …

Compilers use static analyses to justify program optimizations. As every optimization must
preserve the semantics of the original program, static analysis typically fall-back to …

This paper proposes an incipient sensor fault estimation and accommodation method for
three‐phase PWM inverter devices in electric railway traction systems. First, the dynamics of …

Because software continues to grow in size and complexity, programmers increasingly rely
on productivity tools to understand, debug, and modify their programs. These tools typically …

Building a successful program analysis requires solving high-level conceptual issues, such
as finding an abstraction of programs that keeps just enough information for a given …