7557 search results - page 1272 / 1512 » Constraints as a design pattern |
154
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
Recently, under a fixed power budget, asymmetric multiprocessors (AMP) have been proposed to improve the performance of multi-threaded applications compared to symmetric multiproc...
176
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
— We report our development of a vision-based motion planning system for an autonomous motorcycle designed for desert terrain, where uniform road surface and lane markings are no...
131
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
—In this paper, we address the key problem in real-time video coding, the rate-distortion (R-D) tradeoff. As most video coding applications employ color images, we analyze the R-...
214
click to vote
ISQED
2006
IEEE
16 years 19 days ago
2006
IEEE
As a result of aggressive technology scaling, gate leakage (gate oxide direct tunneling) has become a major component of total power dissipation. Use of dielectrics of higher perm...
171
click to vote
SEFM
2006
IEEE
16 years 19 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...