Contributions To Global Optimization Using Interval Methods And Speculation