428 search results - page 75 / 86 » An asynchronous complete method for distributed constraint o... |
TLDI
2010
ACM
14 years 6 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
—When manufacturing nano-devices, defects are a certainty and reliability becomes a critical issue. Until now, the most pervasive methods used to address reliability, involve inj...
GLOBECOM
2009
IEEE
14 years 1 months ago
2009
IEEE
— It is well known that the performance of adaptive beamformers may degrade in the presence of steering errors. In this context, diagonal loading is one of the most popular metho...
CIMAGING
2010
13 years 11 months ago
2010
The observations in many applications consist of counts of discrete events, such as photons hitting a detector, which cannot be effectively modeled using an additive bounded or Ga...
EUROGRAPHICS
2010
Eurographics
13 years 11 months ago
2010
Eurographics
This paper presents an image editing framework where users use reference images to indicate desired color edits. In our approach, users specify pairs of strokes to indicate corres...