Je n'ai jamais vu un seul émulateur utilisé la recompilation dynamique par contre la compilation statique si. Mais pas entièrement. L'idée est de seulement recompiler des séquences de code ou recoder les 'appels Hardware' de base.
Ah oui une recompilation statique est possible et fiable à 100% (sans prendre en compte les contraintes Hardware to Hardware) si le système est prédictible. Bref que la question de Halting problem ne se pose pas.