• MatrixMarket

  • Referenced in 168 articles [sw04020]
  • engineering disciplines are provided. Tools for browsing through the collection or for searching for matrices ... describing its properties. Generators are either static software which you can download and include ... matrices in your Web browser, or form-based requests to generate matrices at the Matrix...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint ... constraints, branching strategies, and search engines. New variable domains can be programmed at the same ... heuristics (accumulated failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking ... commodity hardware for parallel search, giving an already efficient base system an additional edge. tested...
  • HOMAJ

  • Referenced in 0 articles [sw23767]
  • generating subtle HOMs, including several search-based software engineering techniques, enumeration search, and random search...
  • COCONUT

  • Referenced in 40 articles [sw04760]
  • development version including the solvers, the strategy engine and the converters is available ... could be used as part of commercial software (special license regulations are contained ... Graph Template Library), and the search database is based on the VDBL (Vienna DataBaseLibrary). Support...
  • TSPAntSim

  • Referenced in 6 articles [sw04980]
  • fields of engineering. In this paper, a web-based simulation and analysis software (TSPAntSim ... solving TSP using ACO algorithms with local search heuristics. Algorithms are tested on benchmark problems...
  • Forager

  • Referenced in 1 article [sw39307]
  • search plug-in for Eclipse that uses information retrieval techniques to enable software engineers ... more efficiently than traditional regular expression based search tools...
  • Lighthouse

  • Referenced in 2 articles [sw17469]
  • algebra software. Various fields of science and engineering rely on linear algebra for large scale ... available numerical software for their problems. We have developed a search-based expert system that ... optimization. Lighthouse provides a novel software engineering environment aimed at maximizing both developer productivity...
  • Julius

  • Referenced in 5 articles [sw21656]
  • open source realtime large vocabulary recognition engine. ”Julius” is a high-performance, small-footprint large ... recognition (LVCSR) decoder software for speech-related researchers and developers. Based on word N-gram ... server. The algorithm is based on 2-pass tree-trellis search, which fully incorporates major...
  • REXEL

  • Referenced in 1 article [sw37126]
  • some of these obstacles a software tool for code-based real records selection was developed ... network of earthquake engineering university labs (http://www.reluis.it/index_eng.html), allows to search for suites ... then the algorithms implemented in the software are discussed. Finally, via some examples ... effectively be a contribution to code-based real records selection for seismic structural analysis...
  • MyriMatch

  • Referenced in 3 articles [sw31817]
  • based upon the multivariate hypergeometric distribution. This scorer, part of the ”MyriMatch” database search engine ... matches from random ones. We evaluated this software on data sets from three different laboratories...
  • DICE

  • Referenced in 2 articles [sw02641]
  • coordination-based framework for distributed constraint solving. This paper gives an overview of DICE (DIstributed ... construction of distributed constraint solvers from software components in four categories: (1) variable domain types ... build search trees, and (4) search strategies, to traverse these search trees. DICE is implemented ... from a constraint programming and a software engineering point of view...
  • MultiCAD

  • Referenced in 1 article [sw01786]
  • forms based on genetic algorithms and human evaluation The solution engine of MultiCAD-GA, presented ... part of a new software environment for efficient search for solutions in heavily demanding applications...
  • LINK

  • Referenced in 2 articles [sw02358]
  • proof environment including proof nets-based provers for multiplicative linear logics: mixed linear logic ... search in MLL and MCyLL. It is a powerful alternative to deal with proof search ... proof can be useful from a software engineering point of view. It allows to analyse...
  • PANGAEA

  • Referenced in 1 article [sw30455]
  • distribution of visualization and analysis software. Organization of data management includes quality control and publication ... information storage. The web-based clients include a simple search engine (PangaVista) and a data ... data is supported by a number of software tools, which can either be used...
  • GETA

  • Referenced in 2 articles [sw07067]
  • information access GETA (Generic Engine for Transposable Association) is a software that provides efficient generic ... quantitative analysis of various proposed methods based on association, such as measuring similarity among documents ... power and the flexibility of GETA-based computation for association. It provides the users with ... stage approach in the associative search, which is the key to its efficiency, also facilitates...
  • Smart Modeller

  • Referenced in 1 article [sw06570]
  • novel framework for ontology-driven software engineering. This framework is grounded on the prior related ... studied the interplay between the model-driven engineering and the ontological modeling. Our framework makes ... search in model repositories, three kinds of semi-automated model composition services: task-based, result ... part of model-driven engineering tools to support software engineers. We describe our reference implementation...
  • libTextCat

  • Referenced in 1 article [sw24541]
  • technique described in Cavnar & Trenkle, ”N-Gram-Based Text Categorization” [1]. It was primarily developed ... webcrawler and search engine software, in which it it handles millions of documents...
  • PeptideWitch

  • Referenced in 1 article [sw36583]
  • based web module that introduces several key graphical and technical improvements to the Scrappy software ... output from peptide-to-spectrum matching search engines for ‘control’ and ‘treated’ samples. Through...
  • SIMPLE

  • Referenced in 2 articles [sw22789]
  • open source software suite SIMPLE: Single-particle IMage Processing Linux Engine provides data analysis methods ... bijective orientation search - a new concept in common lines-based strategies. Bijective orientation search divides...
  • SeqWare

  • Referenced in 1 article [sw12020]
  • SeqWare Query Engine: storing and searching sequence data in the cloud. Results: In this work ... present the SeqWare Query Engine which has been created using modern cloud computing technologies ... Hadoop project. We also created a web-based frontend that provides both a programmatic ... Hadoop MapReduce framework within the query engine. This software is open source and freely available...