| | Serverless Computing: Economic and Architectural Impact [pdf] (ic.ac.uk) |
| 1 point by blacksmythe on Oct 19, 2017 | past |
|
| | Serverless Computing: Economic and Architectural Impact [pdf] (ic.ac.uk) |
| 2 points by nreece on Oct 10, 2017 | past |
|
| | Floating-Point Symbolic Execution: A Case Study in N-version Programming [pdf] (ic.ac.uk) |
| 2 points by rbanffy on Sept 11, 2017 | past |
|
| | How to Write Unmaintainable Code (1999) (ic.ac.uk) |
| 1 point by jjuhl on May 17, 2017 | past |
|
| | Local Deep Neural Networks for Age and Gender Classification [pdf] (ic.ac.uk) |
| 2 points by lainon on April 21, 2017 | past |
|
| | Fencing Off Go: Liveness and Safety for Channel-Based Programming [pdf] (ic.ac.uk) |
| 2 points by ngrilly on Oct 26, 2016 | past |
|
| | The Event Calculus Explained (1999) [pdf] (ic.ac.uk) |
| 57 points by adamnemecek on Aug 20, 2016 | past | 12 comments |
|
| | Free PL Workshop: SREPLS-4, Imperial College London, 27 September (ic.ac.uk) |
| 1 point by luisggpina on Aug 18, 2016 | past | 1 comment |
|
| | The MWC64X Random Number Generator (ic.ac.uk) |
| 1 point by djoldman on June 28, 2016 | past |
|
| | Robert Kowalski – A history of logic programming (2013) [pdf] (ic.ac.uk) |
| 4 points by YeGoblynQueenne on June 7, 2016 | past |
|
| | Analysing the Program Analyser [pdf] (ic.ac.uk) |
| 2 points by ingve on May 20, 2016 | past |
|
| | Logic-Based Machine Learning (2000) [pdf] (ic.ac.uk) |
| 1 point by romaniv on May 17, 2016 | past |
|
| | Automatic Test Case Reduction for OpenCL [pdf] (ic.ac.uk) |
| 1 point by luu on April 12, 2016 | past |
|
| | Lexis – a programming exam invigilation system for Linux (2001) [pdf] (ic.ac.uk) |
| 1 point by khushia on March 14, 2016 | past | 1 comment |
|
| | Analysing the Program Analyser [pdf] (ic.ac.uk) |
| 2 points by ingve on Feb 16, 2016 | past |
|
| | Thermal-Join: A Scalable Spatial Join for Dynamic Workloads [pdf] (ic.ac.uk) |
| 5 points by espeed on Nov 10, 2015 | past |
|
| | How to Write Unmaintainable Code (1999) (ic.ac.uk) |
| 2 points by erbdex on Oct 23, 2015 | past |
|
| | How to Write Unmaintainable Code (1999) (ic.ac.uk) |
| 159 points by dhuramas on Sept 18, 2015 | past | 70 comments |
|
| | Advanced Computer Architecture (ic.ac.uk) |
| 72 points by ThomasMorrison on Sept 2, 2015 | past | 16 comments |
|
| | Lessons from building a scientific startup (ic.ac.uk) |
| 1 point by JohnHammersley on Aug 3, 2015 | past |
|
| | Server Availability and Security Through Failure-Oblivious Computing (2004) [pdf] (ic.ac.uk) |
| 9 points by Aloha on July 6, 2015 | past |
|
| | Reasoned Programming (1994) [pdf] (ic.ac.uk) |
| 15 points by edroche on June 15, 2015 | past |
|
| | Many-Core Compiler Fuzzing [pdf] (ic.ac.uk) |
| 11 points by tgma on April 22, 2015 | past |
|
| | WriteLaTeX: Lessons from Building a Scientific Startup [Founder Slides + Video] (ic.ac.uk) |
| 1 point by JohnHammersley on Feb 19, 2015 | past |
|
| | WriteLaTeX: Lessons from Building a Scientific Startup [video] (ic.ac.uk) |
| 12 points by arono on Nov 24, 2014 | past | 1 comment |
|
| | Unifying models of data flow (2011) [pdf] (ic.ac.uk) |
| 10 points by wslh on Sept 1, 2014 | past | 1 comment |
|
| | Robert Kowalski: Reactive Computing as Model Generation (ic.ac.uk) |
| 2 points by mindcrime on April 27, 2014 | past |
|
| | The Early Years Of Logic Programming (1988) [pdf] (ic.ac.uk) |
| 2 points by mindcrime on April 12, 2014 | past |
|
| | JSCert: A Trusted Mechanised JavaScript Specification (ic.ac.uk) |
| 2 points by petercooper on Jan 9, 2014 | past |
|
| | NEURAL NETWORKS (ic.ac.uk) |
| 2 points by arctangent1759 on Jan 2, 2014 | past |
|
|
| More |
