Skip to the content

@vy@mastodon.social

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Search for:

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Categories

operating systems Uncategorized

Update of UNIX filesystem paper

Post author By vy
Post date September 9, 2015

download the paper

Tags recursion, unix file system

← German banking → Smart and dumb clients and the “so-called” Best Master Clock Algorithm in PTP IEEE 1588

Archives

Archives

Tags

apple automata big data C c language computer science c standard distributed consensus fault tolerance formal methods free software green computing innovation intellectual property linux manufacturing milner modularity non-determinism ntp operating systems patents paxos process algebra processor architecture ptp real-time recursion rtlinux software software engineering software patents software security specification state machines sun synchronization technology threads timekeeper timestamp time synchronization undefined behavior verification wg14

Pages

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Categories

academics
algebra
archived
auragen
business
c programming
C standard
computer architecture
current reading
economics
operating systems
programming languages
rtlinux
security
software business
software security
state maps
systems
theory
timekeeper
Uncategorized
vy papers

Search for:

Pages

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Archives

© 2026 keeping simple

Powered by WordPress

To the top ↑ Up ↑