Triangle $ABC$ is similar to triangle $DEF$, where $A$ corresponds to $D$ and $C$ corresponds to $F$. Angles $C$ and $F$ are right angles. If $\cos (A)=\frac{1}{2}$ and $DE=100$, what is the length of $\overline{DF}$?