pdf
Home
Recent
Comments
Search
Login
Stories
tagged
as
pdf
– Link to a PDF document
4
The Specification, Verification, and Implementation of Data Structure in ACL2 (2013)
☶
pdf
formalmethods
lisp
programming
computer.org
via
nickpsecurity
12 days ago
|
cached
|
no comments
0
3
Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants
☶
pdf
formalmethods
hardware
security
cc.gatech.edu
via
nickpsecurity
12 days ago
|
cached
|
no comments
0
2
DTHREADS: Efficient Deterministic Multithreading (2011)
☶
pdf
c
c++
people.cs.ksu.edu
via
nickpsecurity
13 days ago
|
cached
|
no comments
0
11
Abstracting Abstract Machines (2011)
☶
pdf
formalmethods
plt
ccs.neu.edu
via
nickpsecurity
13 days ago
|
cached
|
7 comments
7
4
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances
pdf
testing
patricegodefroid.github.io
via
GeoffWozniak
14 days ago
|
cached
|
no comments
0
32
Original Furby Source Code
pdf
assembly
hardware
seanriddle.com
via
hwayne
14 days ago
|
cached
|
8 comments
8
4
Modern Extensible Languages (2007)
☶
pdf
plt
programming
danielzingaro.com
via
nickpsecurity
14 days ago
|
cached
|
3 comments
3
1
Programmer's Guide for MARC, 4-bit Microcontrollers
pdf
historical
programming
web.archive.org
via
nickpsecurity
14 days ago
|
cached
|
1 comment
1
1
Hints for Computer System Design (1983)
pdf
historical
practices
research.cs.wisc.edu
via
calvin
14 days ago
|
cached
|
no comments
0
5
A Brief Introduction to Distributed Systems (2016)
pdf
distributed
programming
cs.vu.nl
via
nickpsecurity
15 days ago
|
cached
|
no comments
0
3
Formal Specification and Verification of a Microkernel (2010)
☶
pdf
c
formalmethods
osdev
people.cs.ksu.edu
via
nickpsecurity
15 days ago
|
cached
|
no comments
0
4
Koord: Language and analysis for robust, distributed, cyber-physical systems
pdf
formalmethods
plt
programming
cyphyhouse.github.io
via
ceh
15 days ago
|
cached
|
3 comments
3
2
Privacy Infrastructure: Challenges and Opportunities
pdf
privacy
media.defcon.org
via
lattera
16 days ago
|
cached
|
no comments
0
2
Functional Bits: Lambda Calculus based Algorithmic Information Theory
pdf
compsci
math
tromp.github.io
via
rain1
16 days ago
|
cached
|
no comments
0
3
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
pdf
ai
testing
arxiv.org
via
ceh
17 days ago
|
cached
|
no comments
0
2
CuriOS: Improving Reliability through Operating System Structure (2008)
☶
pdf
osdev
people.cs.ksu.edu
via
nickpsecurity
17 days ago
|
cached
|
no comments
0
4
On Automatically Proving the Correctness of math.h Implementations
☶
pdf
formalmethods
math
programming
theory.stanford.edu
via
nickpsecurity
17 days ago
|
cached
|
no comments
0
4
code2seq: Generating Sequences from Structured Representations of Code
☶
pdf
ai
arxiv.org
via
ceh
18 days ago
|
cached
|
1 comment
1
6
A Minimal ZZStructure Navigator using a ZigZag-style Interface (2013)
☶
pdf
design
historical
lord-enki.net
authored by
enkiv2
19 days ago
|
cached
|
3 comments
3
4
VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models
☶
pdf
formalmethods
programming
cs.cmu.edu
via
nickpsecurity
19 days ago
|
cached
|
no comments
0
8
Data Structures for Text Sequences (1998)
☶
pdf
compsci
programming
cs.unm.edu
via
nickpsecurity
19 days ago
|
cached
|
5 comments
5
1
A Survey of Programming Languages and Platforms for Multi-Agent Systems (2006)
pdf
compsci
programming
vsis-www.informatik.uni-hambur
g.de
via
nickpsecurity
20 days ago
|
cached
|
no comments
0
6
Type Theory and Functional Programming (1999)
pdf
book
formalmethods
programming
cs.kent.ac.uk
via
nickpsecurity
20 days ago
|
cached
|
2 comments
2
2
TRIMMER: Application Specialization for Code Debloating
☶
pdf
performance
security
csl.sri.com
via
ceh
21 days ago
|
cached
|
no comments
0
7
Verifying Optimizations Using SMT Solvers
pdf
slides
compilers
formalmethods
performance
llvm.org
via
nickpsecurity
21 days ago
|
cached
|
1 comment
1
<< Page 1
|
Page 3 >>