4520 search results - page 268 / 904 » Algebraic Techniques for Timed Systems |
193
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
186
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
Leakage energy consumption is an increasingly important issue as the technology continues to shrink. Since on-chip caches constitute a major portion of the processor's transi...
197
click to vote
TSMC
2008
15 years 7 months ago
2008
Since only a modest improvement in battery lifetime is expected in the next few years, energy conservation is raised as a key factor of the design of mobile devices. In view of th...
185
click to vote
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
— The literature of up-link SDMA systems is rich, but at the time of writing there is a paucity of information on the employment of SDMA techniques in the down-link. Hence, in th...
141
click to vote
ACSAC
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper, we present a new, light-weight approach for generating filters for blocking buffer overflow attacks on Microsoft Windows systems. It is designed to be deployabl...