Hacker News new | comments | show | ask | jobs | submit | from login
Parallelization of SAT Algorithms on GPUs [pdf] (inesc-id.pt)
65 points by setra 278 days ago | past | web | 18 comments
HyParView: a membership protocol for reliable gossip-based broadcast (2007) [pdf] (inesc-id.pt)
6 points by ch 717 days ago | past | web
Accepted Papers — SOCC2011 (inesc-id.pt)
2 points by LiveTheDream 2315 days ago | past | web

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: