|
Re: Comments for: "Code: Getting it Right"
|
| |
Hi Jack,
The cost of formal verification isn't astronomical at all. Much of the cost of the project...
|
|
|
Comments for: "Code: Getting it Right"
|
| |
Read the article here: Code: Getting it Right
|
|
|
Re: Comments for: "Implementing dual OS signal processing using Linux and the DSP/BIOS RTOS"
|
| |
I find this article quite confusing.
It starts off talking about system virtual machines, a well-de...
|
|
|
Comments for: "Implementing dual OS signal processing using Linux and the DSP/BIOS RTOS"
|
| |
Read the article here: Implementing dual OS signal processing using Linux and the DSP/BIOS RTOS
|
|
|
Re: Comments for: "Microkernels rule!"
|
| |
ECUs in cars etc aren't really performance-critical, they are generally over-provisioned for safety....
|
