First know that whether or not your hosting provider is providing IPMI or not. Because many don't.
If yes then just ask them. All hosting services have their own interface. So, its wise to contact them directly. You have bought a dedicated server, its pretty big deal. They are bound to assist you.