894 search results - page 127 / 179 » Optimizations for LTL Synthesis |
ERSA
2004
15 years 13 days ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
88
Voted
AUTOMATICA
2006
14 years 11 months ago
2006
This paper revisits a well-known synthesis problem in iterative learning control, where the objective is to optimize a performance criterion over a class of causal iterations. The...
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
— Humans are adept at grasping different objects robustly for different tasks. Robotic grasping has made significant progress, but still has not reached the level of robustness ...
DSD
2010
IEEE
14 years 9 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
117
click to vote
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
This article proposes a new algorithm to compute the projection on the set of images whose total variation is bounded by a constant. The projection is computed through a dual form...