:facetid:toc:\"db/conf/sbesc/sbesc2014.bht\"OK:facetid:toc:db/conf/sbesc/sbesc2014.bhtIury Valente de BessaHussama Ibrahim IsmailLucas Carvalho CordeiroJoao Edgar Chaves FilhoVerification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking.SBESC49-542014Conference and Workshop Papersclosedconf/sbesc/BessaICF1410.1109/SBESC.2014.14https://doi.org/10.1109/SBESC.2014.14https://dblp.org/rec/conf/sbesc/BessaICF14URL#3934241Iaê Santos BonilhaOsmar Marchi dos SantosLeandro Soares IndrusiakHeuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms.SBESC144-1492014Conference and Workshop Papersclosedconf/sbesc/BonilhaSI1410.1109/SBESC.2014.33https://doi.org/10.1109/SBESC.2014.33https://dblp.org/rec/conf/sbesc/BonilhaSI14URL#3934242Marcelo BrandaleroAntonio Carlos Schneider BeckPotential of Using a Reconfigurable System on a Superscalar Core for ILP Improvements.SBESC43-482014Conference and Workshop Papersclosedconf/sbesc/BrandaleroB1410.1109/SBESC.2014.19https://doi.org/10.1109/SBESC.2014.19https://dblp.org/rec/conf/sbesc/BrandaleroB14URL#3934243Leandro J. CaetanoTiago P. NascimentoMarcio Adamec L. OliveiraGlaucio B. RochaExpanding the Coverage Area of a Formation of Robots Through a Mesh Network and a Real Time Database Middleware.SBESC138-1432014Conference and Workshop Papersclosedconf/sbesc/CaetanoNOR1410.1109/SBESC.2014.26https://doi.org/10.1109/SBESC.2014.26https://dblp.org/rec/conf/sbesc/CaetanoNOR14URL#3934244S. A. L. CarvalhoRafael Nunes de LimaAbel Guilhermino da Silva FilhoA Pushing Approach for Data Synchronization in Cloud to Reduce Energy Consumption in Mobile Devices.SBESC31-362014Conference and Workshop Papersclosedconf/sbesc/CarvalhoLF1410.1109/SBESC.2014.16https://doi.org/10.1109/SBESC.2014.16https://dblp.org/rec/conf/sbesc/CarvalhoLF14URL#3934245Thiago Soares FernandesÉrika F. CotaÁlvaro Freitas MoreiraPerformance Evaluation of Android Applications: A Case Study.SBESC79-842014Conference and Workshop Papersclosedconf/sbesc/FernandesCM1410.1109/SBESC.2014.17https://doi.org/10.1109/SBESC.2014.17https://dblp.org/rec/conf/sbesc/FernandesCM14URL#3934246Heitor Boeira dos Reis FilhoUlisses Brisolara CorrêaLucio Mauro DuarteAntonio Carlos Schneider BeckAnalysis of the Impact of Refactorings on the Performance of Embedded Systems.SBESC97-1022014Conference and Workshop Papersclosedconf/sbesc/FilhoCDB1410.1109/SBESC.2014.22https://doi.org/10.1109/SBESC.2014.22https://dblp.org/rec/conf/sbesc/FilhoCDB14URL#3934247Fernando Silvano GoncalvesLeandro Buss BeckerAssessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems.SBESC61-662014Conference and Workshop Papersclosedconf/sbesc/GoncalvesB1410.1109/SBESC.2014.18https://doi.org/10.1109/SBESC.2014.18https://dblp.org/rec/conf/sbesc/GoncalvesB14URL#3934248Giovani GracioliAntônio Augusto FröhlichOn the Influence of Shared Memory Contention in Real-Time Multicore Applications.SBESC25-302014Conference and Workshop Papersclosedconf/sbesc/GracioliF1410.1109/SBESC.2014.8https://doi.org/10.1109/SBESC.2014.8https://dblp.org/rec/conf/sbesc/GracioliF14URL#3934249Robson Ribeiro LinharesDouglas Paulo Bertrand RenauxJean Marcelo SimãoPaulo Cézar StadziszEvaluation of the Notification Oriented Paradigm Applied to Real-Time Systems.SBESC132-1372014Conference and Workshop Papersclosedconf/sbesc/LinharesRSS1410.1109/SBESC.2014.28https://doi.org/10.1109/SBESC.2014.28https://dblp.org/rec/conf/sbesc/LinharesRSS14URL#3934250Thiago Berticelli LoLuigi CarroAntonio Carlos Schneider BeckHardware Virtualization on Coarse-Grained Reconfigurable Architectures.SBESC55-602014Conference and Workshop Papersclosedconf/sbesc/LoCB1410.1109/SBESC.2014.29https://doi.org/10.1109/SBESC.2014.29https://dblp.org/rec/conf/sbesc/LoCB14URL#3934251Thiago Berticelli LoMarcos Fonseca MendesHugo A. Larangeira SamaniegoRômulo Silva de OliveiraCloud IEC 61850: Architecture and Integration of Electrical Automation Systems.SBESC13-182014Conference and Workshop Papersclosedconf/sbesc/LoMSO1410.1109/SBESC.2014.30https://doi.org/10.1109/SBESC.2014.30https://dblp.org/rec/conf/sbesc/LoMSO14URL#3934252Rafael M. MacieiraLucas F. S. CambuimLuiz L. SouzaLuiz A. OliveiraMarcus F. R. RiosEdna BarrosThe Design of an Image Converting and Thresholding Hardware Accelerator.SBESC103-1082014Conference and Workshop Papersclosedconf/sbesc/MacieiraCSORB1410.1109/SBESC.2014.24https://doi.org/10.1109/SBESC.2014.24https://dblp.org/rec/conf/sbesc/MacieiraCSORB14URL#3934253Ernesto MassaGeorge Lima 0001Paul RegnierRevealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling.SBESC150-1552014Conference and Workshop Papersclosedconf/sbesc/MassaLR1410.1109/SBESC.2014.32https://doi.org/10.1109/SBESC.2014.32https://dblp.org/rec/conf/sbesc/MassaLR14URL#3934254Daniel MosséEduardo CamponogaraGeorge Lima 0001A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints.SBESC115-1202014Conference and Workshop Papersclosedconf/sbesc/MosseCL1410.1109/SBESC.2014.10https://doi.org/10.1109/SBESC.2014.10https://dblp.org/rec/conf/sbesc/MosseCL14URL#3934255Vânia de Oliveira NevesMárcio Eduardo DelamaroPaulo César MasieroAn Environment to Support Structural Testing of Autonomous Vehicles.SBESC19-242014Conference and Workshop Papersclosedconf/sbesc/NevesDM1410.1109/SBESC.2014.27https://doi.org/10.1109/SBESC.2014.27https://dblp.org/rec/conf/sbesc/NevesDM14URL#3934256André Luíz de OliveiraRosana T. V. BragaPaulo César MasieroYiannis PapadopoulosIbrahim HabliTim KellyA Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products.SBESC7-122014Conference and Workshop Papersclosedconf/sbesc/OliveiraBMPHK1410.1109/SBESC.2014.20https://doi.org/10.1109/SBESC.2014.20https://dblp.org/rec/conf/sbesc/OliveiraBMPHK14URL#3934257Jorge PereiraDaniel Oliveira 0003Sandro Pinto 0001Nuno CardosoVitor Alberto SilvaTiago GomesJosé MendesPaulo CardosoCo-Designed FreeRTOS Deployed on FPGA.SBESC121-1252014Conference and Workshop Papersclosedconf/sbesc/PereiraOPCSGMC1410.1109/SBESC.2014.11https://doi.org/10.1109/SBESC.2014.11https://dblp.org/rec/conf/sbesc/PereiraOPCSGMC14URL#3934258Franz J. RammigStefan GroesbrinkKatharina StahlYuhong Zhao 0001Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.SBESC37-422014Conference and Workshop Papersclosedconf/sbesc/RammigGS01410.1109/SBESC.2014.15https://doi.org/10.1109/SBESC.2014.15https://dblp.org/rec/conf/sbesc/RammigGS014URL#3934259Douglas Paulo Bertrand RenauxComparative Performance Evaluation of CMSIS-RTOS.SBESC126-1312014Conference and Workshop Papersclosedconf/sbesc/Renaux1410.1109/SBESC.2014.9https://doi.org/10.1109/SBESC.2014.9https://dblp.org/rec/conf/sbesc/Renaux14URL#3934260Leonardo Maccari RufinoRodrigo Vieira SteinerRodrigo Valceli RaimundoAntônio Augusto FröhlichImprovements in Wireless Communication and Support for WMSN in IEEE 1451.SBESC109-1142014Conference and Workshop Papersclosedconf/sbesc/RufinoSRF1410.1109/SBESC.2014.25https://doi.org/10.1109/SBESC.2014.25https://dblp.org/rec/conf/sbesc/RufinoSRF14URL#3934261Luiz Fernando Segato dos SantosTiago Henrique Faccio SegatoAlessandra Monteiro FerroLeonardo Gabriel Quintino CabreiraAlex Roschildt PintoStudy of the Efficiency of Electronic Postural Corrector in the Treatment and Prevention of Thoracic Hyperkyphosis in Children and Teenagers.SBESC1-62014Conference and Workshop Papersclosedconf/sbesc/SantosSFCP1410.1109/SBESC.2014.23https://doi.org/10.1109/SBESC.2014.23https://dblp.org/rec/conf/sbesc/SantosSFCP14URL#3934262Viyils Sangregorio SotoIvan MüllerJean Michel WinterCarlos Eduardo PereiraJoão Cesar NettoControl over WirelessHART Network through a Host Application: A WirelessHART Network Control Proposal.SBESC91-962014Conference and Workshop Papersclosedconf/sbesc/SotoMWPN1410.1109/SBESC.2014.31https://doi.org/10.1109/SBESC.2014.31https://dblp.org/rec/conf/sbesc/SotoMWPN14URL#3934263Jeckson Dellagostin SouzaLuigi CarroMateus Beck RutzigAntonio Carlos Schneider BeckTowards a Dynamic and Reconfigurable Multicore Heterogeneous System.SBESC73-782014Conference and Workshop Papersclosedconf/sbesc/SouzaCRB1410.1109/SBESC.2014.21https://doi.org/10.1109/SBESC.2014.21https://dblp.org/rec/conf/sbesc/SouzaCRB14URL#3934264Andrws VieiraPedro FaustiniLuigi CarroÉrika F. CotaEarly Estimation of NFRs for Embedded System Using Design Metrics.SBESC85-902014Conference and Workshop Papersclosedconf/sbesc/VieiraFCC1410.1109/SBESC.2014.13https://doi.org/10.1109/SBESC.2014.13https://dblp.org/rec/conf/sbesc/VieiraFCC14URL#3934265Marco Aurélio WehrmeisterMarcela LeiteOn Generating VHDL Descriptions from Aspect-Oriented UML/MARTE Models.SBESC67-722014Conference and Workshop Papersclosedconf/sbesc/WehrmeisterL1410.1109/SBESC.2014.12https://doi.org/10.1109/SBESC.2014.12https://dblp.org/rec/conf/sbesc/WehrmeisterL14URL#39342662014 Brazilian Symposium on Computing Systems Engineering, SBESC 2014, Manaus, Amazonas, Brazil, November 3-7, 2014SBESCIEEE Computer Society2014Editorshipconf/sbesc/2014https://ieeexplore.ieee.org/xpl/conhome/7090756/proceedinghttps://dblp.org/rec/conf/sbesc/2014URL#3963266