Alastair Reid | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Sarah de Haas
4 publications
Ben Laurie
4 publications
Alejandro Martinez
2 publications
Maritza Johnson
2 publications
Shaked Flur
2 publications
Paul Walker
2 publications
Nigel Stephens
1 publication
Stuart Biles
1 publication
Matthias Boettcher
1 publication
Jacob Eapen
1 publication
Mbou Eyole
1 publication

research

∙ 10/30/2020

Towards making formal methods normal: meeting developers where they are

Formal verification of software is a bit of a niche activity: it is only...

0 Alastair Reid, et al. ∙

research

∙ 03/16/2018

The ARM Scalable Vector Extension

This article describes the ARM Scalable Vector Extension (SVE). Several ...

0 Nigel Stephens, et al. ∙