Edna Barros

According to our database, Edna Barros authored at least 98 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Planning the path with Reinforcement Learning: Optimal Robot Motion Planning in RoboCup Small Size League Environments.

Mateus G. Machado, João G. Melo, Cleber Zanchettin, Pedro H. M. Braga, Pedro V. Cunha, Edna Natividade da Silva Barros, Hansenclever F. Bassani

CoRR, 2024

2023

Uma Abordagem para Ensino-Aprendizado de Projetos de Sistemas Computacionais com Utilização do Simulador CompSim com Suporte à Arquitetura RISC-V.

Guilherme Álvaro R. M. Esmeraldo, Robson Gonçalves Fechine Feitosa, Edna Natividade da Silva Barros, Eduardo Carlos P. da S. Proto, Harley Macedo de Mello, Edson Barbosa Lisboa, Esdras L. Bispo Jr., Gustavo Augusto Lima de Campos

Revista Brasileira de Informática na Educ., 2023

RobôCIn Small Size League Extended Team Description Paper for RoboCup 2023.

Aline Lima de Oliveira, Cauê Addae da Silva Gomes, Cecília Virginia Santos da Silva, Charles Matheus de Sousa Alves, Danilo Andrade Martins de Souza, Driele Pires Ferreira Araújo Xavier, Edgleyson Pereira da Silva, Felipe Bezerra Martins, Lucas Henrique Cavalcanti Santos, Lucas Dias Maciel, Matheus Paixão Gumercindo dos Santos, Matheus Lafayette Vasconcelos, Matheus Vinícius Teotonio do Nascimento Andrade, João Guilherme Oliveira Carvalho de Melo, João Pedro Souza Pereira de Moura, José Ronald da Silva, José Victor Silva Cruz, Pedro Henrique Santana de Morais, Pedro Paulo Salman de Oliveira, Riei Joaquim Matos Rodrigues, Roberto Costa Fernandes, Ryan Vinicius Santos Morais, Tamara Mayara Ramos Teobaldo, Washington Igor dos Santos Silva, Edna Natividade da Silva Barros

CoRR, 2023

A Soil pH Sensor and a Based on Time-Series Prediction IoT System for Agriculture.

Saulo Aguiar, Edna Barros

Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

Improving Inertial Odometry Through Particle Swarm Optimization in the RoboCup Small Size League.

Lucas Cavalcanti, João G. Melo, Riei Joaquim, Edna Barros

Proceedings of the RoboCup 2023: Robot World Cup XXVI [Bordeaux, France, 4-10 July, 2023]., 2023

RobôCIn SSL-Unification: A Modular Software Architecture for Dynamic Multi-robot Systems.

Victor Araújo, Riei Joaquim Matos Rodrigues, José Victor Silva Cruz, Lucas Cavalcanti, Matheus Vinícius Teotonio do Nascimento Andrade, Matheus Paixão Gumercindo dos Santos, João G. Melo, Pedro Paulo Salman de Oliveira, Ryan Vinicius Santos Morais, Edna Barros

Proceedings of the RoboCup 2023: Robot World Cup XXVI [Bordeaux, France, 4-10 July, 2023]., 2023

Dataset and Baseline Experiments for Self-Localization and Tracking in the RoboCup Small Size League.

João G. Melo, Lucas Cavalcanti, Riei Joaquim, Victor Araújo, Edna Barros

Proceedings of the Latin American Robotics Symposium, 2023

2022

FPGA-Based Pedestrian Detection for Collision Prediction System.

Lucas F. S. Cambuim, Edna Barros

Sensors, 2022

Web Soccer Monitor: An Open-Source 2D Soccer Simulation Monitor for the Web and the Foundation for a New Ecosystem.

Mateus F. B. Soares, Tsang Ing Ren, Paulo S. G. de Mattos Neto, Edna Natividade da Silva Barros

Proceedings of the RoboCup 2022:, 2022

A Library and Web Platform for RoboCup Soccer Matches Data Analysis.

