pdf - Link to a PDF document | Lobsters

Stories tagged as pdf – Link to a PDF document

1

Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior (1999) ☶ pdf linux programming pdfs.semanticscholar.org
via nickpsecurity 35 hours ago | cached | no comments

0
4

ATtention Spanned: Comprehensive Vulnerability Analysis of AT Commands Within the Android Ecosyst ☶ pdf security atcommands.org
via friendlysock 2 days ago | cached | no comments

0
1

An Overview of the K Framework ☶ pdf slides formalmethods fsl.cs.illinois.edu
via nickpsecurity 2 days ago | cached | no comments

0
8

How to Evaluate the Suitability of a Formal Method for Industrial Deployment? A Survey ☶ pdf formalmethods programming scch.at
via nickpsecurity 3 days ago | cached | 1 comment

1
1

Calibrated Uncertainty in Deep Learning pdf ai math web.stanford.edu
via unbalancedparentheses 3 days ago | cached | no comments

0
6

Data-Driven Verification (2016) ☶ pdf formalmethods programming theory.stanford.edu
via nickpsecurity 4 days ago | cached | no comments

0
5

Verifying Rust Programs with SMACK pdf formalmethods rust soarlab.org
via ceh 4 days ago | cached | no comments

0
3

Impact of Economics on Compiler Optimization (2001) pdf compilers citeseerx.ist.psu.edu
via GeoffWozniak 4 days ago | cached | 3 comments

3
1

CrowdTruth 2.0: Quality Metrics for Crowdsourcing with Disagreement pdf compsci arxiv.org
via yonkeltron 5 days ago | cached | no comments

0
7

Memristor – The fictional circuit element pdf hardware arxiv.org
via calvin 5 days ago | cached | no comments

0
2

Concurrent Program Verification by Code Transformation: Correctness (2017) ☶ pdf c formalmethods univ-orleans.fr
via nickpsecurity 6 days ago | cached | no comments

0
2

To BLOB or Not To BLOB pdf databases programming microsoft.com
via pab 7 days ago | cached | no comments

0
5

Bumper-Sticker Computer Science (1985) pdf programming bowdoin.edu
via hwayne 7 days ago | cached | no comments

0
5

Functional Programming on a Stack-Based Embedded Processor (2006) ☶ pdf compilers hardware programming home.iae.nl
via nickpsecurity 7 days ago | cached | no comments

0
1

Towards High Assurance HTML5 Applications (2014) ☶ pdf formalmethods web pdfs.semanticscholar.org
via nickpsecurity 8 days ago | cached | no comments

0
16

A Formally Verified NAT Stack ☶ pdf formalmethods networking dslab.epfl.ch
via ceh 10 days ago | cached | 1 comment

1
4

Logic in Action: an open course in logic pdf education math logicinaction.org
via yonkeltron 10 days ago | cached | 2 comments

2
3

Git Blame Who?: Stylistic Authorship Attribution of Small, Incomplete Source Code Fragments ☶ pdf ai compilers privacy programming arxiv.org
via Shamar 10 days ago | cached | 2 comments

2
6

The Myth of Metaphor (1995) pdf programming web.cs.wpi.edu
via calvin 11 days ago | cached | no comments

0
9

Typed Clojure in Theory and Practice pdf clojure formalmethods plt ambrosebs.com
via Yogthos 11 days ago | cached | 1 comment

1
3

Verifying the Correctness of a Compiler for an Imperative, Programming Language (2011) ☶ pdf compilers formalmethods dspace.jaist.ac.jp
via nickpsecurity 11 days ago | cached | no comments

0
20

The Jury is In: Monolithic OS Design is Flawed ☶ pdf osdev security ts.data61.csiro.au
via nickpsecurity 11 days ago | cached | 15 comments

15
8

All four books: Pattern-Oriented Software Architecture (PDF) pdf book github.com
via yonkeltron 11 days ago | cached | 2 comments

2
4

Logical Types for Untyped Languages (2010) pdf plt ccs.neu.edu
via GeoffWozniak 12 days ago | cached | no comments

0
6

When Coding Style Survives Compilation: De-anonymizing Programmers from Executable Binaries pdf privacy arxiv.org
via GeoffWozniak 12 days ago | cached | no comments

0