13489 search results - page 393 / 2698 » Operating System |
201
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
168
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—As semiconductor manufacturing enters advanced nanometer design paradigm, aging and device wear-out related degradation is becoming a major concern. Negative Bias Temperature In...
166
click to vote
DEDS
1998
15 years 6 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
140
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
The ability to make in-situ performance measurements of MEMS operating at high speeds has been demonstrated using a new image analysis system. Significant improvements in performa...
183
click to vote
ATVA
2005
Springer
16 years 9 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...