562 search results - page 98 / 113 » A Concurrent Model for Linear Logic |
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
We have recently proposed and investigated a planar imaging method called multiple-image radiography (MIR) that concurrently produces three two-dimensional images that reveal info...
SI3D
2010
ACM
14 years 3 months ago
2010
ACM
We propose a Parallel Banding Algorithm (PBA) on the GPU to compute the exact Euclidean Distance Transform (EDT) for a binary image in 2D and higher dimensions. Partitioning the i...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
In this study, we present experiences of parallelizing XPath queries using the Xalan XPath engine on shared-address space multi-core systems. For our evaluation, we consider a sce...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
—A common simplification in the treatment of random linear channels is the assumption of stationarity of the channel in time. The wireless channel is, however, known to be inher...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...