Search Results for "synthesis"
Sort By:
Showing 3 open source projects for "synthesis"
View related business solutions-
Go From Idea to Deployed AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
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
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, 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. ... -
2
The Harmony of the World
A fair attempt at the Keplerian tradition to explore the solar system
...This program can run on any computer provided with a Java Virtual Machine (Rev 1.5 or greater). JAVA 2, system independent. Purpose:to encourage research in harmony in astronomy, math and music. Obstacles:math, DSP/synthesis, networks, astronomy. Features:audio, database, graphics Technologies: Telnet, .WAV audio, oggvorbis, other audio -
3
"CAGE", the Computer Audio Garden in Eclipse, is to be an Eclipse-based, Java and XML workbench, for the computer music composer. It will use the Rich Client Platform to provide a basic backbone framework, enabling existing computer music tools to be p
- Previous
- You're on page 1
- Next
