Anais da edição de 2013 do
Simpósio Brasileiro de Engenharia de Sistemas Computacionais
Operating Systems Track
Full Papers
Diagnosing Memory Provisioning in IaaS Clouds |
Aplicações Android para o Ambiente Automotivo - Uma Metodologia para a Redução do Tempo de Inicialização |
Mapeamento dos mecanismos de sincronizacao do kernel do Linux para o modelo de análise de tempo de resposta |
Análise dos Algoritmos de Escalonamento de Grupo com Estratégias de Migração para Redução de Fragmentação em Sistemas Distribuídos |
Desenvolvimento de um Sistema Operacional de Tempo Real para um Microcontrolador Básico |
Virtual machine debug offloading for embedded systems |
OB-STM: An Optimistic Approach for Byzantine Fault Tolerant in Software Transactional Memory |
Performance Evaluation in Hybrid and Dynamic Distributed Systems |
Implementação e Avaliação do Escalonador Agrupado para um Sistema Operacional de Tempo Real |
Análise Teórico-Experimental de Algoritmos de Alocação de Memória |
Embedded Systems Track
Full Papers
AndroProf: A Profiling Tool for the Android Platform |
Wireless network planning and optimization in oil and gas refineries |
Embedded System for Visual Odometry and Localization of Moving Objects in Images Acquired by Unmanned Aerial Vehicles |
An Embedded System for Determining Free Glycerol Levels in Biodiesel |
Roteamento IPv6 em redes sem fio com dispositivos com pouca memória |
HydroNode: Uma rede sensores aquáticos de baixo custo e consumo |
Verificação Baseada em Indução Matemática para Programas C/C++ |
The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models |
Improving Performance of Large-Scale Embedded Systems with Ptolemy through Distributed Simulation |
TAP - Teste e Depuração de Software de Sistemas Embarcados |
Framework para Monitoramento Remoto de Linhas de Transmissão de Energia |
The Impact of Different Multi-Threading Interfaces on Embedded Systems |
Dispositivo Eletrônico de Baropodometria para Auxílio no Tratamento por Biofeedback do Pé Equino |
Survey of memory optimization techniques for embedded systems |
Uma Plataforma de Hardware e Software para Medição de Temperatura Utilizando Diferentes Tecnologias de Sensores |
A Multiple-ISA Reconfigurable Architecture |
Isolated Words Recognition using a Low Cost Microcontroller |
Quality Impact on Software Performance |
Um Sistema de Gerenciamento de Aplicações de Redes de Sensores sem Fio em um Ambiente de Computação em Nuvem |
Infraestrutura de Redes de Sensores Sem fio para Monitoramento Térmico de CPDs |
Verificação de Aplicações AmI Usando Java PathFinder |
Extended Abstracts
Phase Cyclical Process Requirements for the development of Embedded Systems |
Utilizando dispositivos de lógica programavél para implementação em hardware do nível 2 do Sistema de Sinalização por Canal Comum número 7 |
Analysis and evaluation of the Android best practices impact on the efficiency of mobile applications |
Robustness Testing of Satellite Attitude and Orbit Control Systems: a proposal guided by two Model Based Testing Methodologies |
Model-Driven Development of WSN Applications |
Dynamic Adjustment of Transmission Power of Mobile Ad-Hoc Wireless Sensor Networks |
An experimental evaluation of a combination of features on the IPNoSys NoC |
Componentes e Softwares para Projetos de Multicópteros de baixo custo. |
Metodologia de avalição de consumo de bateria dispositivos móveis utilizando uma placa Arduino |
Real-time Systems Track
Full Papers
Análise dos algoritmos de escalonamento para redes WirelessHART |
Um Modelo de Referência para Análise Temporal de Redes Automotivas Heterogêneas |
Cache-Aware Task Partitioning for Multicore Real-Time Systems |
DDBP: Avaliação Experimental para o Provimento de Qualidade de Serviço em Redes IEEE 802.15.4 |
The Space of Feasible Execution Times for Asynchronous Periodic Task Systems using Definitive Idle Times |
Optimizing QoS in Adaptive Real-Time Systems With Energy Constraint Varying CPU Frequency |
Previsão de Perda de Deadline em Tratadores de Eventos RTSJ |
Análise do Comportamento Temporal de Fluxos de Comunicação em Sistemas com Escalonamento Semi-Particionado |
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models |
Extended Abstracts
Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle |
Avaliação do Padrão CMSIS-RTOS para uso em Sistemas Embarcados |
Avaliação do Impacto das Variações dos Relógios nos Tempos de Resposta das Mensagens em uma Rede CAN |
A WirelessHART and IEC 61850 Gateway Proposal |
Critical Systems Track
Full Papers
Sistema Embarcado Multicore para Reconhecimento de Íris |
V-Beacon: Uma plataforma experimental para Redes Veiculares Sem Fio |
An Implementation of the AES cipher using HLS |
Integration of Wireless Sensor Networks to the Internet of Things using a 6LoWPAN Gateway |
RTEMS Core Analysis for Space Applications |
Evaluation of the Huffman Encoding for memory optimization on hardware network intrusion detection |
A Multi-Agent System using Fuzzy Logic to Increase AGV Fleet Performance in Warehouses |
3D Point Cloud Segmentation for an Autonomous Ground Vehicle |
Elicitation of operational requirements in ATC activities automation process: the TWR case |
Avaliando o Desempenho e o Consumo de Potência de um VANT Simulado na BeagleBoard |
Extended Abstracts
File Transfer in Vehicular Ad-hoc Networks |
Simulation of an autonomous vehicle with a vision-based navigation system in unstructured terrains using OctoMap. |
Algoritmos de Mapeamento e Clustering Multiobjetivo para FPGAs |