9842 search results - page 1681 / 1969 » Compositional timing analysis |
123
click to vote
SCL
2008
15 years 3 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
116
click to vote
PUC
2006
15 years 3 months ago
2006
Location appears to be one of the most important aspects of context in mobile communication. It is a complex piece of information involving several levels of detail. Location inter...
142
click to vote
IJISEC
2007
15 years 3 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
116
click to vote
AEI
2005
15 years 3 months ago
2005
Evolutionary algorithms (EAs) are stochastic search methods that mimic the natural biological evolution and/or the social behavior of species. Such algorithms have been developed ...
121
click to vote
ALGORITHMICA
2005
15 years 3 months ago
2005
Abstract. We consider random tries and random patricia trees constructed from n independent strings of symbols drawn from any distribution on any discrete space. We show that many ...