Amazed at how often companies that build critical systems dismiss formal methods as "too theoretical" and "not very useful".
-
A very prominent radar company: "We make hard real-time radars with nvidia gpus." Me: "How do you guarantee that? What methods did you use..
Why is radar hard real-time? To me it sounds like the typical case where it is Ok to loose a frame (or whatever the unit of computation is).
-
-
From what they told me, they cannot afford to lose samples for their algorithms.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.