Abstract is missing.
- SMT-based Verification Applied to Non-convex Optimization ProblemsRodrigo Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho. 1-8 [doi]
- A Framework for the Analysis of UAV Strategies Using Co-simulationJose de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito. 9-15 [doi]
- JFORTES: Java Formal Unit TESt GenerationLarissa Bentes, Herbert Rocha, Eduardo Valentin, Raimundo S. Barreto. 16-23 [doi]
- Towards a Low-Cost Augmented Reality Head-Mounted Display with Real-Time Eye Center Location CapabilityThiago D'Angelo, Saul Emanuel Delabrida, Ricardo Augusto Rabelo Oliveira, Antonio A. F. Loureiro. 24-31 [doi]
- Improving Network I/O Performance in Virtual Machines through Workload Profile ClusteringStephany Zanchi Dionysio, Luiz Nacamura, Carlos Alberto Maziero. 32-39 [doi]
- An Exploratory Study on Patterns in Dynamic Memory AllocationsAlexandre Beletti Ferreira, Rivalino Matias, Vinicius Fonseca Maciel. 40-47 [doi]
- JustModeling: An MDE Approach to Develop Android Business ApplicationsFabiano Freitas, Paulo Henrique Mendes Maia. 48-55 [doi]
- Predicting Thread Profiles across Core Types via Machine Learning on Heterogeneous MultiprocessorsCha V. Li, Vinicius Petrucci, Daniel Mossé. 56-62 [doi]
- A Runtime Mapping Algorithm to Tolerate Permanent Faults in a CGRAAlba Sandyra Bezerra Lopes, Eliselma Santos, Márcio Eduardo Kreutz, Monica Magalhães Pereira. 63-70 [doi]
- How Programming Languages and Paradigms Affect Performance and Energy in Multithreaded ApplicationsGuilherme Grunewald Magalhaes, Anderson Luiz Sartor, Arthur Francisco Lorenzon, Philippe Olivier Alexandre Navaux, Antonio Carlos Schneider Beck. 71-78 [doi]
- Virtualizing Mixed-Criticality Operating SystemsRodrigo Schmitt Meurer, Mateus Krepsky Ludwich, Antônio Augusto Fröhlich. 79-85 [doi]
- A Distributed Platform for Integration of FPGA-based Embedded SystemsDaniel C. Morais, Thiago Werlley B. Silva, Tiago P. Nascimento, Elmar Uwe Kurt Melcher, Alisson V. Brito. 86-92 [doi]
- Towards a Metamodel for a Requirements Engineering Process of Embedded SystemsTarcísio Pereira, Deivson Albuquerque, Aêda Sousa, Fernanda M. R. Alencar, Jaelson Castro. 93-100 [doi]
- Mutant Components: Efficiently Managing Multiple ImplementationsJoao Gabriel Reis, Antônio Augusto Fröhlich. 101-108 [doi]
- On the Impact of Dynamic Routing Metrics on a Geographic Protocol for WSNsDavi Resner, Gustavo Medeiros de Araújo, Antônio Augusto Fröhlich. 109-115 [doi]
- A Hybrid Architecture for Experimentation in Wireless Sensor NetworksGilles Silvano, Ivanovitch Silva, Leonardo Oliveira, Marcos Pinheiro, Bruno Ferreira. 116-121 [doi]
- The Potential of Accelerating Image-Processing Applications by Using Approximate Function ReuseLeonardo Almeida da Silveira, Marcelo Brandalero, Jeckson Dellagostin de Souza, Antonio Carlos Schneider Beck. 122-127 [doi]
- Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors ProblemEduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto. 128-135 [doi]
- Embedding a Neural Classifier to Detect Faults in a Three-Phase Induction MotorRenan Gomes Vieira, Rebeca Guerreiro C. Cunha, Claudio Marques Sa Medeiros, Elias Teodoro Silva Jr.. 136-143 [doi]
- Using Crowdsourcing Techniques and Mobile Devices for Asphaltic Pavement Quality RecognitionLucas Cedro Lima, Vicente Jose Peixoto Amorim, Igor Muzetti Pereira, Filipe Nunes Ribeiro, Ricardo Augusto Rabelo Oliveira. 144-149 [doi]
- A Constraint-Driven Assessment of Operating Systems for Wearable DevicesVicente Jose Peixoto Amorim, Saul Emanuel Delabrida, Ricardo Augusto Rabelo Oliveira. 150-155 [doi]
- Latency Analysis in Real LTE Networks for Vehicular ApplicationsHilson G. Vilar de Andrade, Caio C. L. L. Ferreira, Abel G. da Silva Filho. 156-161 [doi]
- The Integration of GPU-based and Heterogeneous Devices Using HLAHalamo G. R. Andrade, Daniel C. Morais, Thiago Werlley B. Silva, Tiago P. Nascimento, Alisson Vasconcelos De Brito. 162-167 [doi]
- A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time MeasurementDario Dias, George Lima, Edna Barros. 168-173 [doi]
- Cryptographic API for Embedded ApplicationsFelipe Michels Fontoura, Carlos Alberto Maziero, Marco Aurélio Wehrmeister. 174-179 [doi]
- Mobile Nodes as a Dynamic Management Strategy to Improve Coverage in Wireless Sensor NetworksAndrea Veronica Gonzalez, Paulo Roberto Ferreira, Lisane B. de Brisolara. 180-185 [doi]
- A Low-Cost Chlorophyll Fluorescence Sensor SystemChristopher J. Gull, Minko T. Minkov, Eduardo Gusmao Pereira, José Augusto Miranda Nacif. 186-191 [doi]
- Design Space Exploration Using UTNoCs and Genetic AlgorithmJonathan Wanderley de Mesquita, Marcos Oliveira da Cruz, Monica Magalhães Pereira, Márcio Eduardo Kreutz. 198-202 [doi]
- Characterizing Interoperability in Context-Aware Software SystemsRebeca Campos Motta, Káthia Marçal de Oliveira, Guilherme Horta Travassos. 203-208 [doi]
- Evaluation of TDMA Robustness in WirelessHART NetworksJean Michel Winter, Carlos Eduardo Pereira, João Cesar Netto, Fernando A. Souza, C. M. Costa, Ivan Müller. 209-213 [doi]
- An Embedded Nonlinear Model Predictive Formation Controller for Low-Cost ArchitecturesDiego Sousa, Tiago P. Nascimento, Alisson V. Brito. 214-219 [doi]
- An Environment for Design Space Exploration Using gem5-McPATRenan Tashiro, Márcio Seiji Oyamada. 220-225 [doi]