Search Results for "virtual windows machine"

A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. 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...

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

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.