Sciweavers

2880 search results - page 474 / 576
» Types are calling conventions
Sort
View
HPCA
2012
IEEE
14 years 1 months ago
Pacman: Tolerating asymmetric data races with unintrusive hardware
Data races are a major contributor to parallel software unreliability. A type of race that is both common and typically harmful is the Asymmetric data race. It occurs when at leas...
Shanxiang Qi, Norimasa Otsuki, Lois Orosa Nogueira...
MMB
2012
Springer
240views Communications» more  MMB 2012»
14 years 1 months ago
A Demand-Response Calculus with Perfect Batteries
We consider an electricity consumer equipped with a perfect battery, who needs to satisfy a non-elastic load, subject to external control signals. The control imposes a time-varyin...
Jean-Yves Le Boudec, Dan-Cristian Tomozei
POST
2012
218views more  POST 2012»
14 years 1 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...
TOG
2012
170views Communications» more  TOG 2012»
13 years 8 months ago
Interactive editing of deformable simulations
We present an interactive animation editor for complex deformable object animations. Given an existing animation, the artist directly manipulates the deformable body at any time f...
Jernej Barbic, Funshing Sin, Eitan Grinspun
CVPR
2012
IEEE
13 years 8 months ago
The Shape Boltzmann Machine: A strong model of object shape
A good model of object shape is essential in applications such as segmentation, object detection, inpainting and graphics. For example, when performing segmentation, local constra...
S. M. Ali Eslami, Nicolas Heess, John M. Winn