pdf
Home
Recent
Comments
Search
Login
Stories
tagged
as
pdf
– Link to a PDF document
2
Smart TVs: Security of DVB-T
pdf
security
sstic.org
via
calvin
2 months ago
|
cached
|
no comments
0
3
Where Are the Software Engineers of Tomorrow? (2008)
pdf
education
plt
crosstalkonline.org
via
mulander
2 months ago
|
cached
|
no comments
0
4
SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation
pdf
security
arxiv.org
via
fro
2 months ago
|
cached
|
no comments
0
5
Programming Paradigms for Machine Learning (2016)
pdf
slides
ai
plt
programming
core.ac.uk
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
22
How An Advanced Civilization Could Resist the Accelerating Expansion of the Universe
pdf
philosophy
science
arxiv.org
via
ngoldbaum
2 months ago
|
cached
|
5 comments
5
5
A promise checked is a promise kept: Inspection Testing
pdf
compilers
haskell
arxiv.org
via
ehamberg
2 months ago
|
cached
|
no comments
0
1
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies (2017)
☶
pdf
formalmethods
networking
performance
prismmodelchecker.org
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
0
Nethammer: Inducing Rowhammer Faults through Network Requests
pdf
security
arxiv.org
via
tokenrove
2 months ago
|
cached
|
1 comment
1
6
Catalog of Bad Smells in Design-by-Contract Methodologies with Java Modeling Language (2013)
☶
pdf
formalmethods
java
practices
oro.open.ac.uk
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
1
A Framework for the Verification of Certifying Computations (2013)
☶
pdf
c
formalmethods
ia800406.us.archive.org
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
10
Parable on the Importance of Tools; or, Build your own fucking birdfeeder.
pdf
practices
q3k.org
via
friendlysock
2 months ago
|
cached
|
no comments
0
3
LAMBDAFICTATOR: From Imperative to Functional Programming via Automated Refactoring (2013)
☶
pdf
compsci
java
dig.cs.illinois.edu
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
5
Model-Checking of Statechart Models: Survey and Research Directions (2004)
pdf
formalmethods
programming
arxiv.org
via
nickpsecurity
2 months ago
|
cached
|
1 comment
1
10
Web Prolog and the Programmable Prolog Web: An Attempt to Make Prolog Great Again
pdf
programming
web
github.com
via
nickpsecurity
2 months ago
|
cached
|
3 comments
3
19
slaacd(8) - A privilege separated and sandboxed IPv6 Stateless Address AutoConfiguration Daemon
pdf
slides
networking
openbsd
openbsd.org
via
calvin
2 months ago
|
cached
|
no comments
0
25
Forget reusability, aim for perfection: New lessons from mandoc
pdf
slides
api
openbsd
practices
programming
openbsd.org
via
calvin
2 months ago
|
cached
|
10 comments
10
23
syspatch(8) - The Boring Healing Potion
pdf
slides
openbsd
bsdfrog.org
via
calvin
2 months ago
|
cached
|
4 comments
4
41
Pledge, and Unveil, in OpenBSD
pdf
slides
openbsd
programming
security
openbsd.org
via
calvin
2 months ago
|
cached
|
1 comment
1
5
Corbató, F. J., "Sensitive issues in the design of multi-use systems", M. I. T. Project MAC (Dec 68)
pdf
historical
programming
multicians.org
via
trn
2 months ago
|
cached
|
1 comment
1
3
Security Recommendations for Server-based Hypervisor Platforms (NIST SP 800-125A R1)
pdf
security
virtualization
nvlpubs.nist.gov
via
trn
3 months ago
|
cached
|
no comments
0
7
Cleanroom Software Engineering Case Study at NASA: Early Analysis (1990)
☶
pdf
historical
practices
programming
ntrs.nasa.gov
via
nickpsecurity
3 months ago
|
cached
|
1 comment
1
2
Adaptive Range Filters for Cold Data: Avoiding Trips to Siberia (2013)
☶
pdf
databases
programming
vldb.org
via
nickpsecurity
3 months ago
|
cached
|
no comments
0
2
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools (2017)
☶
pdf
compsci
formalmethods
programming
stefanheule.com
via
nickpsecurity
3 months ago
|
cached
|
no comments
0
9
NSA posters from the 1950's and 1960's
pdf
culture
historical
governmentattic.org
via
trn
3 months ago
|
cached
|
2 comments
2
5
The Beginning of the Monte Carlo Method (1987)
pdf
historical
math
fas.org
via
calvin
3 months ago
|
cached
|
1 comment
1
<< Page 8
|
Page 10 >>