Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  apple  video  psychology  youtube.com  psypost.org  linux  techcrunch.com  show  trump  theguardian.com  web  security  neuroscience  release  go  environment 

Native OKL4 Web Browser (2010)

6 years ago citeseerx.ist.psu.edu web

The Evolution of Character Codes 1874-1968 (2012)

6 years ago citeseerx.ist.psu.edu

SMT-based False Positive Elimination in Static Program Analysis (2012)

6 years ago citeseerx.ist.psu.edu

Impact of Economics on Compiler Optimization (2001)

6 years ago citeseerx.ist.psu.edu compiler economic

Abstract machines for programming language implementation (2000)

6 years ago citeseerx.ist.psu.edu

Formal Verification of a Flash Memory Device Driver - An Experience Report (2008)

6 years ago citeseerx.ist.psu.edu flash

Machine-Independent Virtual Memory Management (1988)

6 years ago citeseerx.ist.psu.edu

Refinement Types for TLA+ (2014)

6 years ago citeseerx.ist.psu.edu

Olmar: Manipulating C and C++ abstract syntax trees in Ocaml (2007)

6 years ago citeseerx.ist.psu.edu c c++ ocaml

Scalable Bloom Filters (2007)

6 years ago citeseerx.ist.psu.edu

The ABC Structure Editor

6 years ago citeseerx.ist.psu.edu

Capsules and Types in Fresco (1991)

6 years ago citeseerx.ist.psu.edu

Oberon – The Overlooked Jewel

7 years ago citeseerx.ist.psu.edu

Privad: Practical Privacy in Online Advertising (2011)

6 years ago citeseerx.ist.psu.edu privacy

The Ubiquitous Kronecker Product (2000)

7 years ago citeseerx.ist.psu.edu

C0, a simpler C for teaching

7 years ago citeseerx.ist.psu.edu c

Modern B-Tree Techniques

7 years ago citeseerx.ist.psu.edu

versat - A Verified, Modern, SAT Solver (2012)

7 years ago citeseerx.ist.psu.edu

A History of CLU – Barbara Liskov (1992)

7 years ago citeseerx.ist.psu.edu

Miranda: A non-strict functional language with polymorphic types (1985)

7 years ago citeseerx.ist.psu.edu

A Beginner's Guide to the Mathematics of Neural Networks

7 years ago citeseerx.ist.psu.edu

Garbage collection in a large Lisp system (1984)

7 years ago citeseerx.ist.psu.edu lisp

Maintaining Knowledge about Temporal Intervals (Allen's interval algebra)

7 years ago citeseerx.ist.psu.edu

Total Functional Programming

8 years ago citeseerx.ist.psu.edu

Essentials of Standard ML Modules

8 years ago citeseerx.ist.psu.edu

Detrimental Effects of Reward: Reality or Myth? (1996)

8 years ago citeseerx.ist.psu.edu

KLOS: Kernel-Less Operating System Architecture (2005)

9 years ago citeseerx.ist.psu.edu

Virtual Time (1985)

8 years ago citeseerx.ist.psu.edu

A Survey of Rollback-Recovery Protocols in Message-Passing Systems (2002)

9 years ago citeseerx.ist.psu.edu

The Log-Structured Merge-Tree (LSM-Tree) (1996)

9 years ago citeseerx.ist.psu.edu

More →