• SOCS

  • Referenced in 139 articles [sw07737]
  • Sparse Optimal Control Software (SOCS). The Sparse Optimal Control Family, developed by The Boeing Company ... separately or together. Sparse Optimal Control Software (SOCS) is general-purpose software for solving optimal ... available as an integral part of SOCS or as a separate package...
  • LMOMENTS

  • Referenced in 132 articles [sw07868]
  • moments. Hosking (J. R. Statist. Soc. B, 1990) and Hosking and Wallis (Regional frequency analysis...
  • COWS

  • Referenced in 51 articles [sw06955]
  • Services), a new foundational language for SOC whose design has been influenced by WS-BPEL...
  • REPSN

  • Referenced in 21 articles [sw00800]
  • where G is perfect and the socle soc(G/Z(G)) of G over its centre...
  • FV_HipoDiff

  • Referenced in 9 articles [sw32052]
  • Mouhot, and C. Schmeiser [Trans. Amer. Math. Soc. 367, no. 6 (2015)] to prove...
  • Pinapa

  • Referenced in 6 articles [sw09955]
  • chip. It enables system-level descriptions of SoCs: the same language is used ... Pinapa is compulsory to work on realistic SoCs designs for anything else than simulation...
  • Kaleido

  • Referenced in 8 articles [sw05940]
  • Miller [Phil. Trans. Roy. Soc. London Ser. A 246, 401-409 (1953; Zbl 0055.142)] (hereafter...
  • MAS-SOC

  • Referenced in 3 articles [sw09161]
  • SOC: a Social Simulation Platform Based on Agent-Oriented Programming. This article gives an overview ... programming languages. The platform is called MAS-SOC, and the approach to building multi-agent...
  • MarCaSPiS

  • Referenced in 5 articles [sw06957]
  • oriented logic, which permits addressing openendedness of SOC. Indeed, SoSL provides modal operators that...
  • STABLE

  • Referenced in 2 articles [sw11913]
  • property checking flow for System-on-Chip (SoC) designs. When verifying industrial data path modules...
  • FiOrDi

  • Referenced in 2 articles [sw16767]
  • Singer [Trans. Am. Math. Soc. 279, 215–229 (1983; Zbl 0527.12016)] for rational first order...
  • xMAML

  • Referenced in 2 articles [sw21580]
  • applications, usually implemented on system-on-chip (SOC), increases architecture performance and flexibility requirements. Current...
  • Quasidegrees

  • Referenced in 2 articles [sw30289]
  • methods for hypergeometric families. J. Am. Math. Soc., 18(4):919-941, 2005. This package...
  • DOP

  • Referenced in 1 article [sw10739]
  • Hirota’s bilinear operator [J. Phys. Soc. Japan 55, 2137 (1986)] and the Wronskian form...
  • UMBR

  • Referenced in 1 article [sw14065]
  • algorithm AS 257 [J. R. Stat. Soc...
  • HHSIM

  • Referenced in 1 article [sw15448]
  • stage hierarchical models”, J. R. Stat. Soc. Ser. B, Stat Methodol...
  • SoCLib

  • Referenced in 1 article [sw16538]
  • multi-processors system on chip (MP-SoC). The project started as an ANR-founded project...