- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j8 |      | Antonio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. da Silva, Edna Natividade Silva Barros: Brazilian symposium on computing system engineering. Operating Systems Review 46(1): 52 (2012) |
| j7 | | Ríad Nassiffe, Eduardo Camponogara, George Lima: Optimizing quality of service in real-time systems under energy constraints. Operating Systems Review 46(1): 82-92 (2012) |
| 2011 | ||
| c6 | | Antonio M. Carianha, Luciano Barreto, George Lima: Improving location privacy in mix-zones for VANETs. IPCCC 2011: 1-6 |
| c5 | | Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott A. Brandt: RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. RTSS 2011: 104-115 |
| i1 | | Paul Regnier, George Lima, Ernesto Massa: An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor. CoRR abs/1104.3523 (2011) |
| 2010 | ||
| j6 | | André L. N. Muniz, Aline Maria Santos Andrade, George Lima: Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. ISSE 6(1-2): 29-37 (2010) |
| j5 | | Eduardo Camponogara, Augusto Born de Oliveira, George Lima: Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers with Support for Stochastic Processor Consumption. IEEE Trans. Industrial Informatics 6(4): 594-609 (2010) |
| c4 | | Ernesto Massa, George Lima: A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 175-183 |
| 2009 | ||
| j4 | | Paul Regnier, George Lima, Aline Maria Santos Andrade: A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electr. Notes Theor. Comput. Sci. 240: 221-238 (2009) |
| j3 | | Ricardo Perrone, Raimundo Macedo, George Lima, Veronica Lima: An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems. J. UCS 15(11): 2142-2165 (2009) |
| c3 | | Augusto Born de Oliveira, Eduardo Camponogara, George Lima: Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 173-182 |
| 2008 | ||
| j2 | | Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima: Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electr. Notes Theor. Comput. Sci. 195: 3-20 (2008) |
| j1 | | Paul Regnier, George Lima, Luciano Barreto: Evaluation of interrupt handling timeliness in real-time Linux operating systems. Operating Systems Review 42(6): 52-63 (2008) |
| c2 | | George Lima, Eduardo Camponogara, Ana Carolina Sokolonski: Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. ECRTS 2008: 115-124 |
| c1 | | Ricardo Perrone, Raimundo Macedo, George Lima, Veronica Lima: Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes. SBCARS 2008: 82-95 |
Colors in the list of coauthors
Last update Wed May 22 12:59:51 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page