I'll just fill you in on a simple way to do this. This will work on Windows Server 2003, 2008, and 2012.
First thing you need to do is configure the domain controller to sync with a reliable time source. If you have two or more domain controllers you need to find the one that is acting as the PDC. To sync it with a time source open up a command prompt and perform the following:
Stop the time service:
net stop w32time <enter>
Then configure the time source:
w32tm /config /manualpeerlist:XXX.XXX.XXX.XXX,0x8 /syncfromflags:MANUAL /reliable:yes /update <enter>
The X's can be the IP address of the time server or the domain name of a time server such as time-a.nist.gov.
Once the command above is done you need to start the W32Time service:
net start w32time <enter>
w32tm /resync <enter>
The <enter>
means to press the enter key.
Next you need to sync all of your client PC's to the domain controller. You can do the following from the command line:
net stop w32time <enter>
w32tm /config /manualpeerlist:peers /syncfromflags:DOMHIER /update <enter>
net start w32time <enter>
w32tm /resync </enter>
You can remotely do these commands using psexec from SysInternals if you have a lot of client machines.