Search Results for "ii"
Sort By:
Showing 4 open source projects for "ii"
View related business solutions-
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. ... -
2
Translation of RPG/400- (as well as RPG-II/III)- programs to native C++. Runtime-Environment for RPG/400-programs Class-library for RPG/400 programs and datatypes, including high-precision arithmetics
-
3
The Oracle Warehouse Builder (OWB) Slowly Changing Dimension Type II (SCDII) is an OWB expert that creates mappings. These mappings implement a Kimball SCDII load strategy. You can read more about it on owbexpert.blogspot.com
-
4
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
- Previous
- You're on page 1
- Next
