Octávio Páscoa Dias

According to our database, Octávio Páscoa Dias authored at least 18 papers between 1998 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Semi-formal method design using synchronous dataflows and Petri nets.

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

Proceedings of the IECON 2016, 2016

2015

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 Published in Journal of VLSI Signal Processing, Volume n.31, pp 207-229, 2002.

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

J. Signal Process. Syst., 2015

2014

Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows.

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

2013

Exploiting dataflows and Petri nets mappings.

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012

Analysing storage resources on Synchronous Dataflows using Petri net verification techniques.

José-Inácio Rocha, Luís Gomes, Octávio Páscoa Dias

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

2010

An Analog Electronics Mobile Course with a Competitive Learning Approach.

Rui Neves Madeira, Vitor F. Pires, Octávio Páscoa Dias, João F. A. Martins

Int. J. Interact. Mob. Technol., 2010

2009

A Remote Laboratory Environment for Manipulative Therapy Learning.

Octávio Páscoa Dias, Tito Gerardo Batoreo Amaral, Vitor Fernão Pires

Int. J. Online Eng., 2009

Hand movement recognition based on biosignal analysis.

Pawel Wojtczak, Tito G. B. Amaral, Octávio Páscoa Dias, Andrzej Wolczowski, Marek Kurzynski

Eng. Appl. Artif. Intell., 2009

2008

Identification of Hand Movements based on MMG and EMG Signals.

Pawel Prociow, Andrzej Wolczowski, Tito G. B. Amaral, Octávio Páscoa Dias, Joaquim Filipe

Proceedings of the First International Conference on Biomedical Electronics and Devices, 2008

2004

EDBI - An E-Learning Based Project to Improve Engineering Teaching.

Carlos Pais, V. Fernão Pires, Rui Amaral, João F. A. Martins, Carlos Luz, Octávio Páscoa Dias

Proceedings of the e-learning and Virtual and Remote Laboratories, 2004

2003

Hardware/software solution for the automation and real-time control of a wine bottling production line.

Rui Ribeiro, Octávio Páscoa Dias, João Paulo Teixeira, Isabel C. Teixeira

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2001

Embedded tutorial: TRP: integrating embedded test and ATE.

Yervant Zorian, Paolo Prinetto, João Paulo Teixeira, Isabel C. Teixeira, Carlos Eduardo Pereira, Octávio Páscoa Dias, Jorge Semião, Peter Muhmenthaler, W. Radermacher

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000

Quality of Electronic Design: From Architectural Level to Test Coverage.

Octávio Páscoa Dias, Jorge Semião, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira

Proceedings of the 1st International Symposium on Quality of Electronic Design (ISQED 2000), 2000

MOSYS A Methodology for Automatic Object Identification from System Specification.

Leandro Buss Becker, Carlos Eduardo Pereira, Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Optimizing Functional distribution in Complex System Design.

Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Leandro Buss Becker, Carlos Eduardo Pereira

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

1999

Metrics and Criteria for Quality Assessment of Testable Hw/Sw Systems Architectures.

Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira

J. Electron. Test., 1999

From system level to defect-oriented test: a case study.

Octávio Páscoa Dias, Jorge Semião, Marcelino B. Santos, Isabel Maria Cacho Teixeira, João Paulo Teixeira

Proceedings of the 4th European Test Workshop, 1999

1998

An OO Based Methodology for Real-Time HW/SW Systems Modeling.

Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Carlos Eduardo Pereira

Proceedings of the Distributed and Parallel Embedded Systems, 1998