What YANA covers: Strong primitives — sensing, actuator sizing, quaternion/Euler math, Kalman filter, gyro noise, power model, operational modes. The best-covered category in the orbital group. What ...
Timber takes a trained ML model — XGBoost, LightGBM, scikit-learn, CatBoost, ONNX (tree ensembles, linear models, SVMs, k-NN, Naive Bayes, GPR, Isolation Forest), or a URDF robot description — runs it ...
WIRRAL, England--(BUSINESS WIRE)--LDRA today announced that the LDRA tool suite now supports the hardware-based, multicore mitigation capabilities of RISC-V processors such as Microchip, Synopsys and ...
As safety-critical systems become increasingly complex, the choice of processor architecture plays an important role in ensuring functional safety and system reliability. Consider an automotive ...
Tasking in Germany has bought UK software tool provider LDRA for an undisclosed sum. The LDRA tools achieve early error identification and elimination through ...
LDRA has extended support for the RISC-V instruction set architecture (ISA) in its high assurance quality analysis and verification tool suite. The LDRA static analysis tools support emerging RISC-V ...
In the functional safety world, once a system is developed, it remains protected as long as the system is in service. In contrast, the security world demands that software must continue to defend a ...
LDRA Testbed has extended its programming standards and code coverage up to DO-178B Level A certification. September 3, 2008 - LDRA launched the LDRA tool suite v7.7. LDRA Testbed, the foundation of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results