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  psychology  video  psypost.org  techcrunch.com  youtube.com  theguardian.com  web  linux  neuroscience  show  trump  security  javascript  release  theverge.com 

Formal Requirements for Virtualizable Third Generation Architectures (1974)

3 years ago citeseerx.ist.psu.edu

Eight Early Encyclopedia Projects and the Mechanisms of Collective Action (2013)

3 years ago citeseerx.ist.psu.edu

An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors

4 years ago citeseerx.ist.psu.edu concurrency

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems

4 years ago citeseerx.ist.psu.edu

The Cartesian Product Algorithm (Type Inference) (1995)

4 years ago citeseerx.ist.psu.edu algorithm

High-resolution electromagnetic calorimetry with noble liquids (1998)

4 years ago citeseerx.ist.psu.edu

Hard-Coding Bottom-Up Code Generation Tables to Save Time and Space (1991)

4 years ago citeseerx.ist.psu.edu

Notes on the Plan 9 3rd Edition Kernel Source

4 years ago citeseerx.ist.psu.edu kernel

Language as an intellectual tool: From hieroglyphics to APL (1991)

4 years ago citeseerx.ist.psu.edu

The 12 Commandments of Synchronization [2011]

4 years ago citeseerx.ist.psu.edu

Thin Locks: Featherweight Synchronization for Java (1998)

5 years ago citeseerx.ist.psu.edu java

Narwhals or Unicorns? Exotic Animals in Medieval Europe (2004)

5 years ago citeseerx.ist.psu.edu europe

Automatic review of abstract state machines by meta property verification (2010)

5 years ago citeseerx.ist.psu.edu meta

Slim Binaries (1997)

5 years ago citeseerx.ist.psu.edu

From Hieroglyphics to APL (1991)

5 years ago citeseerx.ist.psu.edu

Evaluating Combinatorial vs Exhaustive Testing of DOM Events (2013)

5 years ago citeseerx.ist.psu.edu

Xz-ordering: A space-filling curve for objects with spatial extension

5 years ago citeseerx.ist.psu.edu

Steganography for Radio Amateurs– A DSSS Based Approach for Slow Scan Television

5 years ago citeseerx.ist.psu.edu

Implementing the Reliable Data Protocol (RDP) (1987)

5 years ago citeseerx.ist.psu.edu

Closing the Gap Between Specification and Programming: VDM++ and Scala

5 years ago citeseerx.ist.psu.edu scala

Interpreting Programs in Static Single Assignment Form (2004)

5 years ago citeseerx.ist.psu.edu

Reverse-Engineering and Implementation of the RDP 5 Protocol (2004)

5 years ago citeseerx.ist.psu.edu

A Distributed, Secure System (Extended Abstract) (1983)

5 years ago citeseerx.ist.psu.edu

A VLSI Analog Computer / Math Co-processor for a Digital Computer

5 years ago citeseerx.ist.psu.edu math

Engineering a Sort Function [1993]

5 years ago citeseerx.ist.psu.edu

A Beginner’s Guide to the Mathematics of Neural Networks (1998)

5 years ago citeseerx.ist.psu.edu

Runtime Analysis of the M-to-N Schedulling Model (1996)

5 years ago citeseerx.ist.psu.edu

The Boom Hierarchy (1993)

5 years ago citeseerx.ist.psu.edu

Formally-Verified, Decentralized, Key-Management Architecture for Wireless Sensor Networks

5 years ago citeseerx.ist.psu.edu

Secure Browser Architecture Based on Hardware Virtualization

6 years ago citeseerx.ist.psu.edu

More →