Felipe N. A. Pereira, Mateus F. B. Soares, Conceição Rocha, Tales T. Alves, Tiago H. R. P. Gonçalves, José R. da Silva, Tsang Ing Ren, Paulo S. G. de Mattos Neto, Edna Natividade da Silva Barros

Proceedings of the RoboCup 2022:, 2022

An Embedded Monocular Vision Approach for Ground-Aware Objects Detection and Position Estimation.

João G. Melo, Edna Barros

Proceedings of the RoboCup 2022:, 2022

Towards an Autonomous RoboCup Small Size League Robot.

João G. Melo, Felipe B. Martins, Lucas Cavalcanti, Roberto Fernandes, Victor Araújo, Riei Joaquim, João Guilherme Monteiro, Edna Barros

Proceedings of the Latin American Robotics Symposium, 2022

2021

Supporting Detection of Near and Far Pedestrians in a Collision Prediction System.

Lucas F. S. Cambuim, Edna Barros

Proceedings of the 16th International Joint Conference on Computer Vision, 2021

rSoccer: A Framework for Studying Reinforcement Learning in Small and Very Small Size Robot Soccer.

Felipe B. Martins, Mateus G. Machado, Hansenclever F. Bassani, Pedro H. M. Braga, Edna Barros

Proceedings of the RoboCup 2021: Robot World Cup XXIV, 2021

Dataset and Benchmarking of Real-Time Embedded Object Detection for RoboCup SSL.

Roberto Fernandes, Walber M. Rodrigues, Edna Barros

Proceedings of the RoboCup 2021: Robot World Cup XXIV, 2021

Optimized Wireless Control and Telemetry Network for Mobile Soccer Robots.

Lucas Cavalcanti, Riei Joaquim, Edna Barros

Proceedings of the RoboCup 2021: Robot World Cup XXIV, 2021

A Telemetry-Based PI Tuning Strategy for Low-Level Control of an Omnidirectional Mobile Robot.

Victor Araújo, Felipe B. Martins, Roberto Fernandes, Edna Barros

Proceedings of the RoboCup 2021: Robot World Cup XXIV, 2021

Occupancy Grid Map Estimation Based on Visual SLAM and Ground Segmentation.

Mirella Pessoa de Melo, Lucas F. S. Cambuim, Edna Barros

Proceedings of the Latin American Robotics Symposium, 2021

Mechanical and Dynamic Analysis for Design and Development of a RoboCup SSL Dribbling Mechanism^*.

Victor Araújo, Edgleyson Silva, João Guilherme Monteiro, Rebecca Sousa, Cecília Virginia Santos da Silva, Pedro Henrique Santana de Morais, Edna Barros

Proceedings of the Latin American Robotics Symposium, 2021

Supervised Training of a Simple Digital Assistant for a Free Crop Clinic.

Mariana da Silva Barros, Igor de Moura Philippini, Ladson Gomes Silva, Antonio Barros da Silva Netto, Rosana Blawid, Edna Natividade da Silva Barros, Stefan Blawid

Proceedings of the Intelligent Systems - 10th Brazilian Conference, 2021

2020

An FPGA-based real-time occlusion robust stereo vision system using semi-global matching.

Lucas F. S. Cambuim, Luiz A. Oliveira, Edna Natividade da Silva Barros, Antonyus P. A. Ferreira

J. Real Time Image Process., 2020

An embedded automatic license plate recognition system using deep learning.

Diogo M. F. Izidio, Antonyus P. A. Ferreira, Heitor R. Medeiros, Edna Natividade da Silva Barros

Des. Autom. Embed. Syst., 2020

An Efficient Method for Porosity Properties Extraction of Carbonate Rocks.

Victor G. Cardoso, Edna Natividade da Silva Barros, José A. Barbosa, Antonio D. Antonino, Abraão V. Nova

Proceedings of the 33rd SIBGRAPI Conference on Graphics, Patterns and Images, 2020

A Strategy to Support Streaming Communication using the Intel HARPv2 Platform: A Case Study in Stereo Vision Application.

