We present thread-modular model checking, a novel technique for verifying correctness properties of loosely-coupled multithreaded software systems. Thread-modular model checking verifies each thread separately using an automatically inferred environment assumption that abstracts the possible steps of other threads. Separate verification of each thread yields significant space and time savings. ...

The design of a kernel-level thread package for dynamic , hard real-time environments is presented. A highly integrated design is used to ensure predictability. A system description language and real-time programming language are used to specify key properties of threads and thread groups. For a thread, this includes whether or not the thread spawns other threads at run-time, the type of perfor...

We consider the problem of recovering from failures of distributable threads with assured timeliness in dynamic systems with overloads, and node and (permanent/transient) network failures. When a distributable thread encounters a failure that prevents its timely execution, the thread must be terminated. Thread termination involves detecting and aborting thread orphans, and delivering exceptions...

Language classrooms are occasionally anxiety-breeding situations. Foreign language classroom anxiety which negatively affects foreign language learning is typically associated with productive activities mainly speaking skill. To cope with the issue and overcome language learning difficulties, the present study was conducted to explore the impact of mobile-assisted language learning on enhancing...

Thread management is an essential functionality in OS kernels. However, verification of thread management remains a challenge, due to two conflicting requirements: on the one hand, a thread manager—operating below the thread abstraction layer–should hide its implementation details and be verified independently from the threads being managed; on the other hand, the thread management code in many...

Neuronal thread protein is a novel 21-kDa protein that accumulates in brains with Alzheimer's disease and exhibits developmentally associated changes in the level of expression. Recently, we discovered that primary human primitive neuroectodermal tumor (PNETs), malignant astrocytomas, and several human I'M I and glioblastoma cell lines also express thread protein immunoreactivity. However, in a...