Aún cuando la recursión por la cola significa una mejora cuando se traducen funciones recursivas en un compilador, en los lenguajes imperativos queda un problema. Cada vez que se hace una llamada recursiva queda pendiente el contexto de control a la espera del valor a retornar. Por lo que de todas maneras el valor retornado al final debe volver a recorrer toda la pila de llamadas para que el valor sea devuelto por la llamada original a "factorial" en tu ejemplo. 

Una diferencia se ve en Scheme por ejemplo:

(define (factorial n p)

     (if (= n 1)

            p

            (factorial (- n 1) (* p n))

     )

)

En este caso, el interprete empieza a evaluar una expresion como (factorial 5 1) por ejemplo, pero la diferencia es que cuando llega al final de la recursión (cuando tiene que devolver p), directamente devuelve el valor, y eso se debe a que el interprete de Scheme se da cuenta que la función usa recursión por la cola, por lo que el contexto de control es vacío. Bueno, esto solo es posible dado que en Scheme todo se reduce a un valor del lenguaje y si ese valor ya se calculó, no hay nada más que hacer.

Saludos.