3342 search results - page 237 / 669 » Symbolic Robustness Analysis |
181
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
145
click to vote
ICA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper derives a new algorithm that performs independent component analysis (ICA) by optimizing the contrast function of the RADICAL algorithm. The core idea of the p...
188
click to vote
ENTCS
2006
15 years 6 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
172
click to vote
USS
2008
15 years 9 months ago
2008
Remote error analysis aims at timely detection and remedy of software vulnerabilities through analyzing runtime errors that occur on the client. This objective can only be achieve...
167
click to vote
CAS
2004
15 years 6 months ago
2004
? Network analysis, an area of mathematical sociology and anthropology crucial to the linking of theory and observation, developed dramatically in recent decades. These development...