Search Results for "source code static anala"

openPOWERLINK is an Open Source Industrial Ethernet stack for communication in hard real-time. It can be operated as both, Managing Node (master) and Controlled Node (slave). With version 2.0, the source code has been cleanly split into an application-oriented user library and a time-critical stack driver. The latter may be moved to a dedicated communication processor or into a kernel module to deliver enhanced performance while still keeping the API in user space. A full documentation...

HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick.

This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are...

This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing...

LSGTL means LLX’s Static Graph Template Library which is a light-weighted header-only template library developed mainly for static graph analysis. LSGTL is expected to be used in laboratories for research purposes mostly.

A platform for developing mathematical models of static/dynamic physical systems, a simulation evironment for such models and a set of component libraries. It combines features from Simulink, Modelica or AMESim with unique features on its onw.

METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.