ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2015 Brazilian Symposium on Computing Systems Engineering (SBESC)
Latest Publications
TOTAL DOCUMENTS
40
(FIVE YEARS 0)
H-INDEX
4
(FIVE YEARS 0)
Published By IEEE
9781509001828
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close