2784 search results - page 236 / 557 » Light analysis of complex systems |
184
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
134
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...
128
click to vote
CMSB
2008
Springer
15 years 7 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
146
click to vote
ICONIP
2007
15 years 6 months ago
2007
The understanding of nonstationarity, from both a dynamical and a statistical point of view, has turned from a constraint on application of a specific type of analysis (e.g. spectr...
148
click to vote
SEC
2008
15 years 6 months ago
2008
The constant increase of malware threats clearly shows that the present countermeasures are not sufficient especially because most actions are put in place only when infections hav...