1087 search results - page 45 / 218 » Achieving Distributed Control through Model Checking |
ASAP
2003
IEEE
14 years 1 months ago
2003
IEEE
The register file is a power-hungry device in modern architectures. Current research on compiler technology and computer architectures encourages the implementation of larger dev...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
HLK
2003
IEEE
14 years 1 months ago
2003
IEEE
In some applications objects are known to have nonsmooth or “jagged” edges, which are not well approximated by smooth curves. We use subdivision curves as a simple but flexib...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a concurrent error detection technique targeted towards control logic in a processor with emphasis on low area overhead. Rather than detect all modeled transie...
SAC
2006
ACM
14 years 1 months 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...