Search Results for "linear optimization"
Sort By:
Showing 2 open source projects for "linear optimization"
View related business solutions-
Managed MySQL, PostgreSQL, and SQL Databases on Google CloudCloud SQL is a fully managed relational database for MySQL, PostgreSQL, and SQL Server. We handle patching, backups, replication, encryption, and failover—so you can focus on your app. Migrate from on-prem or other clouds with free Database Migration Service. IDC found customers achieved 246% ROI. New customers get $300 in credits plus a 30-day free trial.
-
Push Code. Get a Production URL. Done.Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
EasyDarwin
Industrial rtsp streaming server
...EasyDarwin is able to transcode G.711A/PCMA, G.711U/PCMU, and other audio formats to Linear PCM. Provided to the public in the form of SDK, completely free to use. Provides a series of streaming media audio and video development practical tools to help developers quickly solve problems in the process of operation, maintenance and debugging. -
2
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
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,...
- Previous
- You're on page 1
- Next
