publicações selecionadas Software for Embedded Systems: Serializing Compilers and Their Applications Métodos para caracterização de desempenho de CPUs industriais