• Sat4j

  • Referenced in 75 articles [sw07283]
  • release 2.2 system description. Sat4j is a java library for solving boolean satisfaction and optimization ... Minimally Unsatisfiable Subset (MUS) problems. Being in Java, the promise ... solve those problems (a SAT solver in Java is about 3.25 times slower than ... featured, robust, user friendly, and to follow Java design guidelines and code conventions (checked using...
  • JStatCom

  • Referenced in 92 articles [sw04873]
  • like Matlab, Gauss or Ox, with the Java world. Furthermore, it helps building Graphical User ... data management features that seamlessy interact with Java Swing components...
  • VTK

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

  • Referenced in 68 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 92 articles [sw07019]
  • Pellet: OWL 2 Reasoner for Java. For applications that need to represent and reason about...
  • MULAN

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

  • Referenced in 49 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...
  • 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 71 articles [sw09424]
  • present a prototype implementation of KLAIM in Java...
  • PostgreSQL

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

  • Referenced in 50 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...
  • 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 65 articles [sw04170]
  • time simulation, network emulation, alternative programming languages (Java, C#), database integration, SystemC integration, and several...
  • Racer

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

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

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

  • Referenced in 63 articles [sw14887]
  • regions belonging to different images. A Java-based web implementation of NeTra is available...
  • Jason

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