Search for "Alastair Reid"

43 min

What makes processors fail - and how to prevent it

• 43 min
• 2018-09-02
• 101
• Alastair Reid

Electromagnetic Field 2018

28 min

How can you trust formally verified software?

• 28 min
• 2017-12-27
• 1647
• Alastair Reid

34C3: TUWAT

56 min

An insider's guide to Linux Logical Volume Management with LVM2

• 56 min
• 2006-05-05
• 49
• Alasdair G. Kergon (Red Hat)

Linuxtag 2006