• Chaco

  • Referenced in 118 articles [sw09640]
  • molecular structure of liquid crystals, evaluating the design of a chemical vapor deposition reactor...
  • Pastry

  • Referenced in 109 articles [sw11775]
  • peer systems. This paper presents the design and evaluation of Pastry, a scalable, distributed object...
  • NAS Parallel Benchmarks

  • Referenced in 128 articles [sw08853]
  • small set of programs designed to help evaluate the performance of parallel supercomputers. The benchmarks...
  • DFO

  • Referenced in 130 articles [sw04737]
  • example, in engineering design, where the objective function evaluation is a simulation package treated...
  • Metro

  • Referenced in 78 articles [sw07731]
  • simplified surfaces. Metro is a tool designed to evaluate the difference between two triangular meshes...
  • DACE

  • Referenced in 187 articles [sw04715]
  • design of experiment problem, that is choosing the inputs at which to evaluate the computer...
  • SPACE

  • Referenced in 36 articles [sw04716]
  • function can then be evaluated off - line at these design sites. The new function evaluations ... design site, waits for the design site to be evaluated by a supplied function, space ... generates the next design site given the new function evaluation , etc., until a convergence criterion...
  • SNDlib

  • Referenced in 72 articles [sw00884]
  • purpose is to make realistic network design test instances available to the research community ... standardized benchmark for testing, evaluating, and comparing network design models and algorithms...
  • GridSim

  • Referenced in 49 articles [sw01392]
  • resources, and resource brokers (schedulers) for design and evaluation of scheduling algorithms. It provides...
  • FERET

  • Referenced in 234 articles [sw13782]
  • evaluation procedure is an independently administered test of face-recognition algorithms. The test was designed...
  • Bebop

  • Referenced in 73 articles [sw08928]
  • Boolean Programs. We present the design, implementation and empirical evaluation of Bebop—a symbolic model...
  • ACSL

  • Referenced in 50 articles [sw04216]
  • axle”), is a computer language designed for modelling and evaluating the performance of continuous systems ... Continuous System Simulation Language (CSSL), originally designed by the Simulations Council...
  • FODE

  • Referenced in 296 articles [sw08377]
  • method of lines, the algorithm is designed for numerically solving FODE with the numerical error ... effectiveness of this numerical algorithm is evaluated by comparing its numerical results for $alpha...
  • sKizzo

  • Referenced in 18 articles [sw40002]
  • QBFs. We present sKizzo, a system designed to evaluate and certify QBFs by means...
  • DOT

  • Referenced in 62 articles [sw14223]
  • Design Optimization Tools. DOT is a general-purpose gradient-based optimization software library that ... program has to provide the required function evaluations needed to perform the optimization ... These function evaluations can be linear or nonlinear functions of the design variables. They...
  • Wattch

  • Referenced in 31 articles [sw15015]
  • verified using industry tools on leading-edge designs. This paper presents several validations of Wattch ... might use Wattch to evaluate power consumption in their design process. We see Wattch ... allows architects to explore and cull the design space early on, using faster, higher-level ... range of researchers by providing a power evaluation methodology within the portable and familiar SimpleScalar...
  • VICONOPT

  • Referenced in 19 articles [sw10341]
  • laminate level finds stacking sequences satisfying laminate design rules using either manual selection ... range. The bi-level strategy is evaluated by design of a Z-stiffened example, which...
  • NOMAD

  • Referenced in 106 articles [sw02916]
  • significant number of calls attempted. NOMAD is designed for such problems and aims ... possible solution with a small number of evaluations. The objective of this article...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • combination. Its purpose is to support the design of theorem provers, logic programming languages, constraints ... abstract data types and the function evaluation principle based on rewriting. But rewriting is inherently ... hard-wired and not accessible to the designer of an application. The strategy language offers ... operators and define them by rewrite rules. Evaluation of strategy application is itself based...
  • PASCAL VOC

  • Referenced in 139 articles [sw36507]
  • together with ground truth annotation and standardised evaluation software; and (ii) an annual competition ... paper is intended for two audiences: algorithm designers, researchers who want to see what ... current generation of algorithms; and, challenge designers, who want to see what we as organisers ... datasets we introduce a number of novel evaluation methods: a bootstrapping method for determining whether...