Rômulo Silva de Oliveira
2274  results:
Search for persons X
?
7

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

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

Efficient Formal Verification for the Linux Kernel:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
 
?
11

On the Reliability and Tightness of GP and Exponential Mode..:

Arcaro, Luís Fernando ; Silva, Karila Palma ; Oliveira, Rômulo Silva De
ACM Transactions on Design Automation of Electronic Systems (TODAES).  23 (2018)  3 - p. 1-27 , 2018
 
?
12

A Reliability Evaluation Method for Probabilistic WCET Esti..:

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

On the Reliability and Tightness of GP and Exponential Mode..:

Arcaro, Luís Fernando ; Silva, Karila Palma ; Oliveira, Rômulo Silva De
ACM Transactions on Design Automation of Electronic Systems.  23 (2018)  3 - p. 1-27 , 2018
 
1-15