Lucas F. S. Cambuim, Severino J. B. Júnior, Edna Natividade da Silva Barros

Proceedings of the 18th IEEE International New Circuits and Systems Conference, 2020

A Data Analysis Graphical user Interface for RoboCup 2D Soccer Simulation League.

Felipe N. A. Pereira, Mateus F. B. Soares, Edna Natividade da Silva Barros

Proceedings of the Latin American Robotics Symposium, 2020

An Analysis of Reinforcement Learning Applied to Coach Task in IEEE Very Small Size Soccer.

Carlos H. C. Pena, Mateus G. Machado, Mariana S. Barros, José D. P. Silva, Lucas D. Maciel, Tsang Ing Ren, Edna Natividade da Silva Barros, Pedro H. M. Braga, Hansenclever F. Bassani

Proceedings of the Latin American Robotics Symposium, 2020

2019

An ensemble strategy for Haplotype Inference based on the internal variability of algorithms.

Rogério S. Rosa, Lucas F. S. Cambuim, Edna Natividade da Silva Barros

Proceedings of the International Joint Conference on Neural Networks, 2019

Latin hypercube initialization strategy for design space exploration of deep neural network architectures.

Heitor R. Medeiros, Diogo M. F. Izidio, Antonyus P. do A. Ferreira, Edna Natividade da Silva Barros

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

Towards better generalization in WLAN positioning systems with genetic algorithms and neural networks.

Diogo M. F. Izidio, Antonyus P. do A. Ferreira, Edna Natividade da Silva Barros

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

2018

Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification.

Rafael Melo Macieira, Edna Barros

IET Cyper-Phys. Syst.: Theory & Appl., 2018

An FPGA-based Hardware Accelerator for Scene Text Character Recognition.

Luiz Antonio de Oliveira Junior, Edna Barros

Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018

An Embedded Automatic License Plate Recognition System Using Deep Learning.

Diogo M. F. Izidio, Antonyus P. A. Ferreira, Edna Natividade da Silva Barros

Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018

An FPGA-Based RFID Baseband Processor Using a RISC-V Platform.

Pedro J. A. Ishimaru, Antonyus P. A. Ferreira, Vanessa O. Ogg, Cecil Accetti R. de A. Melo, Edna Natividade da Silva Barros

Proceedings of the 31st Symposium on Integrated Circuits and Systems Design, 2018

TDevCGen: A synthesis toolset of HW/SW communication protocol monitors from high-level specifications.

Rafael Melo Macieira, Edna Barros

Proceedings of the 19th IEEE Latin-American Test Symposium, 2018

2017

Hardware module for low-resource and real-time stereo vision engine using semi-global matching approach.

Lucas F. S. Cambuim, João Paulo Fernandes Barbosa, Edna Natividade da Silva Barros

Proceedings of the 30th Symposium on Integrated Circuits and Systems Design: Chip on the Sands, 2017

2016

An efficient static gesture recognizer embedded system based on ELM pattern recognition algorithm.

Lucas F. S. Cambuim, Rafael M. Macieira, Fernando M. de Paula Neto, Edna Barros, Teresa Bernarda Ludermir, Cleber Zanchettin

J. Syst. Archit., 2016

A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement.

Dario Dias, George Lima, Edna Barros

Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

A hardware accelerator for the alignment of multiple DNA sequences.

Antonyus Pyetro do Amaral Ferreira, Joao G. M. Silva, Jefferson R. L. Anjos, Luiz H. A. Figueiroa, Edna Natividade da Silva Barros, Manoel Eusébio de Lima, Victor Wanderley Costa de Medeiros

Proceedings of the 29th Symposium on Integrated Circuits and Systems Design, 2016

An FPGA-based accelerator for multiple real-time template matching.

Erika S. Albuquerque, Antonyus Pyetro do Amaral Ferreira, Joao G. M. Silva, João Paulo Fernandes Barbosa, Renato L. M. Carlos, Djeefther S. Albuquerque, Edna Natividade da Silva Barros

Proceedings of the 29th Symposium on Integrated Circuits and Systems Design, 2016

Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look.

