deeprecursion.com
  • Blog
  • Archives
  • RSS RSS

Category: Capabilities

2011

Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control by Mark S. Miller

Oct 21st, 2011   capabilities

Recent Posts

Distributed Tracing With Zipkin Generation of MSC Diagrams From Network Traffic Fresh New Look Data Centers Are Microkernels Done Accidentally: Lessons for Building a Million-core Distributed OS Design and Benchmark Tests of a Multi-Channel Hydrophone Array System for Dolphin Echolocation Recordings
Tweets by @lispmeister

Categories

2 cloud 1 mirage 1 ocaml 2 research 1 xenlinux 1 attack 1 chipandpin 1 embedded 1 paymentsystems 1 security 1 forth 1 philosophy 3 programming 1 calm 1 disorderlyprogramming 2 distributed 1 dsl 1 capabilities 2 tcp 1 agi 1 ai 1 aes 2 crypto 1 databases 1 schema migration 1 nanotechnology 1 space colonization 1 laser 2 network 1 sensors 2 underwater 1 dolphins 1 hydrophone 1 microkernels 2 design 2 tracing 1 Cassandra 1 Docker 1 Zipkin

GitHub Repos

Status updating...

@lispmeister on GitHub

Copyright © 2014 - Markus Fix
Powered by Octopress, customized with octostrap3.