REFSQ
2014
Springer
9 years 2 months ago
2014
Springer
CGO
2014
IEEE
9 years 2 months ago
2014
IEEE
—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...
ARCS
2014
Springer
9 years 2 months ago
2014
Springer
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....
AOSD
2014
ACM
9 years 2 months ago
2014
ACM
Scoping behavioral variations to dynamic extents is useful to support non-functional requirements that otherwise result in crosscutting code. Unfortunately, such variations are di...
QSIC
2013
IEEE
10 years 3 months ago
2013
IEEE
—Device drivers are a principal source of failures in computer systems. Therefore, improving driver reliability greatly improves overall system reliability. However, driver devel...
EUROSYS
2013
ACM
10 years 3 months ago
2013
ACM
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...
EUROMICRO
2013
IEEE
10 years 3 months ago
2013
IEEE
— Lean principles, originating from Japanese automotive industry, are anticipated to be useful to improve software development processes. Albeit its popularity there is still no ...
EMSOFT
2013
Springer
10 years 3 months ago
2013
Springer
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 ...
CSMR
2013
IEEE
10 years 3 months ago
2013
IEEE
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...
CGO
2013
IEEE
10 years 3 months ago
2013
IEEE
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...