The NCSU Concurrency Workbench is a tool for verifying nite-state systems. A key feature is its exibility; its modular design eases the task of adding new analyses and changing the language users employ for describing systems. This note gives an overview of the sys-tem's features, including its capacity for generating diagnostic information for incorrect systems, and discusses some of its appli...

the large number of applications manages time varying data. existing databasetechnology seldom supports temporal database, tdb, according to time aspects.these intrinsic temporal database applications rely on such database which storesand retrieves time referenced data. moreover, applications need to be managed oncommon data items access simultaneously and to be precluded from inconsistencyas s...

Preconditions and postconditions are widely used in execution models for software processes. The conditions that control software processes, however, can be complex and di cult to evaluate in the context of ongoing development activities. If evaluations and tasks are conducted in parallel, evaluations may be blocked for lack of access to data that are held by tasks. Conversely, task initiations...

Scheduling a task graph onto several processors is a trade-off between maximising concurrency and minimising interprocessor communication. A technique to reduce or avoid interprocessor communication is task duplication. Certain tasks are duplicated on several processors to produce the data locally and avoid the communication among processors. Most algorithms using task duplication are for the c...

this article reports on the findings of a study that investigated the impact of manipulating task performance conditions on listening task performance by learners of english as a foreign language (efl). the study was designed to explore the effects of changing complexity dimensions on listening task performance and to achieve two aims: to see how listening comprehension task performance was aff...

Task scheduling typically employs a worker thread per hardware context to process a dynamically changing set of tasks. It is an appealing solution to exploit modern multi-core processors, as it eases parallelization and avoids unnecessary context switches and their associated costs. Näıvely bundling DBMS operations into tasks, however, can result in sub-optimal usage of CPU resources: highly co...