Search Results for "computer system optimization"

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. ...

Porting Android to the iPAQ 200/210/211/212/214 or equilivalent. It has a 4-inch VGA Screen (TFT LCD display), resistive touchscreen, WiFi, Bluetooth, SD/MMC, CF. Originally it is running Windows Mobile 6 Classic. For help, see README files and the wiki. This project is in Alpha state, that means it is not suitable for daily usage unless developing for the project. NOT FOR THE FAINTHEARTED AND/OR COMPUTER IDIOTS!