4 ms·
This sounds like the AS400 (IBM i).
by zmonkeyz 11y ago
This sounds like the AS400 (IBM i).
- SomeStupidPoint 11y agoHaving read the Wikipedia article, it sounds like DARPA is looking for research papers about making a formally verifiable version of that idea, possibly with some more modern architecture ideas worked in.