1342 search results - page 184 / 269 » MEMS Design And Verification |
165
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a new Green function-based approach for substrate parasitic extraction in substrates with inhomogeneous layers. This new formulation allows analysis of noise c...
155
click to vote
ASAP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents the enhancement of an ASIP’s floating point performance by coupling of a co-processor and adding of special instructions. Processor hardware modifications an...
167
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
189
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
181
click to vote
FMOODS
2006
15 years 7 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...