Buscar
Mostrando ítems 1-10 de 242
SynMaker: uma ferramenta de síntese de alto nível para processamento digital de imagem
(Universidade Federal de Pernambuco, 2015)
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2018-02-22)
The use of Automatic Code Generators for Formal Methods not only minimizes efforts
on the implementation of Software Systems, but also reduces the chance of existing errors
on the execution of such Systems. These tools, ...
Program synthesis from denotational semantics
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)
Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
(Universidade Estadual Paulista (Unesp), 2006-05-19)
Neste trabalho descreve-se um programa de geração automática de código para o microcontrolador 8051 da Intel, a partir de uma rede de Petri, com o objetivo de minimizar o tempo gasto na codificação do programa e automatizar ...
Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
(Universidade Estadual Paulista (Unesp), 2006-05-19)
Neste trabalho descreve-se um programa de geração automática de código para o microcontrolador 8051 da Intel, a partir de uma rede de Petri, com o objetivo de minimizar o tempo gasto na codificação do programa e automatizar ...
Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software
(Universidade Estadual Paulista (UNESP), 2014)