9316 search results - page 189 / 1864 » Analysis of traceback techniques |
109
Voted
IASTEDCCS
2004
15 years 5 months ago
2004
Cyclic averaging techniques are applied to the CLL resonant power converter to provide steady-state converter characteristics for rapid stress analysis. This is shown to facilitat...
133
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper presents novel analysis results for input-to-state stability (ISS) that utilise dynamic programming techniques to characterise minimal ISS gains and transient bounds. Th...
136
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
167
click to vote
ICTAI
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
160
click to vote
PTS
2008
15 years 5 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...