11455 search results - page 1708 / 2291 » The Rayset and Its Applications |
203
click to vote
ISQED
2009
IEEE
16 years 2 months ago
2009
IEEE
— This paper revisits and extends a general linear programming(LP) formulation to exploit multiple knobs such as multi-Lgate footprint-compatible libraries and post-layout Lgateb...
244
click to vote
PERCOM
2009
ACM
16 years 2 months ago
2009
ACM
Abstract—The extensive recent research in protocols development for wireless networks must be complemented with simple yet efficient prototyping and evaluation mechanism. MiNT-2...
214
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
213
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
In this paper we propose an attention-based vision system for the JAST interactive dialog robot. The robotic vision system incorporates three submodules: object recognition, gestu...
225
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...