4075 search results - page 271 / 815 » Modeling Distributed Algorithm Using B |
142
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we compare embedded-DRAM (eDRAM) testing to both SRAM testing and commodity-DRAM testing, since an eDRAM macro uses DRAM cells with an SRAM interface. We first star...
174
click to vote
3DPVT
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a registration framework based on feature points of anatomical 3D shapes represented in the point cloud domain. Anatomical information is utilized throughout the comple...
208
click to vote
TMI
2010
15 years 1 months ago
2010
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...
217
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...
172
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
The implementation of bounded-delay services over integrated services networks relies admission control mechanisms that in turn use end-to-end delay computation algorithms. For gu...