1902 search results - page 7 / 381 » Differential Dynamic Logics |
ISLPED
1997
ACM
13 years 11 months ago
1997
ACM
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
MCS
2008
Springer
13 years 7 months ago
2008
Springer
Dynamical low-rank approximation is a differential-equation based approach to efficiently computing low-rank approximations to time-dependent large data matrices or to solutions o...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Many real-world problems are dynamic, requiring an optimization algorithm which is able to continuously track a changing optimum over time. In this paper, we present a stigmerg...
ISQED
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract — Nanoelectronic design faces unprecedented reliability challenges and must achieve noise immunity and delay insensitiveness in the presence of prevalent defects and sig...