—To make applications with dynamic data sharing among threads benefit from GPU acceleration, we propose a novel software transactional memory system for GPU architectures (GPU-S...
Yunlong Xu, Rui Wang, Nilanjan Goswami, Tao Li, La...
Corner-detection techniques are being widely used in computer vision – for example in object recognition to find suitable candidate points for feature registration and matching....
Scoping behavioral variations to dynamic extents is useful to support non-functional requirements that otherwise result in crosscutting code. Unfortunately, such variations are di...
Erwann Wernli, Oscar Nierstrasz, Camille Teruel, S...
—Device drivers are a principal source of failures in computer systems. Therefore, improving driver reliability greatly improves overall system reliability. However, driver devel...
TimeStream is a distributed system designed specifically for low-latency continuous processing of big streaming data on a large cluster of commodity machines. The unique characte...
Zhengping Qian, Yong He, Chunzhi Su, Zhuojie Wu, H...
— Lean principles, originating from Japanese automotive industry, are anticipated to be useful to improve software development processes. Albeit its popularity there is still no ...
rs on systems are the basis for abstraction based verification of systems. In this paper, we investigate preorders for reasoning about stability with respect to inputs of hybrid ...
Abstract—Many active research studies in software engineering, such as detection of recurring bug fixes, detection of copyand-paste bugs, and automated program transformation to...
Andersen’s pointer analysis becomes more precise when applied with full heap cloning but unscalable for large, heapintensive programs. In contrast, k-callsite-sensitive heap clo...