In the previous article we looked at designing a lock-free ring buffer (LFRB) in Ada, contrasting and comparing it with the C++-based version which it is based on, and highlighting the Ada way of ...

This special series focuses on important community issues, innovative solutions to societal challenges, and people and non-profit groups making an impact through technology. by Taylor Soper on Jan 22, ...

eWEEK content and product recommendations are editorially independent. We may make money when you click on links to our partners. Learn More. Though somewhat long-in-the-tooth and seemingly past its ...

Ada a general purpose programming language that incorporates advanced programming features like contracts and object oriented programming support. SPARK is a subset of the latest version of Ada that ...

I really like the BeagleBone Black. You can check out a webinar I did with Jadon Kridner on the Electronic Design website (watch “BeagleBone Black – BeagleBoard.org’s $45 1GHz Linux computer”). Also ...

I’ve been a fan of Ada and SPARK for a while now, and really wished I had it available when I was programming full time. It’s been used in military and avionic applications where secure and safety ...