This paper presents a novel technique to evaluate the noncontrollability measures of state registers for partial scan design. Our model uses implicit techniques for finite state machine (FSM) traversal to identify noncontrollable state registers. By implicitly enumerating the states of a machine, we accurately evaluate the noncontrollability of flip–flops by determining exactly what values can ...

Consider a system of asynchronous processes that communicate among themselves by only executing read and write operations on a set of shared variables (also known as shared registers). The system has no global clock or other synchronization primitives. Every shared variable is associated with a process (called owner) which writes it and the other processes may read it. An execution of a write (...

Virtualization is a fundamental part of cloud computing, especially in delivering Infrastructure as a Service (IaaS). Exploring different techniques and architectures of the virtualization helps us understand the basic knowledge of virtualization and the server consolidation in the cloud with x86 architecture. This paper describes virtualization technologies, architectures and optimizations reg...

1 Consensus from read/write registers In this section we prove that wait-free consensus for 2 processes or more cannot be implemented from (multi-reader/multi-writer) registers. We actually prove that even the more restricted binary consensus object cannot be implemented in a wait-free manner from registers. In all the discussion that follows we assume that 2 or more processes share the consens...

Using a function algebra characterization of exponential time due to Monien 5], in the style of Bellantoni-Cook 2], we characterize exponential time functions of linear growth via a safe course-of-values recursion scheme.

This article is a critical review of some of the methods that have been used for the sampling, analysis, and monitoring of vapor-phase toluene diisocyanate (TDI). Only some of the methods that have received relatively widespread application have been addressed in this article. This review includes a "tutorial style" discussion of basic definitions and basic principles and procedures of quality ...