Search | Lobsters

Search

30 results for "domain:semanticscholar.org"

5

The Abstract is an Enemy: Alternative Perspectives to Computational Thinking pdf programming pdfs.semanticscholar.org
via pushcx 3 days ago | cached | 3 comments

3
1

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

0
1

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

0
3

Faster, Scannerless, GLR Parsing (2009) ☶ compilers programming pdfs.semanticscholar.org
via nickpsecurity 1 month ago | cached | no comments

0
1

Deterministically Deterring Timing Attacks in Deterland (2016) ☶ pdf security virtualization pdfs.semanticscholar.org
via nickpsecurity 1 month ago | cached | no comments

0
5

Adopting Cleanroom Software Engineering with a Phased Approach (1994) ☶ pdf practices pdfs.semanticscholar.org
via nickpsecurity 1 month ago | cached | 2 comments

2
5

The Comdyna GP-6 Analog Computer: Alive but not Exactly Kicking (2005) ☶ pdf hardware historical pdfs.semanticscholar.org
via nickpsecurity 3 months ago | cached | 1 comment

1
2

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing (2012) ☶ pdf formalmethods haskell javascript plt testing pdfs.semanticscholar.org
via nickpsecurity 4 months ago | cached | no comments

0
2

UCLA Secure UNIX (1977-1979) ☶ pdf historical security unix pdfs.semanticscholar.org
via nickpsecurity 4 months ago | cached | no comments

0
12

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015) ☶ pdf distributed formalmethods ml pdfs.semanticscholar.org
via nickpsecurity 5 months ago | cached | no comments

0
1

Synthesis-Based Loose Programming (2010) ☶ pdf compsci formalmethods programming pdfs.semanticscholar.org
via nickpsecurity 5 months ago | cached | no comments

0
2

Language Constructs for Safe, Parallel Programming on Multicores (2016) ☶ pdf plt programming pdfs.semanticscholar.org
via nickpsecurity 6 months ago | cached | no comments

0
8

Synthesis - An Efficient Implementation of Fundamental Operating System Services (1992) ☶ pdf assembly compsci performance pdfs.semanticscholar.org
via dbremner 6 months ago | cached | no comments

0
5

Certified Development Tools Implementation in Objective Caml (2008) pdf ml pdfs.semanticscholar.org
via nickpsecurity 7 months ago | cached | no comments

0
7

Parasitic Computing pdf compsci networking pdfs.semanticscholar.org
via varjag 7 months ago | cached | 2 comments

2
13

The Intel 80x86 Processor Architectures: Pitfalls for Secure Systems (1995) pdf compsci hardware historical programming security pdfs.semanticscholar.org
via nickpsecurity 7 months ago | cached | 1 comment

1
5

prom: A Flexible, Prolog-based make tool (1991) pdf compsci programming pdfs.semanticscholar.org
via nickpsecurity 7 months ago | cached | 1 comment

1
15

Verification of Erlang Programs using Abstract Interpretation and Model Checking (2001) pdf compsci erlang formalmethods programming pdfs.semanticscholar.org
via nickpsecurity 8 months ago | cached | 2 comments

2
1

Towards a User-Mode Approach to Partitioned Scheduling in seL4 Microkernel (2012) pdf compsci programming security pdfs.semanticscholar.org
via nickpsecurity 9 months ago | cached | no comments

0
1

Things I Have Learned (So Far) pdf math science pdfs.semanticscholar.org
via pushcx 9 months ago | cached | no comments

0

Page: 1 2