The first option is to use the native 64 bit .NET component of TVE SDK as described in a different KB article listed in Related Articles section below.
The second option is to use the 32 bit version of TVE SDK but configure IIS to switch to 32 bit mode:
- When trying to run the TVE SDK sample web service you get the error "An attempt was made to load a program with an incorrect format."
- To solve this problem you must switch IIS to 32 bit mode as described in this Microsoft KB article: http://support.microsoft.com/kb/894435
You should now be able to run TVE SDK in any 64 bit Windows system.