1. 23 May, 2020 1 commit
  2. 11 May, 2020 1 commit
  3. 04 May, 2020 1 commit
  4. 13 Apr, 2020 1 commit
  5. 12 Apr, 2020 2 commits
  6. 11 Apr, 2020 2 commits
  7. 28 Mar, 2020 1 commit
  8. 24 Mar, 2020 3 commits
  9. 23 Mar, 2020 3 commits
  10. 18 Mar, 2020 1 commit
  11. 06 Dec, 2019 1 commit
  12. 18 Nov, 2019 1 commit
  13. 08 Nov, 2019 1 commit
    • Marcos's avatar
      Software verification. · 8e533e27
      Marcos authored
      As an exploratory work, it has been investigated the time needed to validate the top-level network with $2**{352}$ combinations of  0s and 1s. As the testing of each combination is independent to any other, the validation has been distributed to 48 cores of a high-performance computer. It took 100s to check $2**{20}$ combinations. Testing the $2**{352}$ combinations would take $1 \times 10^{97}$ days. Even if computer technology would ever advance to the point where each proton in Earth would process data at the same speed as the high-performance computer being used, it would still take $8 \times 10^{39}$ millenniums to check all the combinations.
      8e533e27
  14. 06 Nov, 2019 1 commit
  15. 05 Nov, 2019 4 commits
  16. 03 Nov, 2019 2 commits
  17. 31 Oct, 2019 1 commit
  18. 30 Oct, 2019 2 commits
  19. 05 Oct, 2019 1 commit
  20. 16 Sep, 2019 4 commits
  21. 14 Sep, 2019 1 commit
  22. 13 Sep, 2019 2 commits
  23. 11 Sep, 2019 2 commits
  24. 16 May, 2019 1 commit