| | Reliability Issues from Computer Date and Time Problems (sri.com) |
|
1 point by thunderbong 3 months ago | past
|
|
| | SRI’s radioactive contamination treatment is now in its first-in-human trial (sri.com) |
|
67 points by zdw on May 25, 2023 | past | 23 comments
|
|
| | SRI researchers seek to produce food with just air water and electricity (sri.com) |
|
2 points by nothrowaways on April 25, 2023 | past
|
|
| | Palo Alto Research Center (PARC) to join SRI International (sri.com) |
|
257 points by sonoffett on April 24, 2023 | past | 118 comments
|
|
| | An Analysis of Conficker (2009) (sri.com) |
|
13 points by hyperific on Jan 30, 2023 | past | 2 comments
|
|
| | Trimmer: Context-Specific Code Reduction [pdf] (sri.com) |
|
3 points by ingve on Oct 3, 2022 | past
|
|
| | Structured Evidential Argumentation System (sri.com) |
|
1 point by tosh on July 22, 2020 | past
|
|
| | Pathway logic: modeling biological entities and processes (sri.com) |
|
3 points by harperlee on April 6, 2020 | past
|
|
| | Timeline for Logic, λ-Calculus, and Programming Language Theory (2012) [pdf] (sri.com) |
|
200 points by adamnemecek on Sept 2, 2019 | past | 34 comments
|
|
| | Timeline for Logic, λ-Calculus, and Programming Language Theory [pdf] (sri.com) |
|
2 points by adamnemecek on Aug 30, 2019 | past
|
|
| | Design and Verification of Secure Systems (sri.com) |
|
2 points by octosphere on Jan 6, 2019 | past
|
|
| | TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com) |
|
1 point by mpweiher on Aug 7, 2018 | past
|
|
| | TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com) |
|
1 point by BerislavLopac on Aug 6, 2018 | past
|
|
| | TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com) |
|
1 point by ingve on Aug 1, 2018 | past
|
|
| | Use of the Hough transformation to detect lines and curves in pictures (1971) [pdf] (sri.com) |
|
4 points by whatsoever on March 19, 2016 | past
|
|
| | Summer School on Formal Techniques (sri.com) |
|
1 point by vinchuco on June 28, 2015 | past
|
|
| | The Yices SMT Solver (sri.com) |
|
1 point by luu on June 20, 2014 | past
|
|
| | TCP/IP 40th Anniversary Multi-Generational Picnic (sri.com) |
|
2 points by promocha on May 6, 2014 | past
|
|
| | Magnetically controlled swarms of micro-robots (sri.com) |
|
3 points by netrc on April 22, 2014 | past | 1 comment
|
|
| | Engelbart and the Dawn of Interactive Computing: 40th Anniversary Celebration (sri.com) |
|
1 point by gruseom on July 5, 2013 | past | 1 comment
|
|
| | Peter G. Neumann's RISKS forum (sri.com) |
|
2 points by niels_olson on Oct 30, 2012 | past
|
|
| | Cognitive Assistant that Learns and Organizes (sri.com) |
|
3 points by hack_rohan on Nov 5, 2010 | past | 1 comment
|
|
| | Happy Birthday ARPANET - 1st msg sent Oct 29 1969 (sri.com) |
|
46 points by jedwhite on Oct 29, 2010 | past | 13 comments
|
|
| | An Analysis of the iKeeB (duh) iPhone Botnet (sri.com) |
|
2 points by r11t on Jan 6, 2010 | past
|
|
| | An Analysis of the iKeeB (duh) iPhone botnet (sri.com) |
|
7 points by bensummers on Dec 21, 2009 | past | 1 comment
|
|
| | Practical composability for trustworthy architectures (sri.com) |
|
1 point by morpheism on Oct 31, 2009 | past
|
|
| | Overview of Confiker Variant C, the post-April 1st Virus (sri.com) |
|
3 points by tdonia on March 31, 2009 | past | 2 comments
|
|
| | An Analysis of Conficker (sri.com) |
|
6 points by trop on March 20, 2009 | past
|
|
| | An Intelligent Personal Assistant for Task and Time Management (sri.com) |
|
3 points by njrc on March 12, 2009 | past | 1 comment
|
|
