13 search results - page 2 / 3 » scp 2011 |
SCP
2011
12 years 12 months ago
2011
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
JOTA
2011
12 years 12 months ago
2011
In this paper we consider the linear symmetric cone programming (SCP). At a KarushKuhn-Tucker (KKT) point of SCP, we present the important equivalent conditions for the nonsingula...
SCP
2011
12 years 12 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
SCP
2011
12 years 12 months ago
2011
system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’...
SCP
2011
12 years 12 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...