2144 search results - page 97 / 429 » Exact Flow Analysis |
147
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
139
click to vote
FORTE
2009
15 years 1 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
140
click to vote
MFCS
1998
Springer
15 years 8 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
145
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
This paper presents a novel approach to reducing the complexity of the transient linear circuit analysis for a hybrid structured clock network. Topology reduction is first used to...
146
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— A signal space diversity (SSD) scheme is one of techniques to achieve diversity gain in fading channels. This method consists of two key operations: constellation rotation and ...