George Lima, Dario Dias, Edna Barros

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

A MPSoC cache design space exploration approach based on ABC algorithm to optimize energy consumption and performance.

Marcus Vinicius Duarte dos Santos, Edna Barros, Andre Aziz

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

Oolong: A Baseband processor extension to the RISC-V ISA.

Cecil Accetti R. de A. Melo, Edna Barros

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

A hardware accelerator for the alignment of multiple DNA sequences in forensic identification.

Antonyus P. A. Ferreira, Joao G. M. Silva, Jefferson R. L. Anjos, Luiz H. A. Figueiroa, Edna Natividade da Silva Barros, Manoel Eusébio de Lima, Victor Wanderley Costa de Medeiros

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

Temporized data prefetching algorithm for NoC-based multiprocessor systems.

Maria Cireno, Andre Aziz, Edna Barros

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

2015

A high performance hardware accelerator for dynamic texture segmentation.

João Paulo Fernandes Barbosa, Antonyus Pyetro do Amaral Ferreira, Rodrigo Camarotti Ferreira da Rocha, Erika S. Albuquerque, Josivan R. Reis, Djeefther S. Albuquerque, Edna Natividade da Silva Barros

J. Syst. Archit., 2015

Extreme Learning Machine for Real Time Recognition of Brazilian Sign Language.

Fernando M. de Paula Neto, Lucas F. S. Cambuim, Rafael M. Macieira, Teresa Bernarda Ludermir, Cleber Zanchettin, Edna Natividade da Silva Barros

Proceedings of the 2015 IEEE International Conference on Systems, 2015

2014

The Design of an Image Converting and Thresholding Hardware Accelerator.

Rafael M. Macieira, Lucas F. S. Cambuim, Luiz L. Souza, Luiz A. Oliveira, Marcus F. R. Rios, Edna Barros

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Balanced Prefetching Aggressiveness Controller for NoC-based Multiprocessor.

Andre Aziz, Maria Cireno, Edna Barros, Bruno O. Prado

Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014

An approach for multi-task and multi-application mapping onto NoC-based MPSoC.

Max Farias, Edna Barros, André Araújo

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

Towards more reliable embedded systems through a mechanism for monitoring driver devices communication.

Rafael M. Madeira, Edna Barros, Camila Ascendina

Proceedings of the Fifteenth International Symposium on Quality Electronic Design, 2014

2013

An Ant Colony metaheuristic for energy aware application mapping on NoCs.

Max Farias, Edna Barros, Abel G. Silva-Filho, André Araújo, André Silva, João G. Melo

Proceedings of the 20th IEEE International Conference on Electronics, 2013

2012

Brazilian symposium on computing system engineering.

Antônio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. Da Silva, Edna Natividade da Silva Barros

ACM SIGOPS Oper. Syst. Rev., 2012

An Optimization Mechanism Intended for Static Power Reduction Using Dual-VthTechnique.

Rodolfo P. dos Santos, Gabriela S. Clemente, Abel Guilhermino Silva-Filho, Cristiano C. de Araújo, Adriano Sarmento, Manoel Eusébio de Lima, Edna Barros

J. Electr. Comput. Eng., 2012

Communication software synthesis from UML-ESL models.

Thiago N. C. Cardoso, Edna Barros, Bruno O. Prado, Andre Aziz

Proceedings of the 25th Symposium on Integrated Circuits and Systems Design, 2012

2011

Label-Free Electrochemical Detection of the Specific Oligonucleotide Sequence of Dengue Virus Type 1 on Pencil Graphite Electrodes.

Elaine Souza, Gustavo Nascimento, Nataly Santana, Danielly Ferreira, Manoel Eusébio de Lima, Edna Natividade da Silva Barros, Danyelly Martins, José Lima-Filho

Sensors, 2011

An ESL Approach for Energy Consumption Analysis of Cache Memories in SoC Platforms.

