Raimundo Da Silva Barreto

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Ciência da Computação

Publicações

Total: 177

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Grande área de atuação	Área de atuação
Nome	Vínculo	Grande área de atuação	Área de atuação
Anna Beatriz Dos Santos MARQUES		Ciências Exatas e da Terra	Ciência da Computação
Anselmo Cardoso De PAIVA		Ciências Exatas e da Terra	Ciência da Computação
Davi Viana Dos SANTOS		Ciências Exatas e da Terra	Ciência da Computação
Elaine HARADA		Ciências Exatas e da Terra	Ciência da Computação
Gabriel Alves De Albuquerque JÚNIOR		Ciências Exatas e da Terra	Ciência da Computação
Ivana Marcia Oliveira MAIA		Ciências Sociais Aplicadas	Desenho Industrial
José Francisco De Magalhães NETTO		Ciências Exatas e da Terra	Ciência da Computação
Juan Gabriel COLONNA		Ciências Exatas e da Terra	Ciência da Computação
Luis Jorge Enrique Rivero CABREJOS		Ciências Exatas e da Terra	Ciência da Computação
Marcos André Fernandes SPÓSITO		Ciências Agrárias	Agronomia
Rafael Ferreira Leite De MELLO		Ciências Exatas e da Terra	Ciência da Computação
Rosiane De Freitas RODRIGUES		Ciências Exatas e da Terra	Ciência da Computação
Tiago Thompsen PRIMO		Ciências Exatas e da Terra	Ciência da Computação
Vitor Bremgartner Da FROTA		Ciências Humanas	Educação

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 7

