1312 search results - page 24 / 263 » Formally Optimal Boxing |
JDCTA
2010
13 years 3 months ago
2010
An efficient method to segment eyed typhoon from a satellite cloud image is proposed. First, original satellite cloud image is enhanced by gray transform. Second, in order to redu...
DSD
2002
IEEE
14 years 2 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
TODAES
2008
13 years 9 months ago
2008
A new efficient algorithm is derived for the minimal period retiming by formal manipulation. Contrary to all previous algorithms, which used binary search on a range of candidate ...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
IFM
2004
Springer
14 years 2 months ago
2004
Springer