Octávio Páscoa Dias

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Semi-formal method design using synchronous dataflows and Petri nets.
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.
J. Signal Process. Syst., 2015

2014
Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows.
Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

2013
Exploiting dataflows and Petri nets mappings.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012
Analysing storage resources on Synchronous Dataflows using Petri net verification techniques.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

2010
An Analog Electronics Mobile Course with a Competitive Learning Approach.
Int. J. Interact. Mob. Technol., 2010

2009
A Remote Laboratory Environment for Manipulative Therapy Learning.
Int. J. Online Eng., 2009

Hand movement recognition based on biosignal analysis.
Eng. Appl. Artif. Intell., 2009

2008
Identification of Hand Movements based on MMG and EMG Signals.
Proceedings of the First International Conference on Biomedical Electronics and Devices, 2008

2004
EDBI - An E-Learning Based Project to Improve Engineering Teaching.
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.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2001
Embedded tutorial: TRP: integrating embedded test and ATE.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000
Quality of Electronic Design: From Architectural Level to Test Coverage.
Proceedings of the 1st International Symposium on Quality of Electronic Design (ISQED 2000), 2000

MOSYS A Methodology for Automatic Object Identification from System Specification.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Optimizing Functional distribution in Complex System Design.
Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

1999
Metrics and Criteria for Quality Assessment of Testable Hw/Sw Systems Architectures.
J. Electron. Test., 1999

From system level to defect-oriented test: a case study.
Proceedings of the 4th European Test Workshop, 1999

1998
An OO Based Methodology for Real-Time HW/SW Systems Modeling.
Proceedings of the Distributed and Parallel Embedded Systems, 1998


  Loading...