| 2010 |
Trabalho em evento |
MIC: A New Compression Method of Instructions in Hardware for Embedded Systems
Wanderson Roger Azevedo DIAS; Edward David MORENO; Raimundo Da Silva BARRETO
Southern Conference on Programmable Logic Conference
|
PS
Computer Science (miscellaneous)
|
| 2010 |
Trabalho em evento |
smartenum: A Branch-and-Bound Algorithm for Optimum Frequency Set Establishment in Real-Time DVFS
Eduardo VALENTIN; Raimundo Da Silva BARRETO
Workshop on Real-Time and Embedded Systems
ISBN 21774960
|
PS
Computer Science (miscellaneous)
|
| 2010 |
Trabalho em evento |
Envio de Dados de Consulta para Sinks Móveis em Alta Velocidade em Redes de Sensores Sem Fio
Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Awdren FONTÃO; Eduardo Freire NAKAMURA; Antonio Alfredo Ferreira LOUREIRO
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos
ISBN 21779384
|
PS
Computer Science Applications
|
| 2010 |
Trabalho em evento |
A Novel Greedy Forward Algorithm for Routing Data Toward a High Speed Sink in Wireless Sensor Networks
Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Awdren FONTÃO; Eduardo Freire NAKAMURA; Antonio Alfredo Ferreira LOUREIRO
International Conference on Computer Communication Networks
ISBN 10952055
|
PS
Computer Science Applications
|
| 2010 |
Trabalho em evento |
Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs
Herbert Oliveira ROCHA; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; José Francisco De Magalhães NETTO
SAST
ISBN 9788572736596
|
PS
Artificial Intelligence
|
| 2009 |
Trabalho em evento |
On the Use of Scrum for the Management of Practical Projects in Graduate Courses
Luciano PINTO; Ricardo Erikson ROSA; Cristiane Pachero REIS; Christophe Lima XAVIER; Raimundo Da Silva BARRETO et al
Frontiers in Education Conference
ISBN 9781424447145
|
PS
Computer Science Applications
|
| 2009 |
Trabalho em evento |
Assessing the Communication Performance of Wireless Sensor Networks in Rainforests
Carlos Maurício Seródio FIGUEIREDO; Eduardo Freire NAKAMURA; Afonso RIBAS; Thales Ruano De SOUZA; Raimundo Da Silva BARRETO
2o. IFIP Wireless Days 2009
ISBN 9781424456628
|
PS
Computer Science Applications
|
| 2009 |
Trabalho em evento |
Geração Automática de Mutantes Baseada na Especificação para Construção de Casos de Testes em Sistemas Embarcados
César ROCHA; Raimundo Da Silva BARRETO
Simpósio em Sistemas Computacionais (WSCAD-SSC)
ISBN 21762074
|
PS
Computer Science (miscellaneous)
|
| 2009 |
Trabalho em evento |
PESTI: A Probabilistic Tool for Energy Consumption and Execution-Time Estimation for ANSI C Embedded Systems
Carlos Augusto De Araújo MAR; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Edward David MORENO
IEEE International Conference on Industrial Technology
|
PS
Artificial Intelligence
|
| 2008 |
Trabalho em evento |
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
Lucas Carvalho CORDEIRO; Carlos Augusto De Araújo MAR; Eduardo VALENTIN; Fabiano Teixeira CRUZ; Daniel Patrick De OLIVEIRA et al
Agility in the Software Process Workshop (ASP)
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Trabalho em evento |
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
Fabiano Teixeira CRUZ; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL
Design; Automation; and Test in Europe
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Trabalho em evento |
Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software
Fabiano Teixeira CRUZ; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL
23rd Annual ACM Symposium on Applied Computing ? Real-Time Systems Track
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony
Mauro TEÓFILO; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; José Raimundo Gomes PEREIRA; Ayres Mardem NASCIMENTO et al
Advances in Computer-Human Interaction (ACHI'2008)
DOI 10.1109/ACHI.2008.25
ISBN 9780769530
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
Modeling and Analysis of Flexible Manufacture Systems through Hierarchical and Colored Petri Nets
Marcelo AGUIAR; Raimundo Da Silva BARRETO; Ruiter Braga CALDAS; João Edgar Chaves FILHO
IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Trabalho em evento |
Towards a Semiformal Development Methodology for Embedded Systems
Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR
Intenational Conference on Evaluation of Novel Approaches to Software Engineering
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Trabalho em evento |
Uma Abordagem Baseada em Lógica para Escalonamento Offline de Sistemas Embarcados de Tempo Real Considerando o Tempo Adicional do Despachante
Osman Seixas Penha JÚNIOR; Raimundo Da Silva BARRETO
Concurso de Trabalhos de Iniciação Científica
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Trabalho em evento |
Model to integration of RFID into Wireless Sensor Network for Tracking and Monitoring Animals
Daniel Patrick PEREIRA; Wanderson Roger Azevedo DIAS; Marcus De Lima BRAGA; Raimundo Da Silva BARRETO; Carlos Maurício Seródio FIGUEIREDO et al
IEEE International Conference on Computational Science and Engineering
DOI 10.1109/CSE.2008.25
ISBN 9780769531939
|
PS
Computer Science Applications
|
| 2008 |
Trabalho em evento |
On the use of X-machine Formal Model to Design Sensor Network Applications
Ruiter Braga CALDAS; Raimundo Da Silva BARRETO; Sérgio Vale Aguiar CAMPOS
IEEE Symposium on Industrial Embedded Systems
ISBN 9781424419944
|
PS
Computer Science Applications
|
| 2008 |
Artigo em periódico |
A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis
Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Eduardo Antonio Guimarães TAVARES; Rômulo Devezas FREITAS; Meuse Nogueira De Oliveira JÚNIOR et al
Design Automation for Embedded Systems
DOI 10.1007/s10617-007-9011-x
ISSN 0929-5585
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Artigo em periódico |
Uma abordagem baseada em lógica para escalonamento offline de sistemas embarcados de tempo real considerando o tempo adicional do despachante
Osman Seixas Penha JÚNIOR; Raimundo Da Silva BARRETO
REIC. Revista Eletrônica de Iniciação Científica
ISSN 1519-8219
|
PS
Computer Science (miscellaneous)
|
| 2008 |
Artigo em periódico |
An agile development methodology applied to embedded control software under stringent hardware constraints
Lucas Carvalho CORDEIRO; Carlos Augusto De Araújo MAR; Eduardo VALENTIN; Fabiano Teixeira CRUZ; Raimundo Da Silva BARRETO et al
SOFTWARE ENGINEERING NOTES
DOI 10.1145/1344452.1344459
ISSN 0163-5948
|
PS
Computer Networks and Communications
|
| 2007 |
Trabalho em evento |
Agile Development Methodology for Embedded Systems: A Platform-based Desing Approach
Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Rafael BARCELOS; Meuse Nogueira De Oliveira JÚNIOR; Vicente Lucena FILHO et al
IEEE International Conference on the Engineering of Computer Based Systems
|
PS
Computer Science (miscellaneous)
|
| 2007 |
Trabalho em evento |
Applying Scrum and Organizational Patterns to Multi Site Software Development
Lucas Carvalho CORDEIRO; Cristiano BECKER; Raimundo Da Silva BARRETO
SugarLoafPlop
|
PS
Computer Science (miscellaneous)
|
| 2007 |
Trabalho em evento |
A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling
Marcelo Monteiro CUSTÓDIO; Raimundo Da Silva BARRETO; Ruiter Braga CALDAS; José Francisco De Magalhães NETTO
9th Workshop on Real-Time Systems
|
PS
Control and Systems Engineering
|
| 2007 |
Trabalho em evento |
CML: C Modeling Language
Frederico Oliveria JR; Ricardo Massa LIMA; Márcio CORNÉLIO; Sérgio SOARES; Eduardo Antonio Guimarães TAVARES et al
11th Brazilian Symposium on Programming Languages
|
SH
Education
|