2044 search results - page 147 / 409 » System theory for numerical analysis |
207
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
123
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
This paper suggests that the thermal state of a processor can be approximated using data flow analysis. The results of this analysis can be used to evaluate the efficacy of therma...
132
click to vote
SIGECOM
2005
ACM
15 years 10 months ago
2005
ACM
When distributing digital content over a broadcast channel it’s often necessary to revoke users whose access privileges have expired, thus preventing them from recovering the co...
149
click to vote
ISSAC
1997
Springer
15 years 8 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
117
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
—In network-on-chip, computing worst-case delay bound for packet delivery is crucial for designing predictable systems but yet an intractable problem due to complicated resource ...