Abstract is missing.
- An Empirical Study on Failure Causes in a Commercial Off-the-Shelf Operating SystemCaio Augusto R. Dos Santos, Rivalino Matias. 1-6 [doi]
- Enabling NoC Performance Improvement Using a Fault Tolerance MechanismAlba Sandyra Bezerra Lopes, Márcio Eduardo Kreutz, Monica Magalhães Pereira. 7-12 [doi]
- Hardened Paxos through Consistency ValidationRodrigo R. Barbieri, Gustavo M. D. Vieira. 13-18 [doi]
- A Model for Architecture Centric Development of Automated External DefibrillatorsEdmar C. Gurjao, Paulo Barbosa, Yang Medeiros, Leo Albornoz. 19-24 [doi]
- SDN-Based Approach to Select Allocation Strategies in Heterogeneous Wireless Sensor NetworksFrancisco Junior, Fernando Matos. 25-29 [doi]
- Impact of Temporal and Spatial Application Modeling on Event-Triggered Wireless Sensor Network EvaluationLisane B. de Brisolara, Paulo R. Ferreira, Leandro Soares Indrusiak. 30-35 [doi]
- UDP4US: Universal Device Pipe for Ubiquitous ServicesThiago Zanivan Felisberto, Elder Dominghini Tramontin, Felipe da Cunha dos Santos, Analucia Schiaffino Morales, Frank Siqueira, Gustavo Medeiros de Araújo. 36-41 [doi]
- PrivacyMod: Controlling and Monitoring Abuse of Privacy-Related Data by Android ApplicationsPablo Silva, Vicente J. P. Amorim, Filipe N. Ribeiro, Igor Muzetti. 42-47 [doi]
- SEMA: An Approach Based on Internal Measurement to Evaluate Energy Efficiency of Android ApplicationsLeonardo Matthis Fischer, Lisane B. de Brisolara, Julio Carlos Balzano de Mattos. 48-53 [doi]
- Bluetooth Enabled Data Collector for Wireless Sensor NetworksCristiane Silva Garcia, Diego Eckard, João Cesar Netto, Carlos Eduardo Pereira, Ivan Müller. 54-57 [doi]
- Considerations on the Least Upper Bound for Mixed-Criticality Real-Time SystemsJ. Augusto Santos Junior, George Lima, Konstantinos Bletsas. 58-63 [doi]
- Parallelism Level Analysis of Binary Field Multiplication on FPGAsLuckas A. Farias, Bruno C. Albertini, Paulo S. L. M. Barreto. 64-69 [doi]
- Analysis of Path Planning Algorithms Based on Travelling Salesman Problem Embedded in UAVsThiago Werlley Bandeira, Walton P. Coutinho, Alisson V. Brito, Anand Subramanian. 70-75 [doi]
- An Approach Based on Ford-Fulkerson Algorithm to Optimize Network Bandwidth UsageEuclides Pinto Neto, Gustavo Callou. 76-79 [doi]
- Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy OptimizationsTimo Hönig, Christopher Eibel, Benedict Herzog, Heiko Janker, Peter Wägemann, Wolfgang Schröder-Preikschat. 80-83 [doi]
- Impact of Alien Networks on Consensus in a Team of Cooperative Mobile RobotsDaniel C. Ramos, Ubirajara Franco Moreno, Luis Oliveira, Luís Almeida. 84-89 [doi]
- Model Checking Embedded C Software Using k-Induction and InvariantsHerbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto. 90-95 [doi]
- Fault Localization in Multi-threaded C Programs Using Bounded Model CheckingErickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho. 96-101 [doi]
- Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded SystemsAlessandro Trindade, Hussama Ismail, Lucas C. Cordeiro. 102-105 [doi]
- Case Study of Product Line Approach to Provide Embedded and Desktop-Based ApplicationsEdmar Bellorini, Márcio Seiji Oyamada, Roberto A. Hexsel, Alexandre A. Giron, Itana M. S. Gimenes. 106-109 [doi]
- On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time SystemsJoao Gabriel Reis, Antônio Augusto Fröhlich, Arliones Stevert Hoeller. 110-115 [doi]
- An OpenCL-Compliant Multi-core Platform and Its Companion CompilerRamon S. Nepomuceno, Jonatas C. Santos, Laysson O. Luz, Ivan Saraiva Silva. 116-121 [doi]
- A Grid-Tie Micro-inverter Software Development Based on a Low Cost Multiprocessor PlatformMarcelo Götz, Marcelo Wagner Gobetti, Fausto Bastos Libano. 122-127 [doi]
- Decreasing Spill Code to Decrease Energy ConsumptionMarcelo F. Luna, Felipe L. Silva, Wesley Attrot. 128-131 [doi]
- Using Bioinspired Meta-heuristics to Solve Reward-Based Energy-Aware Mandatory/Optional Real-Time Tasks SchedulingMatias Micheletto, Rodrigo M. Santos, Javier Orozco. 132-135 [doi]
- Preparing Cyber-physical Systems Functional Models for ImplementationFernando Silvano Goncalves, Leandro Buss Becker. 136-141 [doi]
- Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation Using High Level ArchitectureJose Claudio Vieira S. Junior, Alisson V. Brito, Tiago P. Nascimento. 142-147 [doi]
- Towards a Wearable Device for Monitoring Ecological EnvironmentsSaul Emanuel Delabrida, Thiago D'Angelo, Ricardo Augusto Rabelo Oliveira, Antonio Alfredo Ferreira Loureiro. 148-153 [doi]
- An Embedded System for Aerial Image Processing from Unmanned Aerial VehiclesJonas Fernandes da Silva, Alisson V. Brito, Jose Antonio Gomes de Lima, Helder Nogueira de Moura. 154-157 [doi]
- Implementation of IoT for Monitoring Ambient Air in Ubiquitous AAL EnvironmentsMadalena P. da Silva, Alexandre L. Gonçalves, M. A. R. Dantas, Brunno Vanelli, Guilherme Manerichi, Stephan A. R. D. dos Santos, Mauri Ferrandim, Alex R. Pinto. 158-161 [doi]