de Oliveira, Rômulo Silva
2258  results:
Search for persons X
?
5

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

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
 
?
15

Cloud IEC 61850: DDS Performance in Virtualized Environment..:

, In: 2017 IEEE International Conference on Computer and Information Technology (CIT),
 
1-15