Παρακολούθηση
Cristiano da Silva Sousa
Cristiano da Silva Sousa
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα alunos.uminho.pt - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A Generic and Highly Efficient Parallel Variant of Boruvka’s Algorithm
C da Silva Sousa, A Mariano, A Proença
Parallel, Distributed and Network-based Processing, 2015
18*2015
Formal Verification of kLIBC with the WP Frama-C Plug-in
N Carvalho, C da Silva Sousa, JS Pinto, A Tomb
NASA Formal Methods Symposium, 343-358, 2014
152014
Efficient sequential and parallel versions of MST-solvers for multi-core CPU-chips and GPUs
CS Sousa
2014
Efficient Sequential and Parallel Versions of MST-Solvers for Multi-Core CPUs-Chips and GPUs
C da Silva Sousa
PQDT-Global, 2014
2014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–4