Media Summary: Multitasking is a hoax - clever techniques mean that your CPU is shuffling between lots of tasks, but doing them one at a time. Finite State Automata meets Recursion. Professor Brailsford continues the story of computers without memory. State Machines ... Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions. Lambda Calculus: ...
Multi Programming Computerphile - Detailed Analysis & Overview
Multitasking is a hoax - clever techniques mean that your CPU is shuffling between lots of tasks, but doing them one at a time. Finite State Automata meets Recursion. Professor Brailsford continues the story of computers without memory. State Machines ... Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions. Lambda Calculus: ... We take multithreaded code for granted, but what's needed to make it work properly? We need two Dr Steve Bagleys to illustrate ... How did punch card systems work? Professor Brailsford delves further into the era of mainframe computing with this hands-on ... Ada Lovelace became known as the world's first computer
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? How do CPUs make the most efficient use of their compute time? Matt Godbolt takes us through the pipeline - allowing the CPU to ... "If your name's not down, you're not coming in!" - How the CPU's "Bouncer" keeps some memory off-limits. Matt Godbolt continues ... A look at why (under certain circumstances) JIT Compilers can be so much faster. Dr Laurence Tratt of KCL takes us through the ...
