Informática
Facultat
Western Norway University of Applied Sciences
Bergen, NoruegaPublicacions en col·laboració amb investigadors/es de Western Norway University of Applied Sciences (3)
2021
-
Hardware-Assisted Online Data Race Detection
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 108-126
-
MC/DC Test Cases Generation Based on BDDs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
Parallel cost analysis
ACM Transactions on Computational Logic, Vol. 19, Núm. 4