1757 search results - page 226 / 352 » Integrating and Extending JCSP |
174
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Traditional timing-driven placement considers only combinational delays and does not take into account the potential of subsequent sequential optimization steps. As a result, the ...
196
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
: This paper describes ASF, a novel cell-level analog synthesis framework that can size and bias a given circuit topology subject to a set of performance objectives and a manufactu...
187
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
197
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose a principled framework to model persistent motion in dynamic scenes. In contrast to previous efforts on object tracking and optical flow estimation that focus on local...
180
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
In this demo, we present a system called iRIN designed for performing image retrieval in image-rich information networks. We first introduce MoK-SimRank to significantly improve...