• LUEP

  • Referenced in 4 articles [sw03099]
  • construct some of the best known binary codes in a simple way. Furthermore, a large...
  • XTL

  • Referenced in 4 articles [sw21954]
  • Transition Systems) encoded in the BCG (Binary Coded Graph) file format. XTL can typically...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source ... Prolog can avoid to link the code of most unused built-in predicates. The performances...
  • ProtoMol

  • Referenced in 8 articles [sw10728]
  • using templates that enable generation of efficient code for sections critical to performance (generic programming ... moderate number of processors. Binaries and source codes for Windows, Linux, Solaris, IRIX...
  • LUDWIG

  • Referenced in 23 articles [sw02229]
  • different equilibrium free energies are simple to code, so that the user may concentrate ... main application has been to symmetric binary fluid mixtures. We first explain the philosophy ... very effective way of developing large codes for academic consortia. Next we elaborate on some ... particular case of a symmetric binary fluid mixture near a solid wall. We present...
  • BAP

  • Referenced in 7 articles [sw12790]
  • verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe ... lessons learned from previous incarnations of binary analysis platforms. BAP explicitly represents all side effects...
  • cake_lpr

  • Referenced in 2 articles [sw41080]
  • verified using CakeML ’s binary code extraction toolchain, which yields correctness guarantees for its machine ... code (binary) implementation. This further distinguishes our clausal proof checker from existing ones because unverified...
  • Bioclipse

  • Referenced in 5 articles [sw21445]
  • supported on all major platforms; Source code and binaries are freely available at http://www.bioclipse.net...
  • LDGM

  • Referenced in 8 articles [sw03195]
  • coding and joint source-channel coding of multiterminal correlated binary sources. In both cases...
  • FOAM

  • Referenced in 6 articles [sw09800]
  • publications, a download section of binaries and source code, installation guidelines and the documentation...
  • SCALE 6.2

  • Referenced in 6 articles [sw18190]
  • passed between individual computational codes using custom binary files that are read from and written...
  • PopABC

  • Referenced in 4 articles [sw24740]
  • teaching purposes. AVAILABILITY AND IMPLEMENTATION: Source code and binaries are freely available at http://www.reading.ac.uk...
  • RazerS

  • Referenced in 4 articles [sw22766]
  • computed index. AVAILABILITY AND IMPLEMENTATION: Source code and binaries are freely available for download...
  • AUTO-IK

  • Referenced in 2 articles [sw21228]
  • following tasks: selection of thresholds for binary coding of continuous data, computation and modeling...
  • LORAIN

  • Referenced in 2 articles [sw16339]
  • opposed to the model, high-level source code. Through information gleaned from the IR, LORAIN ... efficient reverse event handlers at the binary code level. This preliminary work demonstrates the potential...
  • RnaViz

  • Referenced in 2 articles [sw35745]
  • very portable and extensible. Availability: Source code, binaries for Linux and MS Windows, and additional...
  • BYTESURGEON

  • Referenced in 2 articles [sw09135]
  • presents BYTESURGEON, a library to transform binary code in Smalltalk. BYTESURGEON takes full advantage...
  • Upen2DTool

  • Referenced in 2 articles [sw29896]
  • approximate solutions. Moreover a Windows binary code is available for testing for non-Matlab users...
  • XPP-VC

  • Referenced in 5 articles [sw02335]
  • seconds from C code to configuration binaries and performance speedups over standard microprocessor implementations...
  • code_uniqueness

  • Referenced in 1 article [sw34718]
  • Programs used for the paper: Uniqueness of codes using semidefinite programming ... denote the maximum size of a binary code of word length (n), minimum distance ... denote the maximum size of a binary code of word length (n) and minimum distance...