Search Results for "java runtime environment"
Sort By:
Showing 2 open source projects for "java runtime environment"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
1
EfiPy
Python Library for accessing UEFI BIOS internal function by protocol
EfiPy is a Python Module on UEFI shell which can access UEFI BIOS kernel interface - System Table - Runtime Services - Boot Services pAnalyzer package - Tracing UEFI protocol calling flow Output protocol flow to screen or file with XML format CorePy (assembly package) - Simple Assembly code in Python environment. EfiPy Shell package- Simple uefi shell program coded with EfiPy library to prove EfiPy workable EfiPy leverage these open source packages - ctypes, CorePy. ... -
2
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...
- Previous
- You're on page 1
- Next
