• HPROF

  • Referenced in 1 article [sw16982]
  • Java 2 Platform Standard Edition (J2SE) has always provided a simple command line profiling tool ... HPROF has been implemented on the new Java Virtual Machine Tool Interface...
  • HRNG

  • Referenced in 1 article [sw11390]
  • implementation incorporated into the Java 2 platform (Version 1.6), and the other is the implementation...
  • Bioclipse

  • Referenced in 5 articles [sw21445]
  • advanced and widely used service platform ensures wide extensibility, making it easy ... architecture make Bioclipse 2 ideal for interdisciplinary and integrative research.Bioclipse 2 is released under ... license. Bioclipse 2 is implemented in Java and supported on all major platforms; Source code...
  • KSACI

  • Referenced in 3 articles [sw02455]
  • software platforms for cell phones and handheld computers, such as Java 2 Micro Edition (J2ME ... devices, what was impossible recently since the platforms were proprietary. Among the myriad of applications ... However, since J2ME is a very recent platform, there are no well-established J2ME-based ... extends SACI (Simple Agent Communication Infrastructure), a Java open-source communication infrastructure for desktop agents...
  • CGH-Explorer

  • Referenced in 1 article [sw35543]
  • files that runs on any platform with the Java 2 runtime environment (J2SE JRE) installed...
  • Jazz

  • Referenced in 1 article [sw15475]
  • Java2D, and runs on all platforms that support Java 2. This paper describes Jazz...
  • TOUCAN

  • Referenced in 2 articles [sw17181]
  • coexpressed/coregulated genes. It is a platform independent, standalone Java application that is tightly linked with ... motif detection, and module detection. 2005, TOUCAN 2: the all-inclusive open source...
  • JKind

  • Referenced in 1 article [sw21029]
  • written in Java and requires at least Java 8. The latest release of JKind ... Goals: JKind is designed to be cross-platform, reliable, and easy to extend. Power ... mostly compatible with pkind and Kind 2, though this varies over time due to developments...
  • GEMC

  • Referenced in 1 article [sw07064]
  • simple mixtures and polymer blends and (2) a free-volume model of a complex mixture ... source simulation programs, coded in the platform-independent Java language, are suitable...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Dafny

  • Referenced in 72 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • ILTP

  • Referenced in 28 articles [sw00437]
  • The Intuitionistic Logic Theorem Proving (ILTP) library provides...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • OASIS

  • Referenced in 21 articles [sw00644]
  • ASIS has proven to be an effective platform...