default search action
5th SBESC 2015: Foz do Iguacu, Brazil
- 2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015, Foz do Iguacu, Brazil, November 3-6, 2015. IEEE Computer Society 2015, ISBN 978-1-5090-0182-8
Session: Fault Tolerance and Dependability
- Caio Augusto R. Dos Santos
, Rivalino Matias:
An Empirical Study on Failure Causes in a Commercial Off-the-Shelf Operating System. 1-6 - Alba Sandyra Bezerra Lopes, Márcio Eduardo Kreutz, Monica Magalhães Pereira:
Enabling NoC Performance Improvement Using a Fault Tolerance Mechanism. 7-12 - Rodrigo R. Barbieri, Gustavo M. D. Vieira:
Hardened Paxos through Consistency Validation. 13-18 - Edmar C. Gurjao, Paulo Barbosa, Yang Medeiros, Leo Albornoz:
A Model for Architecture Centric Development of Automated External Defibrillators. 19-24
Session: Wireless Sensor Networks and IoT
- Francisco Junior, Fernando Matos:
SDN-Based Approach to Select Allocation Strategies in Heterogeneous Wireless Sensor Networks. 25-29 - Lisane B. de Brisolara
Impact of Temporal and Spatial Application Modeling on Event-Triggered Wireless Sensor Network Evaluation. 30-35 - Thiago Zanivan Felisberto, Elder Dominghini Tramontin, Felipe da Cunha dos Santos, Analúcia Schiaffino Morales
UDP4US: Universal Device Pipe for Ubiquitous Services. 36-41 - Pablo Silva, Vicente J. P. Amorim, Filipe Nunes Ribeiro, Igor Muzetti:
PrivacyMod: Controlling and Monitoring Abuse of Privacy-Related Data by Android Applications. 42-47 - Leonardo Matthis Fischer, Lisane B. de Brisolara, Júlio Carlos Balzano de Mattos:
SEMA: An Approach Based on Internal Measurement to Evaluate Energy Efficiency of Android Applications. 48-53 - Cristiane Silva Garcia
Bluetooth Enabled Data Collector for Wireless Sensor Networks. 54-57
Session: Performance Evaluation, Scheduling, and Optimization
- J. Augusto Santos Junior, George Lima, Konstantinos Bletsas
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. 58-63 - Luckas A. Farias, Bruno C. Albertini
Parallelism Level Analysis of Binary Field Multiplication on FPGAs. 64-69 - Thiago Werlley Bandeira, Walton Pereira Coutinho
Analysis of Path Planning Algorithms Based on Travelling Salesman Problem Embedded in UAVs. 70-75 - Euclides Pinto Neto
An Approach Based on Ford-Fulkerson Algorithm to Optimize Network Bandwidth Usage. 76-79 - Timo Hönig, Christopher Eibel, Benedict Herzog
Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations. 80-83
Session: Formal Methods and Verification
- Daniel C. Ramos
Impact of Alien Networks on Consensus in a Team of Cooperative Mobile Robots. 84-89 - Herbert Rocha
Model Checking Embedded C Software Using k-Induction and Invariants. 90-95 - Erickson H. da S. Alves, Lucas C. Cordeiro
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. 96-101 - Alessandro Trindade
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. 102-105 - Edmar Bellorini, Márcio Seiji Oyamada, Roberto A. Hexsel, Alexandre A. Giron
Case Study of Product Line Approach to Provide Embedded and Desktop-Based Applications. 106-109
Session: Multiprocessor Systems
- Joao Gabriel Reis, Antônio Augusto Fröhlich
On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time Systems. 110-115 - Ramon S. Nepomuceno, Jonatas C. Santos, Laysson O. Luz, Ivan Saraiva Silva:
An OpenCL-Compliant Multi-core Platform and Its Companion Compiler. 116-121 - Marcelo Götz
A Grid-Tie Micro-inverter Software Development Based on a Low Cost Multiprocessor Platform. 122-127 - Marcelo F. Luna, Felipe L. Silva, Wesley Attrot:
Decreasing Spill Code to Decrease Energy Consumption. 128-131 - Matias J. Micheletto
Using Bioinspired Meta-heuristics to Solve Reward-Based Energy-Aware Mandatory/Optional Real-Time Tasks Scheduling. 132-135
Session: Modeling and Testing
- Fernando Silvano Goncalves, Leandro Buss Becker
Preparing Cyber-physical Systems Functional Models for Implementation. 136-141 - José Claudio Vieira S. Junior
Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation Using High Level Architecture. 142-147 - Saul Emanuel Delabrida
Towards a Wearable Device for Monitoring Ecological Environments. 148-153 - Jonas Fernandes da Silva, Alisson V. Brito
An Embedded System for Aerial Image Processing from Unmanned Aerial Vehicles. 154-157 - Madalena Pereira da Silva
Implementation of IoT for Monitoring Ambient Air in Ubiquitous AAL Environments. 158-161
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 18:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: