Sciweavers

178 search results - page 15 / 36
» An Application of Program Derivation Techniques to 18th-Cent...
Sort
View
SIAMJO
2008
84views more  SIAMJO 2008»
13 years 8 months ago
Regularity Conditions via Quasi-Relative Interior in Convex Programming
We give some new regularity conditions for Fenchel duality in separated locally convex vector spaces, written in terms of the notion of quasi interior and quasi-relative interior, ...
Radu Ioan Bot, Ernö Robert Csetnek, Gert Wank...
LCTRTS
2005
Springer
14 years 2 months ago
Probabilistic source-level optimisation of embedded programs
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
Björn Franke, Michael F. P. O'Boyle, John Tho...
CDC
2008
IEEE
110views Control Systems» more  CDC 2008»
13 years 10 months ago
Topological identification in networks of dynamical systems
The paper deals with the problem of reconstructing the tree-like topological structure of a network of linear dynamical systems. A distance function is defined in order to evaluat...
Donatello Materassi, Giacomo Innocenti
MMAS
2010
Springer
13 years 3 months ago
Gyrokinetic Vlasov Equation in Three Dimensional Setting. Second Order Approximation
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
Mihai Bostan
EDOC
2007
IEEE
14 years 16 days ago
Automated Model-Based Configuration of Enterprise Java Applications
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
Jules White, Douglas C. Schmidt, Krzysztof Czarnec...