Octávio Páscoa Dias

18 papers A 1C 4Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2016 C conf
Semi-formal method design using synchronous dataflows and Petri nets.
IECON
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2015 J jnl
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.
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2014 — conf
Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows.
DoCEIS
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2013 C conf
Exploiting dataflows and Petri nets mappings.
INDIN
José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2012 C conf
Analysing storage resources on Synchronous Dataflows using Petri net verification techniques.
IECON
José-Inácio Rocha, Luís Gomes, Octávio Páscoa Dias
2010 J jnl
An Analog Electronics Mobile Course with a Competitive Learning Approach.
Int. J. Interact. Mob. Technol.
Rui Neves Madeira, Vitor F. Pires, Octávio Páscoa Dias, João F. A. Martins
2009 J jnl
A Remote Laboratory Environment for Manipulative Therapy Learning.
Int. J. Online Eng.
Octávio Páscoa Dias, Tito Gerardo Batoreo Amaral, Vitor Fernão Pires
2009 J jnl
Hand movement recognition based on biosignal analysis.
Eng. Appl. Artif. Intell.
Pawel Wojtczak, Tito G. B. Amaral, Octávio Páscoa Dias, Andrzej Wolczowski, Marek Kurzynski
2008 — conf
Identification of Hand Movements based on MMG and EMG Signals.
BIOSIGNALS (2)
Pawel Prociow, Andrzej Wolczowski, Tito G. B. Amaral, Octávio Páscoa Dias, Joaquim Filipe
2004 — conf
EDBI - An E-Learning Based Project to Improve Engineering Teaching.
VIRTUAL-LAB
Carlos Pais, V. Fernão Pires, Rui Amaral, João F. A. Martins, Carlos Luz, Octávio Páscoa Dias
2003 — conf
Hardware/software solution for the automation and real-time control of a wine bottling production line.
ETFA (1)
Rui Ribeiro, Octávio Páscoa Dias, João Paulo Teixeira, Isabel C. Teixeira
2001 A conf
Embedded tutorial: TRP: integrating embedded test and ATE.
DATE
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
2000 C conf
MOSYS A Methodology for Automatic Object Identification from System Specification.
ISORC
Leandro Buss Becker, Carlos Eduardo Pereira, Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira
2000 — conf
Optimizing Functional distribution in Complex System Design.
DIPES
Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Leandro Buss Becker, Carlos Eduardo Pereira
2000 — conf
Quality of Electronic Design: From Architectural Level to Test Coverage.
ISQED
Octávio Páscoa Dias, Jorge Semião, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira
1999 — conf
From system level to defect-oriented test: a case study.
ETW
Octávio Páscoa Dias, Jorge Semião, Marcelino B. Santos, Isabel Maria Cacho Teixeira, João Paulo Teixeira
1999 J jnl
Metrics and Criteria for Quality Assessment of Testable Hw/Sw Systems Architectures.
J. Electron. Test.
Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira
1998 — conf
An OO Based Methodology for Real-Time HW/SW Systems Modeling.
DIPES
Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Carlos Eduardo Pereira