Buscar
Mostrando ítems 1-10 de 55
A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2013)
Editor de Gramáticas de Grafos Orientados a Objeto
(Universidade Federal do PampaCampus Bagé, 2015)
Proof Tactics for Theorem Proving Graph Grammars through Rodin
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2015)