Smart compilers for reliable and power-efficient embedded computing