817 search results - page 90 / 164 » A Declarative Framework for Analysis and Optimization |
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
ICPP
1998
IEEE
14 years 2 days ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
COMPUTING
2004
13 years 7 months ago
2004
In this paper, we present a robust distributive smoother in a multigrid method for the system of poroelasticity equations. Within the distributive framework, we deal with a decoup...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract-- Optimal communication/control analysis and design of dynamical controlled systems, when there are finite capacity communication constraints often involve information and...
JMLR
2012
11 years 10 months ago
2012
Variable selection is an important and practical problem that arises in analysis of many high-dimensional datasets. Convex optimization procedures that arise from relaxing the NP-...