Sciweavers

3984 search results - page 266 / 797
» A Model-Driven Transformation Method
Sort
View
125
Voted
ICSQP
1994
15 years 6 months ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
Si Pan, R. Geoff Dromey
ET
2010
83views more  ET 2010»
15 years 3 months ago
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
Sven Verdoolaege, Martin Palkovic, Maurice Bruynoo...
IEEECIT
2010
IEEE
15 years 3 months ago
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
158
Voted
ICASSP
2011
IEEE
14 years 8 months ago
A new approach for the estimation of the porosity in NMR
In this paper we describe a new approach for the estimation of the porosity and its uncertainty from Nuclear Magnetic Resonance relaxation measurements in porous media. The new ap...
Fred K. Gruber, Lalitha Venkataramanan, Denise E. ...
161
Voted
PR
2006
164views more  PR 2006»
15 years 4 months ago
Locally linear metric adaptation with application to semi-supervised clustering and image retrieval
Many computer vision and pattern recognition algorithms are very sensitive to the choice of an appropriate distance metric. Some recent research sought to address a variant of the...
Hong Chang, Dit-Yan Yeung