2479 search results - page 317 / 496 » A Computational Theory of Working Memory |
190
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
174
click to vote
SPAA
2006
ACM
16 years 15 days ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...
211
click to vote
HPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we describe the integration of dynamic right-sizing — an automatic and scalable buffer management technique for enhancing TCP performance — into GridFTP, a sub...
179
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Mean shift is a popular method to segment images and videos. Pixels are represented by feature points, and the segmentation is driven by the point density in feature space. In thi...
169
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we re-visit the problem of unconditionally secure message transmission (USMT) from a sender S to a receiver R, who are part of a distributed synchronous network, mo...