You are hereSafe Virtual Machine for C

Safe Virtual Machine for C

warning: Creating default object from empty value in /home/clients/8547a7b9876abaa7f9b2fdf68fe223de/web/modules/taxonomy/taxonomy.pages.inc on line 33.

Altreonic’s scalable and formalized technology gives more for less.

Altreonic is now announcing two new products that clearly demonstrate how a formalized development can result in more scalability and less energy consumption. First we present our brand-new Safe Virtual Machine for C in just 3.8 KB. Next  we present a port to the ultra low power CoolFlux DSP core of NXP. Formalized development is more than verifying correctness, it actually results in cleaner, more efficient and more scalable architectures.

Search

Syndicate

Syndicate content