Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th 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, Paulo Roberto Ferreira Jr., Leandro Soares Indrusiak:
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, Frank Siqueira, Gustavo Medeiros de Araújo:
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, Diego Eckhard, João Cesar Netto, Carlos Eduardo Pereira, Ivan Müller:
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, Paulo S. L. M. Barreto:
Parallelism Level Analysis of Binary Field Multiplication on FPGAs. 64-69 - Thiago Werlley Bandeira, Walton Pereira Coutinho, Alisson V. Brito, Anand Subramanian:
Analysis of Path Planning Algorithms Based on Travelling Salesman Problem Embedded in UAVs. 70-75 - Euclides Pinto Neto, Gustavo Callou:
An Approach Based on Ford-Fulkerson Algorithm to Optimize Network Bandwidth Usage. 76-79 - Timo Hönig, Christopher Eibel, Benedict Herzog, Heiko Janker, Peter Wägemann, Wolfgang Schröder-Preikschat:
Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations. 80-83
Session: Formal Methods and Verification
- Daniel C. Ramos, Ubirajara Franco Moreno, Luis Oliveira, Luís Almeida:
Impact of Alien Networks on Consensus in a Team of Cooperative Mobile Robots. 84-89 - Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software Using k-Induction and Invariants. 90-95 - Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. 96-101 - Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
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, Itana M. S. Gimenes:
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, Arliones Stevert Hoeller:
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, Marcelo Wagner Gobetti, Fausto Bastos Líbano:
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, Rodrigo M. Santos, Javier Orozco:
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, Alisson V. Brito, Tiago P. Nascimento:
Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation Using High Level Architecture. 142-147 - Saul Emanuel Delabrida, Thiago D'Angelo, Ricardo Augusto Rabelo Oliveira, Antonio Alfredo Ferreira Loureiro:
Towards a Wearable Device for Monitoring Ecological Environments. 148-153 - Jonas Fernandes da Silva, Alisson V. Brito, José Antônio Gomes de Lima, Helder Nogueira de Moura:
An Embedded System for Aerial Image Processing from Unmanned Aerial Vehicles. 154-157 - Madalena Pereira da Silva, Alexandre L. Gonçalves, Mario A. R. Dantas, Brunno Vanelli, Guilherme Manerichi, Stephan A. R. D. dos Santos, Mauri Ferrandin, Alex R. Pinto:
Implementation of IoT for Monitoring Ambient Air in Ubiquitous AAL Environments. 158-161
a service of 
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-05-03 20:53 CEST 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:
