Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings von Rocha, José-Inácio, Páscoa Dias, Octávio, Gomes, Luís

Volltext

Automatic optical inspection for detecting defective solders on printed circuit boards von da Silva, Henrique Gomes, Amaral, T G, Dias, Octávio Páscoa

Volltext

Petri net verification techniques on Synchronous Dataflow models von Rocha, J-I, Gomes, L., Dias, O. P.

Volltext

An Analog Electronics Mobile Course with a Competitive Learning Approach von Madeira, Rui Neves, Pires, Vitor, Dias, Octávio Pascoa, Martins, João

Volltext

Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”: Comments on Paper from R. Govindarajan, Guang R. Gao and Palash Desai Publish... von Rocha, José-Inácio, Dias, Octávio Páscoa, Gomes, Luís

Volltext

Dataflow model property verification using Petri net translation techniques von Rocha, J-I, Gomes, L., Dias, O. P.

Volltext

Analysing storage resources on Synchronous Dataflows using Petri net verification techniques von Rocha, J-I, Gomes, L., Dias, O. P.

Volltext

Computer assisted learning in manipulative therapy education von Dias, Octavio Páscoa, Amaral, Tito Gerardo Batoreo, Fernão Pires, Vitor

Volltext

Automatic Optical Inspection for Surface Mounting Devices with IPC-A-610D compliance von Vitoriano, P. M. A., Amaral, T. G., Dias, O. P.

Volltext