Thursday 22nd of March 2018    

All Articles
  • You think your software works? Prove it!
    Formal methods have been quietly moving from the research lab into mainstream software development, especially in high-assurance systems. Using these methods isn't an "all or nothing" choice: Developers can use them at various levels, introduce them incrementally into an existing project, and combine them with code written in languages such as C or C++.

  • Raspberry Pi boosts performance, brings radio certification
    Raspberry Pi Foundation launches the latest version of its module featuring significant improvements in performance, wireless connectivity and wireless circuitry certification.

  • Robotics kit teaches systems-level design
    Texas Instruments’ Robotics System Learning Kit and classroom curriculum equip future engineers with a foundation for systems-level design.

  • Event flag groups: utility services and data structures
    Colin continues his RTOS Revealed series with more on event flag groups and their use in an RTOS.

  • Next-gen time-of-flight sensor debuts
    The sensor targets mobile robotics for wall following, cliff detection, collision avoidance and hover/landing assistance for drones or unmanned aerial vehicles (UAVs).

  • Industry initiative aims for safer IoT
    With an open standard for obtaining quotes and certification of potential vendors, the IoT marketplace could see safe and substantial growth.

  • Malware targets industrial control safety systems
    Less than two months after the U.S. Department of Homeland Security/FBI joint technical alert confirmed cyberattacks against industrial control systems, a new type of malware targeting industrial processes struck an unnamed critical infrastructure facility.

  • Spiking neural network targets Arm chips
    Eta Compute, a startup who demonstrated last summer at Hot Chips a very low power microcontroller by using asynchronous technology, has come up with a new spin that it calls the industry's first neuromorphic platform.




Members : 416
Content : 10
Web Links : 2
Content View Hits : 173195

Who's Online

We have 2 guests online


(c) The C Kernel pages, powered by Joomla!. Validated XHTML and CSS.