Mapa de calor das categorias ASJC por ano
Categoria ASJC	1998	2003	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025	2026
1701 · Computer Science (miscellaneous)	0	2	5	6	1	3	7	1	2	4	3	6	3	3	5	5	1	2	4	4	3	1	0	0	1
1706 · Computer Science Applications	1	0	2	0	1	0	4	2	2	0	1	0	0	1	1	0	3	2	2	2	0	0	3	2	3
3304 · Education	0	0	0	0	0	1	0	0	0	1	1	0	0	5	0	1	1	1	4	1	1	0	1	0	1
1702 · Artificial Intelligence	0	0	1	1	1	0	0	1	1	0	0	0	0	2	3	0	1	0	1	1	0	0	1	2	0
1700 · General Computer Science	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	4	2	0	0
1705 · Computer Networks and Communications	0	0	1	0	1	0	1	0	0	0	0	1	0	1	1	0	0	0	0	0	0	0	0	0	0
2801 · Neuroscience (miscellaneous)	0	0	0	0	0	1	0	0	0	0	0	0	0	3	0	0	0	0	0	0	0	1	0	0	0
2701 · Medicine (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	4	0	0	0	0	0	0	0	0	0	0
1402 · Accounting	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	1	0	0
1707 · Computer Vision and Pattern Recognition	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	1	0
1709 · Human-Computer Interaction	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1
2102 · Energy Engineering and Power Technology	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0
1314 · Physiology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
1401 · Business; Management and Accounting (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0
1710 · Information Systems	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0
1712 · Software	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0
2207 · Control and Systems Engineering	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2613 · Statistics and Probability	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0
2736 · Pharmacology (medical)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1
3201 · Psychology (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
3310 · Linguistics and Language	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2007	Artigo em periódico	Software synthesis for hard real-time embedded systems with multiple processors Tavares EDUARDO; Raimundo Da Silva BARRETO; Maciel PAULO; Oliveira MEUSE; Amorim LEONARDO et al Software Engineering Notes DOI 10.1145/1234741.1234769 ISSN 0163-5948	PS Computer Science (miscellaneous)
2007	Artigo em periódico	CML: C Modeling Language Frederico Oliveria JR; Ricardo Massa LIMA; Márcio CORNÉLIO; Sérgio SOARES; Paulo Romero Martins MACIEL et al JOURNAL OF UNIVERSAL COMPUTER SCIENCE DOI 10.3217/jucs-013-06 ISSN 0948-6968	SH Linguistics and Language
2007	Artigo em periódico	TXM: an Agile HW/SW Development Methodology for Building Medical Devices Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Rafael BARCELOS; Meuse Nogueira De Oliveira JÚNIOR; Vicente Lucena FILHO et al Software Engineering Notes DOI 10.1145/1317471.1317476 ISSN 0163-5948	LS Neuroscience (miscellaneous)
2006	Trabalho em evento	Analyzing Embedded Systems Software Performance and Energy Consumption by Probabilistic Modeling: An Approach Based on Coloured Petri Nets Meuse Nogueira De Oliveira JÚNIOR; Silvino NETO; Paulo Romero Martins MACIEL; Ricardo Massa LIMA; Angelo Roncalli RIBEIRO et al 27th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency ISBN 3540346996	PS Energy Engineering and Power Technology
2006	Trabalho em evento	A Formal Modeling for Embedded Hard Real-Time Systems Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Eduardo Antonio Guimarães TAVARES; Marcelo Monteiro CUSTÓDIO; Rômulo Devezas FREITAS et al 8th Brazilian Workshop on Real-Time Systems	PS Computer Science (miscellaneous)
2006	Trabalho em evento	Pre-Runtime Scheduling considering Timing and Energy Constraints in Embedded Systems with Multiple Processors Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Bruno SOUZA; Raimundo Da Silva BARRETO et al 5th IFIP Working Conference on Distributed and Parallel Embedded Systems	PS Computer Networks and Communications
2006	Trabalho em evento	An Automated Theorem Proving Method for Scheduling Embedded Hard Real-time Systems Marcelo Monteiro CUSTÓDIO; Raimundo Da Silva BARRETO; Ruiter Braga CALDAS 27th IEEE Real-Time Systems Symposium (Work-in-Progress)	PS Artificial Intelligence
2006	Artigo em periódico	Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems Amorim LEONARDO; Maciel PAULO; Nogueira MEUSE; Raimundo Da Silva BARRETO; Tavares EDUARDO Software Engineering Notes DOI 10.1145/1127878.1127880 ISSN 0163-5948	PS Computer Science Applications
2005	Trabalho em evento	Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Marília Litwak NEVES; Meuse Nogueira De Oliveira JÚNIOR et al International Embedded System Symposium (IESS'05) ISBN 0387275576	PS Computer Science (miscellaneous)
2005	Trabalho em evento	A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Angelo Roncalli RIBEIRO; Adilson Arcoverde JÚNIOR; Ricardo Massa LIMA et al International Workshop on Power and Timing Modeling; Optimization and Simulation (PATMOS'05) ISBN 3540290133	PS Computer Science (miscellaneous)
2005	Trabalho em evento	An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Ricardo Massa LIMA et al International Workshop on Power and Timing Modeling; Optimization and Simulation (PATMOS'05) ISBN 3540290133	PS Computer Science (miscellaneous)
2005	Trabalho em evento	A Methodology for Mapping Live Sequence Chart to Coloured Petri Net Leonardo AMORIM; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES IEEE Conference on Systems; Man and Cibernetics (SMC'05) ISBN 0780390938	PS Computer Science (miscellaneous)
2005	Trabalho em evento	A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Leonardo AMORIM et al 18th Symposium on Integrated Circuits and Systems Design ISBN 1595931740	PS Computer Science (miscellaneous)
2005	Trabalho em evento	A Time Petri Net-Based Approach for Software Synthesis Considering Overheads Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Leonardo AMORIM et al 17th International Symposium on Computer Architecture and High Performance Computing ISBN 15506533	PS Artificial Intelligence
2005	Trabalho em evento	A Methodology for Software Synthesis of Embedded Real-Time Systems Based On TPN and LSC Leonardo AMORIM; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Eduardo Antonio Guimarães TAVARES; Meuse Nogueira De Oliveira JÚNIOR et al 2nd International Conference on Embedded Software and Systems ISBN 3540308814	PS Computer Science (miscellaneous)
2004	Trabalho em evento	A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems Raimundo Da Silva BARRETO; Sérgio Vanderlei CAVALCANTE; Paulo Romero Martins MACIEL 1st Int. Workshop on Embedded Computing Systems; em conjunto com 24th Int. Conf. on Distributed Computing Systems	PS Computer Science (miscellaneous)
2004	Trabalho em evento	Pre-Runtime Scheduling for Embedded Hard Real-Time Systems Using Time Petri Nets Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR International Conference on Design; Analysis; and Simulation of Distributed Systems (DASD'04)	PS Computer Science (miscellaneous)
2004	Trabalho em evento	A Software Power Cost Analysis based on Colored Petri Net Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Raimundo Da Silva BARRETO; Fernando Ferreira De CARVALHO Workshop on Token-Based Computing (TOBACO)	PS Computer Science (miscellaneous)
2004	Trabalho em evento	A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Ricardo Massa LIMA IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES) ISBN 1402081480	PS Computer Networks and Communications
2004	Trabalho em evento	Towards A Software Power Cost Analysis Framework Using Colored Petri Net Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Raimundo Da Silva BARRETO; Fernando Ferreira De CARVALHO 14th International Workshop on Power and Timing Modeling; Optimization and Simulation (PATMOS'2004) ISBN 3540230955	PS Computer Science (miscellaneous)
2004	Trabalho em evento	EZPetri: A Petri net interchange framework for Eclipse based on PNML Adilson Arcoverde JÚNIOR; Gabriel Alves JÚNIOR; Ricardo Massa LIMA; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR et al 1st International Symposium on Leveraging Applications of Formal Method (ISoLA'04)	PS Artificial Intelligence
2004	Trabalho em evento	Embedded Hard Real-Time Systems Scheduling: An Unmanned Ground Vehicle Case Study Raimundo Da Silva BARRETO; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL I Workshop de Sistemas Operacionais	PS Computer Science Applications
2004	Trabalho em evento	A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL et al 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004)	PS Computer Science (miscellaneous)
2004	Trabalho em evento	An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Marília Litwak NEVES; Paulo Romero Martins MACIEL et al 16th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2004)	PS Computer Science Applications
2003	Trabalho em evento	A Reconfigurable Architecture for Multi-Context Application Manoel Eusébio LIMA; Remy Eskinazi SANTANA; Abel Silva FILHO; Abner BARROS; Paulo Abadie GUEDES et al 3rd International Conference on Engineering and Computer Education;	PS Computer Science (miscellaneous)

2007 Artigo em periódico

PS Computer Science (miscellaneous)

Software synthesis for hard real-time embedded systems with multiple processors

Software Engineering Notes

Tavares EDUARDO; Raimundo Da Silva BARRETO; Maciel PAULO; Oliveira MEUSE; Amorim LEONARDO et al

DOI ISSN 0163-5948

2007 Artigo em periódico

SH Linguistics and Language

CML: C Modeling Language

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

Frederico Oliveria JR; Ricardo Massa LIMA; Márcio CORNÉLIO; Sérgio SOARES; Paulo Romero Martins MACIEL et al

DOI ISSN 0948-6968

2007 Artigo em periódico

LS Neuroscience (miscellaneous)

TXM: an Agile HW/SW Development Methodology for Building Medical Devices

Software Engineering Notes

Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Rafael BARCELOS; Meuse Nogueira De Oliveira JÚNIOR; Vicente Lucena FILHO et al

DOI ISSN 0163-5948

2006 Trabalho em evento

PS Energy Engineering and Power Technology

Analyzing Embedded Systems Software Performance and Energy Consumption by Probabilistic Modeling: An Approach Based on Coloured Petri Nets

27th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency

Meuse Nogueira De Oliveira JÚNIOR; Silvino NETO; Paulo Romero Martins MACIEL; Ricardo Massa LIMA; Angelo Roncalli RIBEIRO et al

ISBN 3540346996

2006 Trabalho em evento

PS Computer Science (miscellaneous)

A Formal Modeling for Embedded Hard Real-Time Systems

8th Brazilian Workshop on Real-Time Systems

Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Eduardo Antonio Guimarães TAVARES; Marcelo Monteiro CUSTÓDIO; Rômulo Devezas FREITAS et al

2006 Trabalho em evento

PS Computer Networks and Communications

Pre-Runtime Scheduling considering Timing and Energy Constraints in Embedded Systems with Multiple Processors

5th IFIP Working Conference on Distributed and Parallel Embedded Systems

Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Bruno SOUZA; Raimundo Da Silva BARRETO et al

2006 Trabalho em evento

PS Artificial Intelligence

An Automated Theorem Proving Method for Scheduling Embedded Hard Real-time Systems

27th IEEE Real-Time Systems Symposium (Work-in-Progress)

Marcelo Monteiro CUSTÓDIO; Raimundo Da Silva BARRETO; Ruiter Braga CALDAS

2006 Artigo em periódico

PS Computer Science Applications

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems

Software Engineering Notes

Amorim LEONARDO; Maciel PAULO; Nogueira MEUSE; Raimundo Da Silva BARRETO; Tavares EDUARDO

DOI ISSN 0163-5948

2005 Trabalho em evento

PS Computer Science (miscellaneous)

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads

International Embedded System Symposium (IESS'05)

Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Marília Litwak NEVES; Meuse Nogueira De Oliveira JÚNIOR et al

ISBN 0387275576

2005 Trabalho em evento

PS Computer Science (miscellaneous)

A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets

International Workshop on Power and Timing Modeling; Optimization and Simulation (PATMOS'05)

Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Angelo Roncalli RIBEIRO; Adilson Arcoverde JÚNIOR; Ricardo Massa LIMA et al

ISBN 3540290133

2005 Trabalho em evento

PS Computer Science (miscellaneous)

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints

International Workshop on Power and Timing Modeling; Optimization and Simulation (PATMOS'05)

Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Ricardo Massa LIMA et al

ISBN 3540290133

2005 Trabalho em evento

PS Computer Science (miscellaneous)

A Methodology for Mapping Live Sequence Chart to Coloured Petri Net

IEEE Conference on Systems; Man and Cibernetics (SMC'05)

Leonardo AMORIM; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES

ISBN 0780390938

2005 Trabalho em evento

PS Computer Science (miscellaneous)

A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes

18th Symposium on Integrated Circuits and Systems Design

Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Leonardo AMORIM et al

ISBN 1595931740

2005 Trabalho em evento

PS Artificial Intelligence

A Time Petri Net-Based Approach for Software Synthesis Considering Overheads

17th International Symposium on Computer Architecture and High Performance Computing

Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Leonardo AMORIM et al

ISBN 15506533

2005 Trabalho em evento

PS Computer Science (miscellaneous)

A Methodology for Software Synthesis of Embedded Real-Time Systems Based On TPN and LSC

2nd International Conference on Embedded Software and Systems

Leonardo AMORIM; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Eduardo Antonio Guimarães TAVARES; Meuse Nogueira De Oliveira JÚNIOR et al

ISBN 3540308814

2004 Trabalho em evento

PS Computer Science (miscellaneous)

A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems

1st Int. Workshop on Embedded Computing Systems; em conjunto com 24th Int. Conf. on Distributed Computing Systems

Raimundo Da Silva BARRETO; Sérgio Vanderlei CAVALCANTE; Paulo Romero Martins MACIEL

2004 Trabalho em evento

PS Computer Science (miscellaneous)

Pre-Runtime Scheduling for Embedded Hard Real-Time Systems Using Time Petri Nets

International Conference on Design; Analysis; and Simulation of Distributed Systems (DASD'04)

Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR

2004 Trabalho em evento

PS Computer Science (miscellaneous)

A Software Power Cost Analysis based on Colored Petri Net

Workshop on Token-Based Computing (TOBACO)

Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Raimundo Da Silva BARRETO; Fernando Ferreira De CARVALHO

2004 Trabalho em evento

PS Computer Networks and Communications

A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems

IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES)

Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Ricardo Massa LIMA

ISBN 1402081480

2004 Trabalho em evento

PS Computer Science (miscellaneous)

Towards A Software Power Cost Analysis Framework Using Colored Petri Net

14th International Workshop on Power and Timing Modeling; Optimization and Simulation (PATMOS'2004)

Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Raimundo Da Silva BARRETO; Fernando Ferreira De CARVALHO

ISBN 3540230955

2004 Trabalho em evento

PS Artificial Intelligence

EZPetri: A Petri net interchange framework for Eclipse based on PNML

1st International Symposium on Leveraging Applications of Formal Method (ISoLA'04)

Adilson Arcoverde JÚNIOR; Gabriel Alves JÚNIOR; Ricardo Massa LIMA; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR et al

2004 Trabalho em evento

PS Computer Science Applications

Embedded Hard Real-Time Systems Scheduling: An Unmanned Ground Vehicle Case Study

I Workshop de Sistemas Operacionais

Raimundo Da Silva BARRETO; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL

2004 Trabalho em evento

PS Computer Science (miscellaneous)

A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems

17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004)

Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL et al

2004 Trabalho em evento

PS Computer Science Applications

An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints

16th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2004)

Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Marília Litwak NEVES; Paulo Romero Martins MACIEL et al

2003 Trabalho em evento

PS Computer Science (miscellaneous)

A Reconfigurable Architecture for Multi-Context Application

3rd International Conference on Engineering and Computer Education;

Manoel Eusébio LIMA; Remy Eskinazi SANTANA; Abel Silva FILHO; Abner BARROS; Paulo Abadie GUEDES et al