
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 generalpurpose 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 WSBPEL...

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 systemlevel 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, 401409 (1953; Zbl 0055.142)] (hereafter...

MASSOC
 Referenced in 3 articles
[sw09161]
 SOC: a Social Simulation Platform Based on AgentOriented Programming. This article gives an overview ... programming languages. The platform is called MASSOC, and the approach to building multiagent...

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 SystemonChip (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 systemonchip (SOC), increases architecture performance and flexibility requirements. Current...

Quasidegrees
 Referenced in 2 articles
[sw30289]
 methods for hypergeometric families. J. Am. Math. Soc., 18(4):919941, 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]
 multiprocessors system on chip (MPSoC). The project started as an ANRfounded project...