• gamair

  • Referenced in 198 articles [sw11132]
  • accessible and the author used a fairly smooth way even in the case of advanced...
  • CONOPT

  • Referenced in 147 articles [sw02791]
  • This is especially true for models with fairly nonlinear constraints, particularly when it is difficult...
  • ETPS

  • Referenced in 145 articles [sw06302]
  • years. Students generally learn to use ETPS fairly quickly just by reading the manual (which...
  • Simula 67

  • Referenced in 114 articles [sw21333]
  • Kristen Nygaard. Syntactically, it is a fairly faithful superset of ALGOL 60. Simula 67 introduced...
  • SIMPLIcity

  • Referenced in 81 articles [sw14893]
  • faster than existing ones. The system is fairly robust to image alterations...
  • ROWMAP

  • Referenced in 44 articles [sw09627]
  • process ensures order p = 4 already for fairly low dimensions of the Krylov subspaces independently...
  • Hopscotch

  • Referenced in 42 articles [sw00413]
  • storage requirements and ease of programming. Several fairly general conditions are given which ensure convergence...
  • StirMark

  • Referenced in 34 articles [sw19164]
  • discussed the urgent need for fair evaluation procedures for watermarking systems and a first benchmark...
  • PAT

  • Referenced in 29 articles [sw13258]
  • freeness, divergence-freeness, reachability, LTL properties with fairness assumptions, refinement checking and probabilistic model checking...
  • Maria

  • Referenced in 18 articles [sw04127]
  • checking of high-level Petri nets with fairness constraints. The algebra contains powerful built...
  • ModLeanTAP

  • Referenced in 17 articles [sw12368]
  • includes additional search space restrictions and fairness strategies, giving a decision procedure for the logics...
  • CaGe

  • Referenced in 17 articles [sw21206]
  • several formats. If you have a normal, fairly modern UNIX system with Java...
  • QPSchur

  • Referenced in 15 articles [sw06918]
  • specific structure in a computationally efficient and fairly robust manner as compared to other...
  • TLPVS

  • Referenced in 10 articles [sw10024]
  • reducing compassion requirements to justice requirements (strong fairness to weak fairness). Special attention has been...
  • SMV

  • Referenced in 13 articles [sw04135]
  • class of temporal properties, including safety, livenesss, fairness and deadlock freedom, to be specified...
  • ISNaS

  • Referenced in 12 articles [sw00456]
  • equations (also known as transport equations) on fairly general grids by the boundary fitted...
  • VESTA

  • Referenced in 10 articles [sw02978]
  • software systems of almost any size, from fairly small (under 10,000 source lines...
  • Multivac

  • Referenced in 10 articles [sw06314]
  • numerical integration schemes are available, which support fairly general front advance functions (”speed functions...
  • Packlib2

  • Referenced in 9 articles [sw00666]
  • packing and cutting community: in addition to fair and easy comparison of algorithmic work...
  • IRIS

  • Referenced in 9 articles [sw07075]
  • merit categories (e.g. “Very good”, “Good”, “Fair”, “Not eligible”), or to sort loan applicants into...