From: Dmitrij Novikov <drr73@gmx.de>
Subject: Re: Proof of array initialization in SPARK 2014
Date: Thu, 19 May 2016 02:30:59 -0700 (PDT)
Date: 2016-05-19T02:30:59-07:00 [thread overview]
Message-ID: <28f71c38-d6f5-4bde-9127-db32d3b018d8@googlegroups.com> (raw)
In-Reply-To: <68713bb9-e92e-469a-834e-9e7b82009e48@googlegroups.com>
> It may seem that I worry more about speed than correctness, but in hard real time (like radar) when you are bit twiddling registers inside interrupts, you want code that eliminates non-stack memory references.
Are CPUs fast enough for hard real time applications or is it necessary to use FPGAs or ASICs?
next prev parent reply other threads:[~2016-05-19 9:30 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-12 12:01 Proof of array initialization in SPARK 2014 Dmitrij Novikov
2016-05-12 12:13 ` ake.ragnar.dahlgren
2016-05-12 14:43 ` Dmitrij Novikov
2016-05-12 15:47 ` Phil Thornley
2016-05-12 16:58 ` Dmitrij Novikov
2016-05-15 19:42 ` rieachus
2016-05-19 9:30 ` Dmitrij Novikov [this message]
2016-05-19 18:12 ` Simon Wright
2016-05-21 2:00 ` rieachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox