Synthesis [116, 135] emplea una técnica conocida como especialización incremental [136, 115] para especializar el código del SO (en [136] se discute el caso de la especialización de UNIX) en función del uso que realizan las aplicaciones. La especialización incremental es en realidad una generalización del concepto de evaluación parcial [43]. Se trata de construir el sistema de tal modo que el código puede especializarse dinámicamente (a medida que el sistema conoce más acerca del uso que la aplicación está haciendo de un recurso determinado) para evitar sobrecargas innecesarias.
El problema principal que vemos en este modelo (especialización dinámica de código) es que todo lo que se puede hacer con el sistema es especializar su código para usos concretos. No es factible alterar sustancialmente la implementación de los servicios suministrados ni es factible emplear abstracciones diferentes de las suministradas por el sistema.
Synthesis no contempla la distribución de los recursos en un sistema distribuido y ha centrado su estudio en sistemas centralizados. Aunque parece factible (y útil) emplear la especialización dinámica de código para optimizar la ejecución de protocolos de comunicaciones, protocolos de localización de objetos y protocolos de consistencia de caches en sistemas distribuidos, Synthesis no estudia estos aspectos.