Search Results for "squashfs-tool"
Sort By:
Showing 6 open source projects for "squashfs-tool"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
...Please download the tutorial for step-by-step instructions on installing and using the tool. It is advised to use 32-bit version (Eclipse) associated in the "MGSyn supplementary files", as the 64-bit version will by default demand huge memory, which may lead to Java exceptions. -
2
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !!
-
3
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. ... -
4
OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
CSQL Main Memory Database / Cache
Main Memory Database Cache
CSQL - suite of three products, embedded relational database / stand alone Main Memory Database / updateable bi-directional table level cache. All are exposed via standard SQL interfaces such as ODBC/JDBC. -
6
SimpleTimer is a Java-based, freeware tool, you can use as a countdown timer on your mobile device. This software is compiled and tested on devices with OS Symbian S60 2nd FP3 edition e.g. on NOKIA N70. Should work on other platforms too!!!
- Previous
- You're on page 1
- Next