Abel Guilhermino Silva-Filho, Filipe R. Cordeiro, Cristiano C. de Araújo, Adriano Sarmento, Millena Gomes, Edna Barros, Manoel Eusébio de Lima

Int. J. Reconfigurable Comput., 2011

Device Driver Generation and Checking Approach.

Rafael M. Macieira, Edson B. Lisboa, Edna Barros

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

HdSC: a fast and preemptive modeling for on host HdS development.

Bruno O. Prado, Edna Barros, Thiago Figueiredo, Andre Aziz

Proceedings of the 24th Symposium on Integrated Circuits and Systems Design, 2011

2010

A high performance full pipelined arquitecture of MLP Neural Networks in FPGA.

Antonyus Pyetro do Amaral Ferreira, Edna Natividade da Silva Barros

Proceedings of the 17th IEEE International Conference on Electronics, 2010

2009

A design flow based on a domain specific language to concurrent development of device drivers and device controller simulation models.

Edson B. Lisboa, Luciano Silva, Igino Chaves, Thiago Lima, Edna Barros

Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009

A logic built-in self-test architecture that reuses manufacturing compressed scan test patterns.

Diogo José Costa Alves, Edna Barros

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009

2008

A table-based method for single-pass cache optimization.

Pablo Viana, Ann Gordon-Ross, Edna Barros, Frank Vahid

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007

Aquarius: a dynamically reconfigurable computing platform.

Jordana L. Seixas, Edson Barbosa, Stelita M. da Silva, Paulo Sérgio B. do Nascimento, Vinícius Kursancew, Remy Eskinazi Sant'Anna, Edna Barros, Manoel Eusébio de Lima

Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

Cache-Analyzer: Design Space Evaluation of Configurable-Caches in a Single-Pass.

André Silva, Guilherme Álvaro R. M. Esmeraldo, Edna Barros, Pablo Viana

Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007

A one-shot configurable-cache tuner for improved energy and performance.

Ann Gordon-Ross, Pablo Viana, Frank Vahid, Walid A. Najjar, Edna Barros

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

A computational reflection mechanism to support platform debugging in SystemC.

Bruno C. Albertini, Sandro Rigo, Guido Araujo, Cristiano C. de Araújo, Edna Barros, Willians Azevedo

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006

Tuning Mechanism for Two-Level Cache Hierarchy Intended for Instruction Caches and Low Energy Consumption.

Abel Guilhermino Silva-Filho, Pablo Viana, Edna Barros, Manoel Eusébio de Lima

Proceedings of the 18th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2006), 2006

Configurable cache subsetting for fast cache tuning.

Pablo Viana, Ann Gordon-Ross, Eamonn J. Keogh, Edna Barros, Frank Vahid

Proceedings of the 43rd Design Automation Conference, 2006

2005

The ArchC Architecture Description Language and Tools.

Rodolfo Azevedo, Sandro Rigo, Marcus Bartholomeu, Guido Araujo, Cristiano C. de Araújo, Edna Barros

Int. J. Parallel Program., 2005

Platform designer: An approach for modeling multiprocessor platforms based on SystemC.

Cristiano C. de Araújo, Millena Gomes, Edna Barros, Sandro Rigo, Rodolfo Azevedo, Guido Araujo

Des. Autom. Embed. Syst., 2005

A SystemC-only design methodology and the CINE-IP multimedia platform.

Guido Araujo, Edna Barros, Elmar U. K. Melcher, Rodolfo Azevedo, Karina R. G. da Silva, Bruno O. Prado, Manoel Eusébio de Lima

Des. Autom. Embed. Syst., 2005

ipPROCESS: Using a Process to Teach IP-Core Development.

Marília Lima, Andre Aziz, Diogo José Costa Alves, Patricia Lira, Vítor Schwambach, Edna Barros

Proceedings of the 2005 International Conference on Microelectronics Systems Education, 2005

IpPROCESS: a Development Process for Soft IP-Cord.

Marília Lima, Francielle Santos, João Bione, Tiago Lins, Edna Barros

Proceedings of the Forum on specification and Design Languages, 2005

Processor Centric Specification and Modelling of MPSoCs.

