Search Results for "java remote control"

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...

...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.

The Tumanako Project is an Open Source development effort to produce Open Source hardware and software to drive and recharge electric vehicles. Tumanako is Māori for hope & togetherness.

Controlling Model Railroad via Networks "Lanbahn" Concepts - intelligent end devices - all with a network, wlan or other sophisticated interface. - can be operated without a central station - no complex binary protocols - communications via multicast UDP messages - decoders can advertise their capabilities via zeroconf/avahi/bonjour protocol. - raspberry pi as one hardware platform - tinkerforge IO bricklets for turnout and signal control

Enjekt! is a unique Java/C based fuel injection system for aircooled Volkswagens. Enjekt! uses software models to control fuel injection instead of relying static look up tables.

JemBench is an open-source Java benchmark suite for constrained embedded systems. JemBench covers the benchmarking of vital bytecodes, computational kernels, control applications, and multithreaded applications. It even runs on CLDC platforms.

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.

This project intends to issue a universal remote controller based on Bluetooth connectivity. The client side runs on every mobile phones supporting Java ME. Many applications can be controlled on the host, as long as they furnish a D-Bus interface.

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.