2129 search results - page 26 / 426 » Cutting-Edge Timing Analysis Techniques |
ISNN
2005
Springer
15 years 3 months ago
2005
Springer
This paper considers the robust stability of neural networks with multiple delays. Based on Lyapunov stability theory and linear matrix inequality technique, some new delay indepe...
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 4 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
63
Voted
ASPDAC
2006
ACM
15 years 1 months ago
2006
ACM
- In this paper, we study the relationship between C4 package resonance effects and logical switching timing correlations, which has not been thoroughly investigated in the past. W...
104
Voted
WSC
2004
14 years 11 months ago
2004
Farm is a distributed simulation environment for modeling the performance of large-scale multi-agent systems. It uses a component-based architecture to distribute the computationa...
100
click to vote
ADBIS
2006
Springer
15 years 3 months ago
2006
Springer
The anomaly detection problem has important applications in the field of fraud detection, network robustness analysis and intrusion detection. This paper is concerned with the prob...