Search Results for "eclipse, java"

Dieses Projekt beinhaltet eine Digitalsteuerung auf Basis des CAN-Bus, Eclipse RCP und AVR-Mikrocontrollern.

TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP...

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

Hello, I'm the Aioulinux founder, eager to professionally revive the project. Since 2018, the demand for an IoT and Arduino-tailored environment has been evident. Seeking partners for a 2024 version targeting schools and IoT companies, aiming for a secure and comprehensive platform. If you share this vision and wish to collaborate, reach out. Let's revive Aioulinux stronger than ever! Now seeking partners: Live Distro Specialist: Expert in live distributions to ensure...

CamBA is a Linux package for statistical analysis, by script/GUI, of neuroimaging data (fMRI/sMRI), developed at the Brain Mapping Unit, University of Cambridge. Non-parametric permutation-based statistics. Input images: 4D NiFTI files, output: HTML/

Yali is "Yet Another LCN Interface". "Local Control Network" (LCN) is a building control and automation system, a trademark of Issendorff GmbH. Yali opens the door for MAC and Linux users to control their LCN installation via LAN.

Eclim is a set of eclipse and vim plugins to integrate the two projects.

The XBlade Copter project aims to implement a STM32VLDISCOVERY firmware for a UAV (Unattended Air Vehicle) based on STM32 ARM CortexM3 microprocessor. It also contains a full featured Eclipse-based RCP control panel.

Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

Vehikel is a learning environment for behavior based control of mobile robots. A little bit artificial intelligence based on a domain specific language for the c't Bot.

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.

OpenEMS™ is the multi platform Grid framework to seamlessly aggregate all your multi platform resources into a virtual super computer.

IVI is a graphical, interactive user-interface to various Open-Source HDL simulators. IVI is transitioning to using the Eclipse application framework.

This project enables a transparent integration of C/C++ and Java (and other languages such as C#, php...) in Eclipse. The project includes JQuantlib. sKWash makes use of swig. See home page for more info.

This project aims at providing Open Source tools for the development and the verification of SystemC/TLM (Transaction Level Modeling) IP models, and at promoting their use by embedded software developers on SoC (System-On-Chip).

reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.