262 search results - page 13 / 53 » State Space Reduction Techniques for Component Interfaces |
105
click to vote
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
—In this paper, we present an approach to nonlinear model reduction based on representing a nonlinear system with a piecewise-linear system and then reducing each of the pieces w...
NIME
2004
Springer
15 years 5 months ago
2004
Springer
The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques...
189
click to vote
POPL
2005
ACM
16 years 2 days ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
55
Voted
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as program...
100
click to vote
EICS
2009
ACM
15 years 4 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...