Search Results for "ii"
Sort By:
Showing 6 open source projects for "ii"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
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
Atar8 Tools is a collection Atari 8-bit related of command line tools for Posix compatible environments: - Franny is an ATR disk image editor. Supports AtariDOS II disk format (partially) and SpartaDos 2 disk format. - Yvonne is an Atari picture viewer / converter. - ZooEY is a cross assembler designed for 6502 processors. Binaries are generated specially for Atari 8-bit systems (AtariDOS II and SpartaDOS X formats supported). This tool is compatible with Quick Assembler, one of most popular assembler in Poland.
-
4
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
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Phase I: Macros for generating and testing function or procedure return status information designed to make reading source code easier. Phase II: Integration with internationalization aids.
-
6
- Previous
- You're on page 1
- Next
