381 search results - page 36 / 77 » Domain Analysis for Transformational Reuse |
CC
2009
Springer
14 years 7 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
ICCAD
1993
IEEE
15 years 1 months ago
1993
IEEE
An analytical-knowledge-based statistical method is developed to derive macromodels for the highly nonlinear A.C. response functions of CMOS Op-amp circuits. Simple circuit analys...
CVIU
2007
14 years 9 months ago
2007
Skin detection is an important indicator of human presence and actions in many domains, including interaction, interfaces and security. It is commonly performed in three steps: tr...
BTW
2007
Springer
15 years 1 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...