Search for persons
X
?
2020 X Brazilian Symposium on Computing Systems Engineering (SBESC) ,
1
Methods for Comparing Execution Times of Different Input Da..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
2
Efficient Formal Verification for the Linux Kernel:
, In:
?
2017 IEEE International Conference on Computer and Information Technology (CIT) ,
3
Cloud IEC 61850: DDS Performance in Virtualized Environment..:
, In:
?
Proceedings of the 29th Annual ACM Symposium on Applied Computing ,
4
Mapping of the synchronization mechanisms of the Linux kern..:
, In:
?
Proceedings of the 27th Annual ACM Symposium on Applied Computing ,
5
On using adversary simulators to obtain tight lower bounds ..:
, In:
?
Proceedings of the 2008 ACM symposium on Applied computing ,
6
Strategies for QoS improvement on the time-interval schedul..:
, In:
?
Proceedings of the 2008 ACM symposium on Applied computing ,
7
An environment for the rapid development of embedded file s..:
, In:
?
2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC) ,
8
A Reliability Evaluation Method for Probabilistic WCET Esti..:
, In:
?
2017 IEEE Real-Time Systems Symposium (RTSS) ,
9
On Using GEV or Gumbel Models When Applying EVT for Probabi..:
, In:
?
2014 Brazilian Symposium on Computing Systems Engineering ,
10
Cloud IEC 61850: Architecture and Integration of Electrical..:
, In:
?
2012 Brazilian Symposium on Computing System Engineering ,
11
Cache Preemption Related Delay Accounting via Static Analys..:
, In:
?
2012 Brazilian Symposium on Computing System Engineering ,
12
A Study about New Variations for the Spin-Based Multiproces..:
, In:
?
Proceedings of the 12th Brazilian Symposium on Multimedia and the web ,
13
An environment for supporting automated electronic negotiat..:
, In:
?
2024 IEEE International Magnetic Conference - Short papers (INTERMAG Short papers) ,
14
Effect of Synthesis Method and Calcination Temperature on t..:
, In:
?
Proceedings of the XXII Brazilian Symposium on Software Quality ,
15