Sciweavers

2542 search results - page 19 / 509
» integration 2010
Sort
View
SIAMMA
2010
115views more  SIAMMA 2010»
14 years 5 months ago
Lower Semicontinuity in SBV for Integrals with Variable Growth
We prove a lower semicontinuity result for free discontinuity energies with a quasiconvex volume term having non standard growth and a surface term.
Virginia De Cicco, Chiara Leone, Anna Verde
SOFSEM
2010
Springer
15 years 5 months ago
Model-Driven Software Product Line Testing: An Integrated Approach
Andy Schürr, Sebastian Oster, Florian Markert
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
15 years 3 months ago
Tighter integration of BDDs and SMT for Predicate Abstraction
Alessandro Cimatti, Anders Franzén, Alberto...
WWIC
2010
Springer
130views Communications» more  WWIC 2010»
15 years 2 months ago
A Multi-hop Aware Weighted Scheduling Mechanism for HSDPA and IEEE 802.11 Integrated Network
Jinglong Zhou, Anthony Lo, Jiazhen Hao, Ignas G. N...