Search Results for "ii"

FUMOLA is a co-simulation framework specifically designed to support the features offered by the FMI specification. It provides a flexible platform that allows to configure and execute co-simulation setups in an easy way. FUMOLA is developed on top of the Ptolemy II framework (https://ptolemy.eecs.berkeley.edu) and the FMI++ library (http://fmipp.sourceforge.net). The online documentation of FUMOLA is available here: https://sourceforge.net/p/fumola/wiki/Home/

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. ...

...Each Pdu encapsulates the next one, making easy to navigate through the Frame. Frames can be forged in the same manner allowing them to be injected in the network. Sniffer4J support several protocols including: * Ethernet I & II (including LLC and SNAP frames) * Vlan (802.1Q) * Arp * Ipv4, Ipv6, (including options) * Next Header for IpV6 * Ipsec * TCP (including options) * Udp * Icmp (including RFC 2461 and Ipv6) * Lldp * Ipx And more to come… Remember: If you don’t test your network, some else will… Bernardo

...The MOEA Framework supports genetic algorithms, differential evolution, particle swarm optimization, genetic programming, grammatical evolution, and more. A number of algorithms are provided out-of-the-box, including NSGA-II, NSGA-III, ε-MOEA, GDE3 and MOEA/D. In addition, the MOEA Framework provides the tools necessary to rapidly design, develop, execute and statistically test optimization algorithms.

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

...You can use either phpMyAdmin for localhost; Microsoft SQL Server; or simply Query Browser for MySQL. Other database environments have not been tested hence I don't guarantee their adaptability. ii. Run and Build the system in NetBeans IDE 7.0. Other IDEs have not been tested for this system. A more stable and installable version will be released soon. iii. Please rate the system and leave comments or reviews. iv. If you need any further clarification, post a question/query/doubt in the Wiki and I will reply ASAP. NB: Please use the "External Link" menus above to support this project in one way or another. ...

CriticAL: A Critic for API and Libraries. This project provides a framework for critiquing API-client code in three ways: i) it explains the complex interaction of API elements, ii) it criticizes the improper use of the API, and iii) it recommends the related API elements that may be needed next by the user.

RES is a pure Java based Open Source Cobol to Java translator. It creates maintainable Java code for a subset of VS Cobol syntax. It has been developed with JDK, JTB and Javacc.

VM02 is a Java compatible environment for the Apple II series of computers. Most basic features of a Java VM are implemented to allow direct execution of standard Java class files on a 64K, 8 bit, 1 MHz Apple II computer.

The illegitimate child of a free-spirited comedian and a profiteering barista; a batteries included approach to compiled languages.

JNSGA2 is a Java library with an implementation of the multi-objective genetic algorithm NSGA-II published by Deb et al.

This BlueJ-Extension is developed by three student assistants of the lecture "Programming II" at Saarland University. It is designed especially for the students of this lecture, but useable by others too.

An ABAP2HTML converter(mature), Business Console ( charva is better ), Buoy Classes and Minuet.

CountSoftPrice is an eclipse plugin that allows to count soft price. Plugin based on COCOMO II and functional points methods.