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