• HAsim

  • Referenced in 1 article [sw20592]
  • HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing. In this paper ... able to model a shared-memory multicore system including detailed core pipelines, cache hierarchy ... present a case study that motivates why high-detail simulations should continue to play...
  • KNITRO

  • Referenced in 200 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • SNOPT

  • Referenced in 556 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • CONOPT

  • Referenced in 171 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • Ipopt

  • Referenced in 787 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • GAMS

  • Referenced in 881 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • MINOS

  • Referenced in 459 articles [sw05095]
  • MINOS is a large-scale optimization system, for...
  • Lamatto

  • Referenced in 13 articles [sw06943]
  • Lamatto++ is a framework to model mixed-integer...
  • GasLib

  • Referenced in 35 articles [sw17977]
  • GasLib. A library of gas network instances. Natural...
  • SIMONE

  • Referenced in 10 articles [sw17978]
  • SIMONE is Europe’s leading standard software package...
  • Lamatto++

  • Referenced in 13 articles [sw20580]
  • Lamatto++ A Framework for Modeling and Solving Mixed...