3984 search results - page 346 / 797 » A Model-Driven Transformation Method |
194
click to vote
EOR
2006
15 years 6 months ago
2006
We develop WASSP, a wavelet-based spectral method for steady-state simulation analysis. First WASSP determines a batch size and a warm-up period beyond which the computed batch me...
167
click to vote
JLP
2008
15 years 6 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
201
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
159
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
Reduction is a common component of many applications, but can often be the limiting factor for parallelization. Previous reduction work has focused on detecting reduction idioms a...
198
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper described a novel method for detecting and identifying faults that occur in the actuator of control systems with input and output signals related to the component itself....