Search Results for "domain"

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.

Platform providing the support for Wireless Sensor Networks in the domain of Natural Hazards as a Service. The objective of the WSN platform is monitoring the behaviour of rockfall barriers, rockfall netting, rock sheds and other protection systems

Porting Android to the iPAQ 200/210/211/212/214 or equilivalent. It has a 4-inch VGA Screen (TFT LCD display), resistive touchscreen, WiFi, Bluetooth, SD/MMC, CF. Originally it is running Windows Mobile 6 Classic. For help, see README files and the wiki. This project is in Alpha state, that means it is not suitable for daily usage unless developing for the project. NOT FOR THE FAINTHEARTED AND/OR COMPUTER IDIOTS!

Model-Driven Embedded Systems Design Environment for the Industrial Automation Sector: The aim of this open source initiative is to provide a multi-domain model-driven embedded systems design approach for Industrial Automation and Control Systems.

AndroidCam is an Android App which provides the ability to turn a mobile device into an intervalometer for collecting time-lapse images. Image capture can be triggered using time based scheduling or in response to data thresholds monitored by the app (e.g. temperature, location, windspeed, etc) Data collection is performed via IOIO connection and the new ADK. Remote synchronization upload of images can be scheduled and performed via SCP.