4117 search results - page 709 / 824 » On the Satisfiability of Complex Constraints |
170
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper is concerned with the problem of identifying robust equilibrium postures of a planar mechanism supported by fixed frictional contacts in a twodimensional gravitation...
174
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Mobile Ad-hoc Networks (MANETs) are composed of a set of communicating devices which are able to spontaneously interconnect without any pre-existing infrastructure. In such scenar...
160
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Multicycling is a widely investigated technique for performance optimisation in behavioural synthesis. It allows an operation to execute over two or more control steps with the...
147
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
With continued aggressive process scaling in the subwavelength lithographic regime, resolution enhancement techniques (RETs) such as optical proximity correction (OPC) are an inte...
154
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...