106 search results - page 14 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
— The inductance and coupling effects in interconnects and non-linear receiver loads has resulted in complex input signals and output loads for gates in the modern deep submicron...
80
Voted
IOLTS
2009
IEEE
15 years 5 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
109
Voted
AGTIVE
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
137
click to vote
SCN
2011
Springer
14 years 5 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
68
Voted
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...