hal.archives-ouvertes.fr: 14 stories from 10 submitters

  1. 15
    A Simple, Possibly Correct LR Parser for C11 ☶ pdf c compilers hal.archives-ouvertes.fr
    pja avatar via pja 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 5
    Predicting the PCG Pseudo-Random Number Generator In Practice cryptography hal.archives-ouvertes.fr
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 4
    Reusable vs. re-editable code (2018) pdf practices programming hal.archives-ouvertes.fr
    akkartik avatar via akkartik 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 2
    Dealing With Software Collapse scaling hal.archives-ouvertes.fr
    breck avatar via breck 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 1
    Duplicate and fake publications in the scientific literature: how many SCIgen papers in computer science? compsci hal.archives-ouvertes.fr
    bsima avatar via bsima 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 7
    Integer multiplication in time O(n log n) ☶ math hal.archives-ouvertes.fr
    lerax avatar via lerax 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 2
    How do you compute the midpoint of an interval with floating point? math performance hal.archives-ouvertes.fr
    qznc avatar via qznc 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 2
    Hierarchical, Timed, Abstract, State Machines for WCET Estimation (2015) ☶ assembly formalmethods hardware hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 3
    Structuring an Abstract Interpreter through Value and State Abstractions in Frama-C (2017) ☶ pdf c formalmethods hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 1
    Formal verification of an interior point algorithm instanciation ☶ c formalmethods hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 3
    Electrum: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations pdf formalmethods programming hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 6
    Toward Certification for Free: Correct-by-Construction ML Oracles with Polymorphic LCF Style pdf compsci formalmethods programming hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 2
    On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack. ☶ pdf privacy security hal.archives-ouvertes.fr
    gasche avatar via gasche 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 4
    How do you calculate the midpoint of two floats? [2011] pdf programming hal.archives-ouvertes.fr
    DRMacIver avatar via DRMacIver 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments