This work was supported in part by the National Natural Science Foundation of China under Grant Nos.62125202 and U22B2022.
Image bitmaps,i.e.,data containing pixels and visual perception,have been widely used in emerging applica-tions for pixel operations while consuming lots of memory space and energy.Compared with legacy DRAM(dynamic ra...
supported by the Fundamental Research Funds for the Central Universities of China under Grant No.BLX202015;Beijing Municipal Natural Science Foundation under Grant No.6222038;the National Natural Science Foundation of China under Grant No.92164203.
Realizing a high-performance and energy-efficient circuit system is one of the critical tasks for circuit designers.Conventional researchers always concentrated on the tradeoffs between the energy and the performance ...
supported by the Natural Science Foundation of Shanghai under Grant No.20ZR1455900;the State Key Laboratory of Computer Architecture(Institute of Computing Technology,Chinese Academy of Sciences)under Grant No.CARCHA202005.
As one of the most promising paradigms of integrated circuit design,the approximate circuit has aroused widespread concern in the scientific community.It takes advantage of the inherent error tolerance of some applica...
supported by the National Natural Science Foundation of China under Grant No.62022041;the Fundamental Research Funds for the Central Universities of China under Grant No.NP2022103.
As an emerging computing technology,approximate computing enables computing systems to utilize hardware resources efficiently.Recently,approximate arithmetic units have received extensive attention and have been emplo...
supported by the National Key Research and Development Program of China under Grant No.2018YFE0126300;the National Natural Science Foundation of China under Grant Nos.62034007,62141404.
The development of IoT(Internet of Things)calls for circuit designs with energy and area efficiency for edge devices.Approximate computing which trades unnecessary computation precision for hardware cost savings is a ...
supported in part by the National Natural Science Foundation of China under Grant No.62104127;the National Key Research and Development Program of China under Grant No.2022YFB4500200.
As a primary computation unit,a processing element(PE)is key to the energy efficiency of a convolutional neural network(CNN)accelerator.Taking advantage of the inherent error tolerance of CNNs,approximate computing wi...
This work is partially supported by the National Natural Science Fund for Distinguish Young Scholars of China under Grant No. 61322208, the National Basic Research 973 Program of China under Grant No. 2012CB316201, the National Natural Science Foundation of China under Grant Nos. 61272178 and 61572122, and the Key Program of the National Natural Science Foundation of China under Grant No. 61532021.
Continuous top-k query over sliding window is a fundamental problem in database, which retrieves k objects with the highest scores when the window slides. Existing studies mainly adopt exact algorithms to tackle this ...
This work is partially supported by the National Basic Research 973 Program of China under Grant No. 2011CB302400, the National Natural Science Foundation of China under Grant Nos. 61379139 and 61133013, and the Strategic Priority Research Program of the Chinese Academy of Sciences under Grant No. XDA06010701.
Given an n-dimensional lattice L and some target vector, this paper studies the algorithms for approximate closest vector problem (CVPγ) by using an approximate shortest independent vectors problem oracle (SIVPγ...
Supported by the National Natural Science Foundation of China under Grant No. 60873038;the National Key Technology Research and Development Program of the Ministry of Science and Technology of China under Grant Nos. 2009BAH42B02 and 2012BAH08B02
CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking. However, CEGAR-based slicing repeatedly explores the state sp...
supported by the "Hundred Talents Program" of CAS and the National Natural Science Foundation of China under Grant No. 60772034.
Detecting duplicates in data streams is an important problem that has a wide range of applications. In general, precisely detecting duplicates in an unbounded data stream is not feasible in most streaming scenarios, a...