Search Results for "virtual software"

The riscv-boom project (also called BOOM or SonicBOOM) implements a high-performance, synthesizable out-of-order RISC-V core written in the Chisel hardware construction language. It targets the RV64GC (i.e. 64-bit with general + compressed + floating point) instruction set and supports features such as virtual memory, caches, atomics, and IEEE-754 floating point. The design is parameterizable, meaning users can tune pipeline widths, buffer sizes, functional units, and other...

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

The Jikes Research Virtual Machine (RVM) is designed to execute Java(TM) programs that are typically used in research on fundamental virtual machine design issues.

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

**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net

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