Cristiano C. de Araújo, Edna Barros, Rodolfo Azevedo, Guido Araujo

Proceedings of the Forum on specification and Design Languages, 2005

Vital Signs Remote Management System for PDAs.

Danielly Cruz, Edna Barros

Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005

2004

A Constructive Approach to Hardware/Software Partitioning.

Leila Silva, Augusto Sampaio, Edna Barros

Formal Methods Syst. Des., 2004

A Petri net based method for functional and interconnect units estimation.

Albano Portela Machado, Paulo Romero Martins Maciel, Edna Barros

Proceedings of the IEEE International Conference on Systems, 2004

Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology.

Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Azevedo, Guido Araujo

Proceedings of the 2004 Design, 2004

2003

Exploring Memory Hierarchy with ArchC.

Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Azevedo, Guido Araujo

Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003

2002

On the Importance, Problems and Solutions of Pointer Synthesis.

Niels Vanspauwen, Edna Barros, Sérgio Cavalcante, Carlos Valderrama

Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, 2002

Interface Generation for Concurrent Processes During Hardware/Software Co-synthesis.

Cristiano C. de Araújo, Edna Barros

Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, 2002

2001

A Petri Net Based Approach for Hardware/Software Partitioning.

Fred Cruz Filho, Paulo Maciel, Edna Barros

Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001

A Petri Net Based Method for Resource Estimation: An Approach Considering Data-Dependency, Casual and Temporal Precedences.

Paulo Maciel, Fred Cruz Filho, Edna Barros

Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001

Abstract Communication Model and Automatic Interface generation for IP integration in Hardware/Software Co-design.

Cristiano C. de Araújo, Edna Barros

Proceedings of the SOC Design Methodologies, 2001

2000

Resource sharing estimation by Petri nets in PISH hardware/software co-design system.

Pado Maciel, Edna Barros, Mauro Silva, Fred Cruz Filho

Proceedings of the IEEE International Conference on Systems, 2000

Using Petri nets for data dependency analysis.

Fred Cruz Filho, Paulo R. M. Maciel, Edna Barros

Proceedings of the IEEE International Conference on Systems, 2000

Methods Based on Petri Net for Resource Sharing Estimation.

Paulo Maciel, Fred Cruz Filho, Edna Barros, Wolfgang Rosenstiel

Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, 2000

1999

A Petri Net Model for Hardware/Software Codesign.

Paulo Romero Martins Maciel, Edna Barros, Wolfgang Rosenstiel

Des. Autom. Embed. Syst., 1999

1998

A safe, accurate intravenous infusion control system.

Edna Barros, Marcus V. D. dos Santos

IEEE Micro, 1998

A Petri net based approach for performing the initial allocation in hardware/software codesign.

Paulo R. M. Maciel, Edna Barros, Wolfgang Rosenstiel

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.

Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Computing communication cost by Petri nets for hardware/software codesign.

Paulo Romero Martins Maciel, Edna Barros, Wolfgang Rosenstiel

Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997

A Normal Form Reduction Strategy for Hardware/Software Partitioning.

Leila Silva, Augusto Sampaio, Edna Barros

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

A FPGA-based Implementation of an Intravenous Infusion Controller System.

Cristiano C. de Araújo, Marcus V. D. dos Santos, Edna Barros

Proceedings of the 1997 International Conference on Application-Specific Systems, 1997

1996

Capturing Time Constraints by Using Petri-nets in the Context of Hardware/Software Codesign.

Paulo Romero Martins Maciel, Edna Barros

Proceedings of the Seventh IEEE International Workshop on Rapid System Prototyping (RSP '96), 1996

1994

A method for partitioning UNITY language in hardware and software.

Xun Xiong, Edna Barros, Wolfgang Rosenstiel

Proceedings of the Proceedings EURO-DAC'94, 1994

Towards provably correct hardware/software partitioning using occam.

Edna Barros, Augusto Sampaio

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993

Hardware/software partitioning using UNITY.

Edna Natividade da Silva Barros

PhD thesis, 1993