4117 search results - page 701 / 824 » On the Satisfiability of Complex Constraints |
171
click to vote
IEEEPACT
2007
IEEE
16 years 15 days ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
151
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
In this paper, we discuss and compare several policies to place replicas in tree networks, subject to server capacity constraints. The client requests are known beforehand, while ...
144
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
The Cell processor offers substantial computational power which can be effectively utilized only if application design and implementation are tuned to the Cell architecture. In th...
129
click to vote
IROS
2007
IEEE
16 years 15 days ago
2007
IEEE
— Many factors such as size, power, and weight constrain the design of modular snake robots. Meeting these constraints requires implementing a complex mechanical and electrical a...
168
click to vote
IROS
2007
IEEE
16 years 15 days ago
2007
IEEE
— Simple, fast and lightweight SLAM algorithms are necessary in many embedded robotic systems which soon will be used in houses and offices in order to do various service tasks....