Formal Verification of AADL Models Using UPPAAL
Silvano Goncalves, Fernando, Pereira, David, Tovar, Eduardo, Buss Becker, Leandro
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
A Weighted Broadcast Routing Algorithm for WirelessHART Networks
Kunzel, Gustavo, Pedroso Cainelli, Gustavo, Pereira, Carlos Eduardo
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Notification-Oriented Programming Language and Compiler
Ronszcka, Adriano F., Ferreira, Cleverson A., Stadzisz, Paulo C., Fabro, Joao A., Simao, Jean M.
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Simbah-FI: Simulation-Based Hybrid Fault Injector
Sartor, Anderson Luiz, Exenberger Becker, Pedro Henrique, Schneider Beck, Antonio Carlos
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
A Service-Oriented Architecture with Data Virtualization Support for Cloud-Based Wireless Sensor Networks
Reyes, Ronald Jared Romero, De Mendonca, Francisco Ferreira, Dias, Kelvin Lopes
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
A Distributed Algorithm to Schedule TSCH Links under the SINR Interference Model
Da Silva, Jose Carlos, Assis, Flavio
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Performance Evaluation of Cryptography on Middleware-Based Computational Offloading
Silva, Bruno, Sabino, Atricia, Junior, Warley, Oliveira, Eduardo, Junior, Francisco, Dias, Kelvin
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
IoT and HPC Integration: Revision and Perspectives
de Souza Cimino, Leonardo, Lins De Aquino, Andre Luiz, de Castro Lima, Joubert, de Resende, Jose Estevao Eugenio, Moreira Silva, Lucas Henrique, Queiroz Souza Rocha, Samuel, de Oliveira Correia, Matheus, Monteiro, Guilherme Souza, de Souza Fernandes, Gabriel Nata, Moreira Almeida, Silvia Grasiella, Barroso Almeida, Andre Luiz
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Development of a WirelessHART - EnOcean Adapter for Industrial Applications
D'Agostini Arcari, Felipe, Costa, Celso, Pereira, Carlos Eduardo, Netto, Joao Cesar, Torres, Guilherme, Souza, Matheus, Muller, Ivan
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Using the Nanvix Operating System in Undergraduate Operating System Courses
De Mello Morado Penna, Pedro Henrique, Bastos Castro, Marcio, Cota De Freitas, Henrique, Mehaut, Jean-Francois, Caram, Joao
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Confidentiality and Authenticity in a Platform Based on Network-on-Chip
Silva, Marcos Roberto, Albenes Zeferino, Cesar
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
EAVIRA: Energy-Aware Virtual Infrastructure Reallocation Algorithm
Ruck, Denivy B., Pillon, Mauricio A., Miers, Charles C., Koslovski, Guilherme P.
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Inserting DVFS Code in Hard Real-Time System Tasks
Pinheiro, Diego, Goncalves, Rawlinson, Valentin, Eduardo, Oliveira, Horacio, Barreto, Raimundo
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Potential Gains in EDP by Dynamically Adapting the Number of Threads for OpenMP Applications in Embedded Systems
Schwarzrock, Janaina, Lorenzon, Arthur Francisco, Navaux, Philippe O. A., Schneider Beck, Antonio Carlos, Pignaton de Freitas, Edison
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
Enhancing Robot Capabilities of Environmental Perception through Embedded GPU
Simoes Teixeira, Marco Antonio, Dalmedico, Nicolas, Santos, Higor Barbosa, Schneider De Oliveira, Andre, Ramos De Arruda, Lucia Valeria, Neves, Flavio
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding
UEFI BIOS Accessibility for the Visually Impaired
Rodrigues Machado, Rafael, Maciel Dias Vieira, Gustavo
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Published in 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) (01.11.2017)
Get full text
Conference Proceeding