Infinite-state reachability problems arising from unboundedthread program verification are of great practical importance, yet algorithmically hard. Despite the remarkable success of explicit-state exploration methods to solve such problems, there is a sense that SMT technology can be beneficial to speed up the decision making. This vision was pioneered in recent work by Esparza et al. on SMT-ba...

During the Mach In Kernel Servers work we explored two alternate thread models that could be used to support traps to in kernel servers In the migrating threads model we used the client s thread temporarily moves into the server s task for the duration of the call In the thread switching model an actual server thread is dispatched to handle client traps Based on our experience we nd that the mi...

MPI implementations that support the highest level of thread safety for user programs, MPI THREAD MULTIPLE, are becoming widely available. Users often expect that different threads can execute independently and that the MPI implementation can provide the necessary level of thread safety with only a small overhead. The MPI Standard, however, requires only that no MPI call in one thread block MPI...

Pullout failure is one of the primary failure modes of API round thread casing connections. Make-up torque and thread tolerances are the two most important factors that can affect the pullout strength. In this paper, the pull-out failure process and mechanism are studied using the finite element analysis (FEA) method. In addition, the effects of make-up torque and thread tolerances on the pullo...

Taking advantage of multi-thread technology provided by multi-core in single processor, this paper describes multi-thread implementation on fingerprint direct-access strategy using local-startopology-based discriminator features. Multi-thread was applied for data partitioning on hashing addlookup process, and for work partitioning on similarity score computation. Efficiency of the implementatio...

Data prefetching via helper threading has been extensively investigated on Simultaneous MultiThreading (SMT) or Virtual Multi-Threading (VMT) architectures. Although reportedly large cache latency can be hidden by helper threads at runtime, most techniques rely on hardware support to reduce context switch overhead between the main thread and helper thread as well as rely on static profile feedb...

The paper is related to the thread manufacturing process. This work clearly identified the different problems occurring during manufacturing. In the last process (winding), DMAIC tool is applied. The reason for choosing this work is to provide a better analysis of different processes in thread manufacturing. This textile firm has large departments where the thread produced from the waste clothe...

This paper presents a new concurrent multiplethreaded architectural model, called superthreading, f o r exploiting thread-level parallelism o n a processor. This architectural model adopts a thread pipelining execut ion model that allows threads with data dependences and control dependences to be executed in parallel. The basic idea of thread pipelining i s t o compute and forward recurrence da...

Speculative thread-level parallelism has been recently proposed as an alternative source of parallelism that can boost the performance for applications where independent threads are hard to find. Several schemes to exploit thread level parallelism have been proposed and significant performance gains have been reported. However, the sources of the performance gains are poorly understood as well ...