For C programs, flow-sensitivity is important to enable pointer analysis to achieve highly usable precision. Despite significant recent advances in scaling flow-sensitive point...
Static and dynamic power constraints are steering chip manufacturers to build single-ISA Asymmetric Multicore Processors (AMPs) with big and small cores. To deliver on their energ...
Ivan Jibaja, Ting Cao, Stephen M. Blackburn, Kathr...
We present a validator for checking the correctness of LLVM compiler optimizations on C11 programs as far as concurrency is concerned. Our validator checks that optimizations do n...
A broad class of applications involve indirect or datadependent memory accesses and are referred to as irregular applications. Recent developments in SIMD architectures – speci...
We present a review of recent techniques for performing geometric analysis in cultural heritage applications. The survey is aimed at researchers in the areas of computer graphics,...
Ruggero Pintus, Kazim Pal, Ying Yang, Tim Weyrich,...
We propose a novel approach for authoring large scenes with automatic enhancement of objects to create geometric decoration details such as snow cover, icicles, fallen leaves, gra...
Mimicking the appearance of the real world is a longstanding goal of computer graphics, with several important applications in the feature-film, architecture and medical industri...
We propose a novel high-level signature for continuous semantic description of 3D shapes. Given an approximately segmented and labeled 3D mesh, our descriptor consists of a set of...
In this investigation, the multiobjective selection and optimization of a gantry machine tool is achieved by analytic hierarchy process, multiobjectiv...
S. R. Besharati, V. Dabbagh, H. Amini, Ahmed A. D....