pdf - Link to a PDF document | Lobsters

Stories tagged as pdf – Link to a PDF document

1

How Repairable Is Your Mobile/Tablet/Laptop Device pdf finance practices greenpeace.org
via comzeradd 3 hours ago | cached | no comments

0
1

On Improvements of Low-Deterministic Security (2016) ☶ pdf formalmethods java security pp.ipd.kit.edu
via nickpsecurity 6 hours ago | cached | no comments

0
20

Reflections on Trusting Trust (1984) pdf historical security archive.ece.cmu.edu
via cleong 31 hours ago | cached | 12 comments

12
3

Sequent Calculus as a Compiler Intermediate Language (2016) ☶ pdf compilers formalmethods haskell microsoft.com
via nickpsecurity 32 hours ago | cached | 3 comments

3
8

Lock-Step Simulation Is Child’s Play (2017) ☶ pdf games haskell networking joachim-breitner.de
via nickpsecurity 32 hours ago | cached | no comments

0
6

An Incremental Approach to Compiler Construction pdf compilers lisp plt scheme2006.cs.uchicago.edu
via enkiv2 34 hours ago | cached | 2 comments

2
1

Automatic Detection of Concurrency Bugs through Event Ordering Constraints (2014) ☶ pdf c formalmethods date-conference.com
via nickpsecurity 2 days ago | cached | no comments

0
3

Design and performance analysis of web caching with integrated file system on FPGA ☶ pdf hardware programming web researchgate.net
via nickpsecurity 2 days ago | cached | 4 comments

4
7

Ampere 16nm ARM64 32 Core CPU Shipping ☶ pdf hardware opencompute.org
via vermaden 2 days ago | cached | 1 comment

1
3

Heapple Pie - The macOS/iOS default heap pdf ios mac security synacktiv.com
via wizardishungry 2 days ago | cached | 1 comment

1
13

Dissecting QNX pdf osdev security blackhat.com
via nickpsecurity 3 days ago | cached | 4 comments

4
4

Scalable 10 Gbps TCP/IP Stack Architecture for Reconfigurable Hardware (2015) pdf hardware networking davidsidler.ch
via nickpsecurity 5 days ago | cached | 1 comment

1
12

Juniper: A Functional Reactive Programming Language for the Arduino ☶ pdf plt programming juniper-lang.org
via nickpsecurity 6 days ago | cached | 3 comments

3
1

First, Real, Operating System for Reconfigurable Computers (2001) ☶ pdf hardware osdev citeseer.ist.psu.edu
via nickpsecurity 6 days ago | cached | no comments

0
18

Epigram: Practical Programming with Dependent Types (2004) pdf plt cs.ru.nl
via pushcx 6 days ago | cached | 25 comments

25
4

Arrows, Robots, and Functional Reactive Programming (2002) ☶ pdf haskell plt cs.yale.edu
via nickpsecurity 7 days ago | cached | no comments

0
2

DeepSmith: Compiler Fuzzing through Deep Learning ☶ pdf ai compilers testing chriscummins.cc
via nickpsecurity 7 days ago | cached | no comments

0
10

"we must discard threads as a programming model"(2006) pdf programming eecs.berkeley.edu
via stuntgoat 7 days ago | cached | 5 comments

5
1

Structure-aware Fuzzing for Clang and LLVM (2017) pdf slides c c++ compilers testing llvm.org
via nickpsecurity 8 days ago | cached | no comments

0
1

Safe Asynchronous Multicore Memory Operations (2012) ☶ pdf c formalmethods www-users.cs.york.ac.uk
via nickpsecurity 8 days ago | cached | no comments

0
6

TIL: A Type-Directed Optimizing Compiler for ML ☶ pdf compilers ml pdfs.semanticscholar.org
via lojikil 8 days ago | cached | 10 comments

10
1

Fuzzing with Code Fragments (2012) pdf compilers javascript testing usenix.org
via nickpsecurity 9 days ago | cached | 2 comments

2
4

Reconciling High-Level Optimizations and Low-Level Code in LLVM ☶ pdf compilers cs.utah.edu
via mjn 9 days ago | cached | no comments

0
5

CheriRTOS: A Capability Model for Embedded Devices ☶ pdf hardware security cl.cam.ac.uk
via nickpsecurity 10 days ago | cached | no comments

0
2

LEARN — Computer-Aided Instruction on UNIX (1979) pdf education unix a.papnet.eu
via xorhash 10 days ago | cached | no comments

0