Sciweavers

2024 search results - page 2 / 405
» The Meaning of Ordered SOS
Sort
View
CORR
2008
Springer
84views Education» more  CORR 2008»
13 years 4 months ago
Coupling Component Systems towards Systems of Systems
Systems of systems (SoS) are a hot topic in our "fully connected global world". Our aim is not to provide another definition of what SoS are, but rather to focus on the a...
Frédéric Autran, Jean-Philippe Auzel...
SIAMJO
2008
108views more  SIAMJO 2008»
13 years 5 months ago
Sparse SOS Relaxations for Minimizing Functions that are Summations of Small Polynomials
This paper discusses how to find the global minimum of functions that are summations of small polynomials ("small" means involving a small number of variables). Some spa...
Jiawang Nie, James Demmel
EMSOFT
2005
Springer
13 years 10 months ago
High performance annotation-aware JVM for Java cards
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...
Ana Azevedo, Arun Kejariwal, Alexander V. Veidenba...
ENTCS
2008
106views more  ENTCS 2008»
13 years 5 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
PIMRC
2008
IEEE
13 years 11 months ago
Blind channel estimation based on Second Order Statistics for IFDMA
—In this paper, the Interleaved Frequency Division Multiple Access (IFDMA) scheme is considered as a special case of Discrete Fourier Transform (DFT)-precoded Orthogonal Frequenc...
Anja Sohl, Anja Klein