Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  health  github.com  rust  trump  openai  show  arstechnica.com  google  game  theguardian.com  psychology  apple  china  video  javascript  meta  eurekalert.org  cnbc.com  psypost.org 

Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior (1999)

6 years ago pdfs.semanticscholar.org kernel

The Abstract is an Enemy: Alternative Perspectives to Computational Thinking

6 years ago pdfs.semanticscholar.org

Towards High Assurance HTML5 Applications (2014)

6 years ago pdfs.semanticscholar.org html5

Set Theory and Algebra in CS: Introduction to Mathematical Modeling (2013)

6 years ago pdfs.semanticscholar.org

The Five Cognitive Distortions of People Who Get Stuff Done

6 years ago pdfs.semanticscholar.org

Faster, Scannerless, GLR Parsing (2009)

6 years ago pdfs.semanticscholar.org

Deterministically Deterring Timing Attacks in Deterland (2016)

6 years ago pdfs.semanticscholar.org

Computation at the Edge of Chaos (1990)

6 years ago pdfs.semanticscholar.org

Cognitive Networks: Brains, Internet, and Civilizations (2017)

6 years ago pdfs.semanticscholar.org

Adopting Cleanroom Software Engineering with a Phased Approach (1994)

6 years ago pdfs.semanticscholar.org

Implementation Techniques for Prolog [pdf]

6 years ago pdfs.semanticscholar.org pdf prolog

Oral conception. Impregnation via the proximal gastrointestinal tract... (1988)

6 years ago pdfs.semanticscholar.org

Design of the Burroughs B1700 (1972)

6 years ago pdfs.semanticscholar.org

The Comdyna GP-6 Analog Computer: Alive but not Exactly Kicking (2005)

6 years ago pdfs.semanticscholar.org

Design and Evaluation of FPGA-Based Gigabit Ethernet Network Card (2004)

6 years ago pdfs.semanticscholar.org

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing (2012)

6 years ago pdfs.semanticscholar.org

Optimizing Paxos with batching and pipelining

6 years ago pdfs.semanticscholar.org

UCLA Secure UNIX (1977-1979)

6 years ago pdfs.semanticscholar.org ucla

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015)

6 years ago pdfs.semanticscholar.org

Synthesis-Based Loose Programming (2010)

6 years ago pdfs.semanticscholar.org

Compiler Construction: The Art of Niklaus Wirth

6 years ago pdfs.semanticscholar.org art compiler

Synthesis - An Efficient Implementation of Fundamental Operating System Services (1992)

6 years ago pdfs.semanticscholar.org

Language Constructs for Safe, Parallel Programming on Multicores (2016)

6 years ago pdfs.semanticscholar.org

Parasitic Computing

7 years ago pdfs.semanticscholar.org

Certified Development Tools Implementation in Objective Caml (2008)

7 years ago pdfs.semanticscholar.org

prom: A Flexible, Prolog-based make tool (1991)

7 years ago pdfs.semanticscholar.org

The Intel 80x86 Process Architecture: Pitfalls for Secure Systems (1995)

7 years ago pdfs.semanticscholar.org intel

Towards a User-Mode Approach to Partitioned Scheduling in seL4 Microkernel (2012)

7 years ago pdfs.semanticscholar.org

Verification of Erlang Programs using Abstract Interpretation and Model Checking (2001)

7 years ago pdfs.semanticscholar.org erlang

Software Requirements Errors in Safety-Critical, Embedded Systems (1993)

7 years ago pdfs.semanticscholar.org embedded

More →