搜索结果: 1-4 共查到“aliasing”相关记录4条 . 查询时间(0.04 秒)
Checking and Inferring Local Non-Aliasing
Restrict confine types type qualifiers alias analysis effect inference flow-sensitivity
2016/5/24
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope. Among other applicat...
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that aliasing has a great ...
Conditional Must Not Aliasing for Static Race Detection
static race detection Java synchronization concurrency multi-threading
2016/5/24
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a proof of race freedom ...
Coherent CD Equalization for 111Gbps DP-QPSK with One Sample per Symbol Based on Anti-Aliasing Filtering and MLSE
Fiber optics communications Coherent communications
2010/6/9
W e propose a coherent detection scheme with one sample per symbol. MLSE is used to compensate for ISI introduced by anti aliasing filtering. 50,000 ps/nm of CD is fully compensated with only 1 dB pen...