default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 31 matches
- 2015
- Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. SBESC 2015: 96-101 - Thiago Werlley Bandeira, Walton Pereira Coutinho, Alisson V. Brito, Anand Subramanian:
Analysis of Path Planning Algorithms Based on Travelling Salesman Problem Embedded in UAVs. SBESC 2015: 70-75 - Rodrigo R. Barbieri, Gustavo M. D. Vieira:
Hardened Paxos through Consistency Validation. SBESC 2015: 13-18 - 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. SBESC 2015: 106-109 - 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. SBESC 2015: 30-35 - Saul Emanuel Delabrida, Thiago D'Angelo, Ricardo Augusto Rabelo Oliveira, Antonio Alfredo Ferreira Loureiro:
Towards a Wearable Device for Monitoring Ecological Environments. SBESC 2015: 148-153 - Luckas A. Farias, Bruno C. Albertini, Paulo S. L. M. Barreto:
Parallelism Level Analysis of Binary Field Multiplication on FPGAs. SBESC 2015: 64-69 - 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. SBESC 2015: 36-41 - 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. SBESC 2015: 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. SBESC 2015: 54-57 - Fernando Silvano Goncalves, Leandro Buss Becker:
Preparing Cyber-physical Systems Functional Models for Implementation. SBESC 2015: 136-141 - Marcelo Götz, Marcelo Wagner Gobetti, Fausto Bastos Líbano:
A Grid-Tie Micro-inverter Software Development Based on a Low Cost Multiprocessor Platform. SBESC 2015: 122-127 - Edmar C. Gurjao, Paulo Barbosa, Yang Medeiros, Leo Albornoz:
A Model for Architecture Centric Development of Automated External Defibrillators. SBESC 2015: 19-24 - 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. SBESC 2015: 80-83 - 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. SBESC 2015: 142-147 - Francisco Junior, Fernando Matos:
SDN-Based Approach to Select Allocation Strategies in Heterogeneous Wireless Sensor Networks. SBESC 2015: 25-29 - Alba Sandyra Bezerra Lopes, Márcio Eduardo Kreutz, Monica Magalhães Pereira:
Enabling NoC Performance Improvement Using a Fault Tolerance Mechanism. SBESC 2015: 7-12 - Marcelo F. Luna, Felipe L. Silva, Wesley Attrot:
Decreasing Spill Code to Decrease Energy Consumption. SBESC 2015: 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. SBESC 2015: 132-135 - Ramon S. Nepomuceno, Jonatas C. Santos, Laysson O. Luz, Ivan Saraiva Silva:
An OpenCL-Compliant Multi-core Platform and Its Companion Compiler. SBESC 2015: 116-121 - Euclides Pinto Neto, Gustavo Callou:
An Approach Based on Ford-Fulkerson Algorithm to Optimize Network Bandwidth Usage. SBESC 2015: 76-79 - Daniel C. Ramos, Ubirajara Franco Moreno, Luis Oliveira, Luís Almeida:
Impact of Alien Networks on Consensus in a Team of Cooperative Mobile Robots. SBESC 2015: 84-89 - Joao Gabriel Reis, Antônio Augusto Fröhlich, Arliones Stevert Hoeller:
On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time Systems. SBESC 2015: 110-115 - Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software Using k-Induction and Invariants. SBESC 2015: 90-95 - J. Augusto Santos Junior, George Lima, Konstantinos Bletsas:
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. SBESC 2015: 58-63 - Caio Augusto R. Dos Santos, Rivalino Matias:
An Empirical Study on Failure Causes in a Commercial Off-the-Shelf Operating System. SBESC 2015: 1-6 - Pablo Silva, Vicente J. P. Amorim, Filipe Nunes Ribeiro, Igor Muzetti:
PrivacyMod: Controlling and Monitoring Abuse of Privacy-Related Data by Android Applications. SBESC 2015: 42-47 - 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. SBESC 2015: 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. SBESC 2015: 158-161 - Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. SBESC 2015: 102-105
skipping 1 more match
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-30 22:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint