Search Results for "linux tutorial"

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

Melon's purpose is to simplify as much as possible the setup of interactive installation (art, cultural, commercial, etc) as much as possible. It broadcast in OSC 3D pointers. Each pointer can be attached to any of the bone of the skeleton. The interaction area defined for this pointer is attached to another bone of the skeleton, therefore the visitor is free to move in the space defined. Video tutorial: https://vimeo.com/73297050 Developped by http://www.numediart.org [!] >...