821 search results - page 52 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
ISQED
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we propose a generalized block structure-preserving reduced order interconnect macromodeling method (BSPRIM). Our approach extends structure-preserving model order ...
SMI
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we present a new method for alignment of 3D models. This approach is based on symmetry properties, and uses the fact that the principal components analysis (PCA) hav...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
ECWEB
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...