12052 search results - page 313 / 2411 » computing 2010 |
178
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Machine learning methods were successfully applied in recent years for detecting new and unseen computer viruses. The viruses were, however, detected in small virus loade...
188
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
211
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...
157
click to vote
ISQED
2010
IEEE
16 years 1 months ago
2010
IEEE
— Post-silicon debug comprises a significant and highly variable fraction of the total development time for large chip designs. To accelerate post-silicon debug, BackSpace [1, 2...
182
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
In this study, we describe a conversational agent designed to support collaborative learning interactions between pairs of students. We describe a study in which we independently m...