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

Month: September 2024

Categories

vy papers

RTLinux retrospective

Post author By vy
Post date September 19, 2024

View Fullscreen

Skip to PDF content

Tags dual kernel, latency, real-time, rtlinux

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 ↑