2015 Brazilian Symposium on Computing Systems Engineering (SBESC)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509001828

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fault Localization in Multi-threaded C Programs Using Bounded Model Checking

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.25 ◽

2015 ◽

Cited By ~ 2

Author(s):

Erickson H.S. Da Alves ◽

Lucas C. Cordeiro ◽

Eddie B. De Lima Filho

Keyword(s):

Model Checking ◽

Fault Localization ◽

Bounded Model Checking ◽

C Programs

Download Full-text

Preparing Cyber-physical Systems Functional Models for Implementation

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.33 ◽

2015 ◽

Cited By ~ 1

Author(s):

Fernando Silvano Goncalves ◽

Leandro Buss Becker

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Functional Models

Download Full-text

On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time Systems

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.28 ◽

2015 ◽

Cited By ~ 1

Author(s):

Joao Gabriel Reis ◽

Antonio Augusto Frohlich ◽

Arliones Hoeller

Keyword(s):

Real Time ◽

Partial Reconfiguration ◽

Real Time Systems ◽

Dynamic Partial Reconfiguration ◽

Time Systems

Download Full-text

Bluetooth Enabled Data Collector for Wireless Sensor Networks

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.17 ◽

2015 ◽

Author(s):

Cristiane Silva Garcia ◽

Diego Eckard ◽

Joao Cesar Netto ◽

Carlos Eduardo Pereira ◽

Ivan Muller

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Data Collector

Download Full-text

Parallelism Level Analysis of Binary Field Multiplication on FPGAs

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.19 ◽

2015 ◽

Cited By ~ 2

Author(s):

Luckas A. Farias ◽

Bruno C. Albertini ◽

Paulo S. L. M. Barreto

Keyword(s):

Binary Field ◽

Field Multiplication ◽

Level Analysis

Download Full-text

Decreasing Spill Code to Decrease Energy Consumption

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.31 ◽

2015 ◽

Author(s):

Marcelo F. Luna ◽

Felipe L. Silva ◽

Wesley Attrot

Keyword(s):

Energy Consumption ◽

Decrease Energy Consumption ◽

Spill Code

Download Full-text

Copyright Page

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.3 ◽

2015 ◽

Download Full-text

Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.26 ◽

2015 ◽

Cited By ~ 2

Author(s):

Alessandro Trindade ◽

Hussama Ismail ◽

Lucas Cordeiro

Keyword(s):

Model Checking ◽

Embedded Systems ◽

Core Model ◽

Software Partitioning

Download Full-text

Using Bioinspired Meta-heuristics to Solve Reward-Based Energy-Aware Mandatory/Optional Real-Time Tasks Scheduling

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.32 ◽

2015 ◽

Author(s):

Matias Micheletto ◽

Rodrigo Santos ◽

Javier Orozco

Keyword(s):

Real Time ◽

Energy Aware ◽

Tasks Scheduling

Download Full-text

Reviewers

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.7 ◽

2015 ◽

Download Full-text

2015 Brazilian Symposium on Computing Systems Engineering (SBESC)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Fault Localization in Multi-threaded C Programs Using Bounded Model Checking

Preparing Cyber-physical Systems Functional Models for Implementation

On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time Systems

Bluetooth Enabled Data Collector for Wireless Sensor Networks

Parallelism Level Analysis of Binary Field Multiplication on FPGAs

Decreasing Spill Code to Decrease Energy Consumption

Copyright Page

Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems

Using Bioinspired Meta-heuristics to Solve Reward-Based Energy-Aware Mandatory/Optional Real-Time Tasks Scheduling

Reviewers

2015 Brazilian Symposium on Computing Systems Engineering (SBESC)
Latest Publications