Abstract: The verification of termination is a difficult problem. While most of the recent work on automated termination proofs focuses on the construction of linear ranking functions for unnested ...

REM (rapid eye movement) and non-REM (NREM) sleep stages contribute to systems memory consolidation in hippocampal-cortical circuits. However, the physiological mechanisms underlying REM memory ...

Abstract: To obtain a larger aperture for improving parameter estimation performance, we present a novel polarization sensitive array with dual-polarization synthetic nested structure, and then ...

* Program re-ordering for improved L2 cache hit rate. * Automatic performance tuning. # Motivations # Matrix multiplications are a key building block of most modern high-performance computing systems.