• SIMPLIFY

  • Referenced in 141 articles [sw04976]
  • Modula-3, and another checker for Java. The aim of ESC is to increase software...
  • Why3

  • Referenced in 135 articles [sw04438]
  • intermediate language for the verification of C, Java, or Ada programs. Why3 is a complete...
  • VTK

  • Referenced in 120 articles [sw10593]
  • several interpreted interface layers including Tcl/Tk, Java, and Python. Kitware, whose team created and continues...
  • ImageJ

  • Referenced in 77 articles [sw12531]
  • ImageJ is a public domain Java image processing program inspired by NIH Image ... downloadable application, on any computer with a Java 1.4 or later virtual machine. Downloadable distributions...
  • Pellet

  • Referenced in 95 articles [sw07019]
  • Pellet: OWL 2 Reasoner for Java. For applications that need to represent and reason about...
  • MULAN

  • Referenced in 65 articles [sw08062]
  • MULAN: a Java library for multi-label learning. MULAN is a Java library for learning...
  • AGG

  • Referenced in 50 articles [sw04449]
  • attributed by any kind of Java objects. Graph transformations can be equipped with arbitrary computations ... these Java objects described by a Java expression. The AGG environment consists of a graphical...
  • JBoss

  • Referenced in 49 articles [sw21835]
  • world class developer productivity. It is Java™ EE 7 certified and features powerful, enterprise-grade ... offers full support and deployment flexibility for Java EE in any environment, whether on-premise ... environments. Support is included for many popular Java EE 7 web-based frameworks, including Spring...
  • PostgreSQL

  • Referenced in 78 articles [sw15935]
  • native programming interfaces for C/C++, Java, .Net, Perl, Python, Ruby, Tcl, ODBC, among others...
  • Java CoG Kit

  • Referenced in 36 articles [sw21563]
  • Features of the Java Commodity Grid Kit. In this paper we report on the features ... Java Commodity Grid Kit (Java CoG Kit). The Java CoG Kit provides middleware for accessing ... Grid functionality from the Java framework. Java CoG Kit middleware is general enough to design ... established via Globus Toolkit protocols, allowing the Java CoG Kit to also communicate with...
  • NINJA

  • Referenced in 37 articles [sw02398]
  • NINJA: Java for high performance numerical computing. When Java was first introduced, there ... indicated a hundred-fold performance disadvantage between Java and more established languages such as Fortran ... Although much progress has been made, and Java now can be competitive with ... important situations, significant performance challenges remain. Existing Java virtual machines are not yet capable...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • present a prototype implementation of KLAIM in Java...
  • LPbook

  • Referenced in 51 articles [sw31782]
  • dual methods. In addition, there are online JAVA applets that illustrate various pivot rules ... network flows. These C programs and JAVA tools can be found on the book...
  • jMetal

  • Referenced in 70 articles [sw09599]
  • jMetal: a Java framework for developing multi-objective optimization metaheuristics...
  • JADE

  • Referenced in 39 articles [sw11698]
  • JADE (Java Agent DEvelopment Framework) is a software Framework fully implemented in the Java language ... when required. JADE is completely implemented in Java language and the minimal system requirement ... version 5 of JAVA (the run time environment...
  • OMNet++

  • Referenced in 67 articles [sw04170]
  • time simulation, network emulation, alternative programming languages (Java, C#), database integration, SystemC integration, and several...
  • Racer

  • Referenced in 66 articles [sw09837]
  • reasoning services from within Common Lisp and Java...
  • Jason

  • Referenced in 65 articles [sw06187]
  • based agent-oriented programming language -- written in Java. It enables users to build complex multi...
  • Choco

  • Referenced in 65 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction problems (CSP) and constraint programming...
  • KeY

  • Referenced in 64 articles [sw09969]
  • first-order Dynamic Logic for Java with a user-friendly graphical interface. The project...