default search action
George Lima 0001
Person information
- affiliation: Federal University of Bahia, Salvador, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2003
- [b1]George Marconi de Araujo Lima:
Fault tolerance in fixed-priority hard real-time distributed systems. University of York, UK, 2003
Journal Articles
- 2024
- [j20]Jamile de Barros Vasconcelos, George Lima, Marwan Wehaiba el Khazen, Adriana Gogonel, Liliana Cucu-Grosjean:
On vulnerabilities in EVT-based timing analysis: an experimental investigation on a multi-core architecture. Des. Autom. Embed. Syst. 28(1): 1-21 (2024) - 2023
- [j19]Gessé Oliveira, George Lima:
Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems. Des. Autom. Embed. Syst. 27(1-2): 3-29 (2023) - [j18]Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Slim Bem-Amor, Ismail Hawila, Liliana Cucu-Grosjean:
On the impact of hardware-related events on the execution of real-time programs. Des. Autom. Embed. Syst. 27(4): 275-302 (2023) - 2022
- [j17]Ricardo Brasil Teixeira, George Lima
:
Shared resources in multiprocessor real-time systems scheduled by RUN. Real Time Syst. 58(2): 153-188 (2022) - 2021
- [j16]Lais Borin, George Lima
Dynamic power management under the RUN scheduling algorithm: a slack filling approach. Real Time Syst. 57(4): 443-484 (2021) - 2017
- [j15]Samuel Jimenez Gil, Iain Bate
Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. IEEE Embed. Syst. Lett. 9(3): 69-72 (2017) - 2016
- [j14]Ríad Nassiffe, Eduardo Camponogara, George Lima, Daniel Mossé:
Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency. Int. J. Embed. Syst. 8(5/6): 368-379 (2016) - [j13]Fernando Nicodemos, Osamu Saotome, George Lima, Sandro S. Sato:
A minimally intrusive method for analysing the timing of RTEMS core characteristics. Int. J. Embed. Syst. 8(5/6): 391-411 (2016) - [j12]Ernesto Massa
From RUN to QPS: new trends for optimal real-time multiprocessor scheduling. Int. J. Embed. Syst. 8(5/6): 440-451 (2016) - [j11]Ernesto Massa
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. Real Time Syst. 52(5): 566-597 (2016) - 2014
- [j10]J. Augusto Santos Junior, George Lima
Efficient schedulability tests for real-time embedded systems with urgent routines. Des. Autom. Embed. Syst. 18(1-2): 19-38 (2014) - 2013
- [j9]Paul Regnier, George Lima
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Real Time Syst. 49(4): 436-474 (2013) - [j8]Ríad Nassiffe, Eduardo Camponogara, George Lima
Optimizing QoS in energy-aware real-time systems. SIGBED Rev. 10(2): 25 (2013) - 2012
- [j7]Antônio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. Da Silva, Edna Natividade da Silva Barros:
Brazilian symposium on computing system engineering. ACM SIGOPS Oper. Syst. Rev. 46(1): 52 (2012) - [j6]Ríad Nassiffe, Eduardo Camponogara, George Lima
Optimizing quality of service in real-time systems under energy constraints. ACM SIGOPS Oper. Syst. Rev. 46(1): 82-92 (2012) - 2010
- [j5]André L. N. Muniz, Aline Maria Santos Andrade, George Lima
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. Innov. Syst. Softw. Eng. 6(1-2): 29-37 (2010) - [j4]Eduardo Camponogara
Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers with Support for Stochastic Processor Consumption. IEEE Trans. Ind. Informatics 6(4): 594-609 (2010) - 2009
- [j3]Ricardo Perrone, Raimundo José de Araújo Macêdo, George Lima
An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems. J. Univers. Comput. Sci. 15(11): 2142-2165 (2009) - 2008
- [j2]Paul Regnier, George Lima
Evaluation of interrupt handling timeliness in real-time Linux operating systems. ACM SIGOPS Oper. Syst. Rev. 42(6): 52-63 (2008) - 2003
- [j1]George Marconi de Araujo Lima
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems. IEEE Trans. Computers 52(10): 1332-1346 (2003)
Conference and Workshop Papers
- 2024
- [c35]Allan S. G. Alves, George Marconi de Araujo Lima, Islame F. C. Fernandes:
Fault Tolerance in Multiprocessor Real-Time Systems Under Partitioned EDF Scheduling. SBESC 2024: 1-6 - 2023
- [c34]João Barreto, Ernesto Massa
Partitioning and Server Shadowing for Scheduling Periodic Real-time Tasks on Multiprocessors. SBESC 2023: 1-6 - [c33]Flávia Maristela Santos Nascimento, George Lima:
Dealing with Soft Aperiodic Tasks in RUN. SBESC 2023: 1-6 - 2022
- [c32]Jamile de Barros Vasconcelos, George Lima:
Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform. SBESC 2022: 1-8 - 2021
- [c31]Flávia Maristela Santos Nascimento, George Lima:
Effectively Scheduling Hard and Soft Real-Time Tasks on Multiprocessors. RTAS 2021: 210-222 - [c30]Ernesto Massa
Heterogeneous Quasi-Partitioned Scheduling. RTSS 2021: 266-278 - [c29]Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Yasmina Abdeddaïm, Liliana Cucu-Grosjean:
On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior. SBESC 2021: 1-8 - 2020
- [c28]Gessé Oliveira, George Lima:
Evaluation of Scheduling Algorithms for Embedded FreeRTOS-based Systems. SBESC 2020: 1-8 - 2019
- [c27]Flávia Maristela Santos Nascimento, George Lima:
A Flexible Framework to Schedule Soft Aperiodic Tasks in Hard Real-Time Systems. SBESC 2019: 1-8 - [c26]Ricardo Brasil Teixeira, George Lima:
Improved task packing for shared resources in multiprocessor real-time systems scheduled by RUN under SBLP. SBESC 2019: 1-8 - 2017
- [c25]George Lima, Iain Bate:
Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. RTAS 2017: 187-198 - [c24]Flávia Maristela Santos Nascimento, George Lima, Ernesto Massa
Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling. RTSS 2017: 381-383 - 2016
- [c23]George Lima, Dario Dias, Edna Barros
Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look. ECRTS 2016: 200-211 - [c22]Dario Dias, George Lima, Edna Barros
A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement. SBESC 2016: 168-173 - 2015
- [c21]J. Augusto Santos Junior, George Lima, Konstantinos Bletsas
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. SBESC 2015: 58-63 - 2014
- [c20]Ernesto Massa
OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach. ECRTS 2014: 291-300 - [c19]Daniel Mossé, Eduardo Camponogara
A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints. SBESC 2014: 115-120 - [c18]Ernesto Massa
Revealing the Secrets of RUN and QPS: New Trends for Optimal Real-Time Multiprocessor Scheduling. SBESC 2014: 150-155 - 2013
- [c17]J. Augusto Santos Junior, George Lima, Konstantinos Bletsas
Multiprocessor Real-Time Scheduling with a Few Migrating Tasks. RTSS 2013: 170-181 - [c16]Eduardo Camponogara
Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency. SBESC 2013: 101-106 - [c15]Fernando Nicodemos
RTEMS Core Analysis for Space Applications. SBESC 2013: 125-130 - [c14]Yuri Malheiros, George Lima:
Uma Ferramenta para Análise de Sentimentos em Redes Sociais Utilizando o SenticNet. SBSI 2013: 517-522 - 2012
- [c13]J. Augusto Santos Junior, George Lima:
Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task. SBESC 2012: 131-136 - 2011
- [c12]Antonio M. Carianha, Luciano Barreto, George Lima:
Improving location privacy in mix-zones for VANETs. IPCCC 2011: 1-6 - [c11]Paul Regnier, George Lima, Ernesto Massa
RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. RTSS 2011: 104-115 - [c10]Ríad Nassiffe
A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints. SBESC 2011: 127-132 - 2010
- [c9]Ernesto Massa
A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 175-183 - 2009
- [c8]Augusto Born de Oliveira, Eduardo Camponogara
Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 173-182 - 2008
- [c7]George Lima, Eduardo Camponogara
Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. ECRTS 2008: 115-124 - [c6]Ricardo Perrone, Raimundo José de Araújo Macêdo, George Lima, Veronica Lima:
Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real baseados em Componentes. SBCARS 2008: 82-95 - [c5]Paul Regnier, George Lima
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. SBMF 2008: 221-238 - 2006
- [c4]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. SBMF 2006: 3-20 - 2005
- [c3]George Marconi de Araujo Lima, Alan Burns:
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults. LADC 2005: 154-173 - 2003
- [c2]George Marconi de Araujo Lima, Alan Burns:
A Consensus Protocol for CAN-Based Systems. RTSS 2003: 420-429 - 2001
- [c1]George Marconi de Araujo Lima, Alan Burns:
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. ECRTS 2001: 209-216
Parts in Books or Collections
- 2022
- [p1]George Lima, Ernesto Massa, Paul Regnier:
Practical Considerations in Optimal Multiprocessor Scheduling. Handbook of Real-Time Computing 2022: 193-231
Informal and Other Publications
- 2011
- [i1]Paul Regnier, George Lima, Ernesto Massa:
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor. CoRR abs/1104.3523 (2011)
Coauthor Index
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.
last updated on 2024-12-26 00:51 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: