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

MiFID II Clock Sync – talk at Bank of England April 12 2016

Post author By vy
Post date April 18, 2016

← Operations and maps on finite sequences → IEEE 1588 PTP is a mess

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 ↑