1352 search results - page 119 / 271 » Fault-Tolerant Quantum Computation |
SPAA
2003
ACM
15 years 3 months ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
CLUSTER
2000
IEEE
15 years 2 months ago
2000
IEEE
Current processor allocation techniques for multicomputers are based on centralized front-end based algorithms. As a result, the applied strategies are usually restricted to stati...
DSN
2000
IEEE
15 years 2 months ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
HPDC
2000
IEEE
15 years 2 months ago
2000
IEEE
Current processor allocation techniques for highly parallel systems are based on centralized front-end based algorithms. As a result, the applied strategies are restricted to stat...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...