Digital computers are powerful tools for studying natural phenomena at large-scales. Nevertheless, custom-made methods have to be developed to digitalize, simulate and finally vis...
Alexandre Muzy, Nicolas Fauvet, Patrick Bourdot, F...
High power consumption and low energy efficiency have become significant impediments to future performance improvements in modern microprocessors. This paper contributes to the so...
In this paper, we describe MusicStory, a system that automatically creates videos to accompany music with lyrics. MusicStory uses common search engines, photo-sharing websites, an...
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...