pdf - Link to a PDF document | Lobsters

Stories tagged as pdf – Link to a PDF document

4

DeepSDF: Learning Continuous Signed Distance Functions for Shape Representation pdf ai graphics arxiv.org
via friendlysock 13 hours ago | cached | 2 comments

2
1

High-Performance Libraries and Tools for HPC pdf slides performance programming cs.fsu.edu
via nickpsecurity 27 hours ago | cached | 1 comment

1
3

Automated, Modular, Refinement Reasoning for Concurrent Programs (2015) ☶ pdf formalmethods programming microsoft.com
via nickpsecurity 2 days ago | cached | 1 comment

1
6

Vulnerability in compiler leads to stealth backdoor in software pdf security 2018.zeronights.ru
via tobym 2 days ago | cached | 4 comments

4
1

A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems pdf distributed ucare.cs.uchicago.edu
via hwayne 2 days ago | cached | no comments

0
5

Reverse-Engineering and Implementation of the RDP 5 Protocol (2004) pdf reversing citeseerx.ist.psu.edu
via calvin 2 days ago | cached | no comments

0
5

History, Evolution and Future of Public Access Unix Systems pdf historical unix cmccabe.sdf.org
via julienxx 3 days ago | cached | 1 comment

1
4

ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ☶ pdf formalmethods cl.cam.ac.uk
via GeoffWozniak 5 days ago | cached | no comments

0
1

An Efficient Coverage-driven Functional Verification System via Genetic Algorithms (2012) ☶ pdf ai programming testing researchgate.net
via nickpsecurity 6 days ago | cached | no comments

0
1

Interpreting Programs in Static Single Assignment Form (2004) ☶ pdf compsci plt citeseerx.ist.psu.edu
via nickpsecurity 6 days ago | cached | no comments

0
6

SageDB: A Learned Database System ☶ pdf ai databases alexbeutel.com
via spacejam 6 days ago | cached | 1 comment

1
5

Compiler Transformations for High-Performance Computing (1994) ☶ pdf compilers performance engineering.purdue.edu
via nickpsecurity 7 days ago | cached | 1 comment

1
4

Safe Programming with Pointers through Stateful Views (2005) ☶ pdf formalmethods plt programming cs.bu.edu
via nickpsecurity 8 days ago | cached | no comments

0
3

Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls ☶ pdf assembly c formalmethods lisp osdev cs.utexas.edu
via nickpsecurity 8 days ago | cached | 1 comment

1
10

50th Anniversary of "Go-to statement considered harmful" pdf programming cs.utexas.edu
via zpojqwfejwfhiunz 8 days ago | cached | 1 comment

1
1

CASM-IR: Uniform ASM-Based I.R. for Model Specification, Execution, and Transformation ☶ pdf compilers formalmethods programming casm-lang.org
via nickpsecurity 9 days ago | cached | no comments

0
6

The Datacenter as a Computer: Designing Warehouse-Scale Machines ☶ pdf book hardware networking practices morganclaypool.com
via nickpsecurity 9 days ago | cached | 2 comments

2
2

“Cloning considered harmful” considered harmful pdf practices plg.uwaterloo.ca
via hwayne 9 days ago | cached | 1 comment

1
2

ELSA: Efficient Long-Term Secure Storage of Large Datasets ☶ pdf crypto databases arxiv.org
via nickpsecurity 9 days ago | cached | no comments

0
1

A VLSI Analog Computer / Math Co-processor for a Digital Computer ☶ pdf hardware math performance citeseerx.ist.psu.edu
via nickpsecurity 10 days ago | cached | no comments

0
5

APL言語の有効利用 (1986) pdf apl historical naosite.lb.nagasaki-u.ac.jp
via calvin 10 days ago | cached | 2 comments

2
8

MIL-STD-1472G -- Design Criteria: Human Engineering pdf cogsci design everyspec.com
via kqr 10 days ago | cached | no comments

0
40

How to Make Sure Your Talk Doesn't Suck pdf slides practices damtp.cam.ac.uk
via nickpsecurity 11 days ago | cached | 7 comments

7
3

Towards Verification of the Pastry Protocol using TLA+ (2011) ☶ pdf distributed formalmethods programming researchgate.net
via nickpsecurity 11 days ago | cached | no comments

0
3

Parallel Algorithms for Depth-First Search (1991) ☶ pdf compsci performance repository.upenn.edu
via nickpsecurity 11 days ago | cached | 2 comments

2