Silva de Oliveira, Rômulo
2244  results:
Search for persons X
?
2

A Reliability Evaluation Method for Probabilistic WCET Esti..:

, In: 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC),
 
?
6

A Study about New Variations for the Spin-Based Multiproces..:

, In: 2012 Brazilian Symposium on Computing System Engineering,
 
?
7

Cache Preemption Related Delay Accounting via Static Analys..:

, In: 2012 Brazilian Symposium on Computing System Engineering,
 
?
12

Methods for Comparing Execution Times of Different Input Da..:

, In: 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC),
 
?
15

Efficient Formal Verification for the Linux Kernel:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
 
1-15