default search action
SBESC 2011: Florianopolis, Brazil
- Antônio Augusto Fröhlich, Leandro Buss Becker:
Brazilian Symposium on Computing System Engineering, SBESC 2011, Florianopolis, Brazil, November 7-11, 2011. IEEE Computer Society 2011, ISBN 978-1-4673-0427-6
System Design I
- Marco A. Wehrmeister
, Joao G. Packer, Luis M. Ceron:
Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models. 1-7 - Rafael Pereira, Stephano Gonçalves, Lisane B. de Brisolara
Java Code Analyser for Estimating Embedded Software Efficiency. 8-14 - Ricardo Garro, Leo Ordínez, Omar Alimenti:
Design Patterns for Cyber-Physical Systems: The Case of a Robotic Greenhouse. 15-20 - Gilson Doi Junior, Adilson Luiz Bonifácio:
A Tool to Support Model-Based Testing Activities. 21-26
System Design II
- Rafael Garlet de Oliveira, Gabriel H. R. Santos, Jean-Marie Farines, Leandro Buss Becker
Contributions to Improvement of the Formal Properties Verification Process in AADL Programs. 27-32 - Priscila Vriesman Araujo, Carlos Alberto Maziero, Júlio César Nievola:
Automatic Classification of Processes in a General-Purpose Operating System. 33-38 - Elisabete Cunha
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. 39-45 - Raimundo S. Barreto
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. 46-52
Wireless Communication
- Marcelo Maia Sobral, Leandro Buss Becker
An Investigation about Real-Time Capacity of a Mobile Wireless Network. 53-59 - Gerson F. Budke, Carlos Montez
A Communication Approach for Parallel Data Fusion in IEEE 802.15.4 Wireless Sensor Networks. 60-65
Hardware and I/O
- Tiago Rogério Mück, Michael Gernoth, Wolfgang Schröder-Preikschat, Antônio Augusto Fröhlich
A Case Study of AOP and OOP Applied to Digital Hardware Design. 66-71 - Rafael M. Macieira, Edson B. Lisboa, Edna Barros
Device Driver Generation and Checking Approach. 72-77 - Hadley M. Siqueira, Ivan Saraiva Silva, Márcio Eduardo Kreutz, Edgard de Faria Corrêa:
DDR SDRAM Memory Controller for Digital TV Decoders. 78-82
Short Papers
- Eduardo Bonet, Rômulo Silva de Oliveira
Discussion on the Usage of Real-Time Calculus to Model the FlexRay-Bus. 83-85 - Renan Augusto Starke, Rômulo Silva de Oliveira
Empirical Study about Using aiT Tool in WCET Estimation. 86-89 - Rodrigo M. Santos
Opportunistic Networks: End-to-End Performance Analysis. 90-92 - Carlos M. Tripode, Rodrigo M. Santos
Performance Analysis of the Sporadic Server Implementation in Real-Time Specification for Java. 93-95 - Jean Michel Winter, Carolina Lima, Ivan Müller
WirelessHART Routing Analysis Software. 96-98 - Abilio G. Parada, Eliane Siegert, Lisane B. de Brisolara
Generating Java Code from UML Class and Sequence Diagrams. 99-101 - Felipe Bastos Nunes, Elias Teodoro da Silva Júnior
FARES: A Light Algorithm for Data Routing in Wireless Sensor Networks. 102-104 - Marcos Frei Campos da Silva, Daniel Patrick Pereira:
System for Measurement and Control of Water Consumption Using Wireless Sensor Network. 105-107 - Diogo de Lima Lages, Abel Guilhermino da Silva Filho:
An Analysis Energy Consumption Tool for ARM7 Processor. 108-110 - Vesmar Bóris Camara C., Ulisses Brisolara Corrêa, Luigi Carro
Performance Overhead from the Usage of Software Abstraction on Complex Embedded Systems. 111-114
Energy-Aware Systems
- Giulio Dariano Bottari, Julius C. B. Leite:
Energy Saving in Server Clusters. 115-120 - Elisabete Nakoneczny Moraes, Leandro Buss Becker
Framework for Estimating Energy Consumption in Embedded Systems. 121-126 - Ríad Nassiffe
A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints. 127-132
Real-Time Systems
- Raphael Guerra, Gerhard Fohler
Gravitational Task Model Based Bandwidth Compression Algorithm for Adaptive Resource Management. 133-138 - Moacyr Franco M. Neto, Carlos Montez
A Predictable Execution Model for Digital TV Java Applications in Conformance with GEM Standard. 139-144 - Omar Alimenti, Guillermo R. Friedrich, Guillermo H. Reggiani, Santiago Tonietti, Federico Maidana, Damián Gómez De Marco:
An Adjustment of EDCA Protocol for Real-Time. 145-150 - Renan Augusto Starke, Rômulo Silva de Oliveira
Impact of the x86 System Management Mode in Real-Time Systems. 151-157
Operating Systems
- Pablo Pessolani, Oscar Jara:
Minix over Linux: A User-Space Multiserver Operating System. 158-163 - Elder Vicente, Rivalino Matias, Lucio Borges de Araujo, Autran Macedo:
Evaluation of Compound System Calls in the Linux Kernel. 164-169 - Breno Leitão, Islene Calciolari Garcia
sendmmsg: An Efficient System Call to Send Multiple Messages on Linux. 170-175 - Mateus Krepsky Ludwich, Antônio Augusto Fröhlich
Interfacing Hardware Devices to Embedded Java. 176-181 - André Felipe Almeida Monteiro, Marcus Vinicius Azevedo, Alexandre Sztajnberg
Use of Neural Networks in the Management of Virtual Web Servers. 182-187
Multicore
- Andreu Carminati
A Proposal of Change to the Multiprocessor Priority Ceiling Protocol. 188-193 - Giovani Gracioli, Antônio Augusto Fröhlich
API for Performance Monitoring in Embedded Multicore Systems. 194-199 - Taís Borges Ferreira, Rivalino Matias, Autran Macedo, Lucio Borges de Araujo:
A Comparison of Memory Allocators for Multicore and Multithread Applications: A Quantitative Approach. 200-205
Tutorials
- Guilherme Vianna Raffo
Tutorial 1: Mobile Robotics. 206-207 - Arliones Hoeller Jr.
Tutorial 2: Wireless Sensor Networks. 208-209
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 2025-01-06 01:45 CET 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: