researchgate.net: 32 stories from 13 submitters

  1. 5
    The φ accrual failure detector ☶ pdf compsci distributed researchgate.net
    epilys avatar via epilys 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 2
    Temporal System Call Specialization for Attack Surface Reduction pdf security researchgate.net
    fro avatar via fro 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 5
    Can your AI differentiate cats from CoViD-19? ai science researchgate.net
    goodger avatar via goodger 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 1
    XLBlocks: a Block-based Formula Editor for Spreadsheet Formulas pdf education researchgate.net
    fcbsd avatar via fcbsd 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 3
    Hierarchical Hexagonal Clustering and Indexing pdf compsci researchgate.net
    pushcx avatar via pushcx 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 2
    Can WhatsApp Counter Misinformation by Limiting Message Forwarding? pdf security researchgate.net
    fcbsd avatar via fcbsd 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 1
    The Eclipse Operating System: Providing Quality of Service via Reservation Domains pdf osdev researchgate.net
    animatronic avatar via animatronic 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 1
    Race to Idle: New Algorithms for Speed Scaling with a Sleep State (2012) pdf hardware osdev performance researchgate.net
    inactive-user avatar via inactive-user 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 1
    Static Analysis of ROP Code pdf security windows researchgate.net
    fro avatar via fro 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 1
    Securing a Community Cloud (2010) ☶ pdf linux security virtualization researchgate.net
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 17
    Flat Design vs Traditional Design: Comparative Experimental Study cogsci design performance researchgate.net
    friendlysock avatar via friendlysock 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 1
    The ROP Needle: Hiding Trigger-based Injection Vectors via Code Reuse pdf security researchgate.net
    fro avatar via fro 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 1
    An Efficient Coverage-driven Functional Verification System via Genetic Algorithms (2012) ☶ pdf ai programming testing researchgate.net
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 3
    Towards Verification of the Pastry Protocol using TLA+ (2011) ☶ pdf distributed formalmethods programming researchgate.net
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 4
    Formal Verification of Analog Circuit Parameters across Variation Utilizing SAT (2013) ☶ pdf formalmethods hardware researchgate.net
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 2
    Virtualization Extensions into a Microkernel based Operating System pdf osdev virtualization researchgate.net
    inactive-user avatar via inactive-user 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 1
    Formally Verified On-Line Diagnosis (1999) ☶ pdf compsci distributed researchgate.net
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 2
    Binary Heaps Formally Verified in Why3 (2011) ☶ formalmethods programming researchgate.net
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 3
    Design and performance analysis of web caching with integrated file system on FPGA ☶ pdf hardware programming web researchgate.net
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  20. 4
    It’s Doomed; We Can Prove It (2009) ☶ c dotnet formalmethods researchgate.net
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 5
    Is Difficulty Overrated? Choice, Novelty and Suspense in Educational Games pdf education games researchgate.net
    asthasr avatar via asthasr 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  22. 2
    K Semantics for Assembly Languages: A Case Study (2014) ☶ assembly formalmethods researchgate.net
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 10
    Mythical Unit Test Coverage pdf practices researchgate.net
    friendlysock avatar via friendlysock 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  24. 5
    Design-by-Contract for Specification and Conformance Testing of Distributed Software (2014) ☶ pdf distributed formalmethods testing researchgate.net
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 5
    Social processes, program verification and all that (2009) ☶ pdf formalmethods philosophy researchgate.net
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
Page 2 >>