In theory, yes. In practice, parallelism combined with floating point math make current implementations fundamentally non-deterministic.