Search Results for "virtual-machine"

...Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.

ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of...

A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation.

The UTID (Universally Traceable Identifier) is used to identify any thing in the real world or virtual world. The IDTP (Identifier Tracing Protocol) is a communication protocol to access the information of a thing that identified by UTID. The IDTP and UTID were designed by the author of the Busilet project in recent three years. For more information, see: https://datatracker.ietf.org/doc/draft-huangng-idtp/ https://datatracker.ietf.org/doc/draft-huangng-utid/ Project Busilet is a reference implementation of IDTP that provides a set of APIs developers to develop IDTP server and IDTP client software. ...

A tool to generate state machine graphs based on specially formatted comments in C and C++ code. The generated output is a Graphviz dot input file.

Library for implementation of interoperable metaobject protocols for dynamic languages running on a Java Virtual Machine.

A small library that provides a powerful and container-less Dependency-Injection mechanism, via AspectJ and Groovy. If you are tired of reams of XML configuration files, managing complex factories and containers, this non-API solution may appeal to you.

JSpasm is a pure Java package for developing event-driven, state-based software applications and packages. This small-footprint package will handle multiple models and large numbers of entities in parallel, and includes features to support SMP operation.

USBView is a GTK program that displays the topography of the devices that are plugged into the USB bus on a linux machine. It can be usefull to determine which device is mounted on which port. also to check whether a device is working properly or not.