Spelling suggestions: "subject:"eomputer multitasking."" "subject:"aomputer multitasking.""
1 |
XTHREAD : a flexible concurrency analysis frameworkRessia, Jorge Luis. January 2006 (has links)
Many different methodologies have been developed for analyzing multithreaded programs. These analyses present a wide variety of approaches and tend to be rather complicated because they work on applications formed by several threads executed in a nondeterministic order. / To address these issues this thesis introduces XThread, a flexible and modular framework for developing different concurrency analyses over multithreaded applications. The main objective of XTHREAD is to reduce the complexity of developing concurrency analyses by providing high level abstractions that close the breach between the language spoken by the researcher and the language the framework provides. Moreover, this framework provides different tools that are often required for solving issues common to many concurrency analyses. XTHREAD's modular organization also delivers a flexible environment for developing and testing different analysis implementations. / In order to demonstrate the usefulness of the framework a client analysis representing known but non-trivial multithreaded analysis is developed which is composed of several other concurrency analysis. A substantial number of benchmarks are used in order to test the implementations, showing that complex programs are accepted and correctly handled by the abstractions provided by the framework. Using the XTHREAD framework we demonstrate implementations that have both comparable accuracy and much better generality than is typically found in existing, research-level implementations of concurrency analyses.
|
2 |
XTHREAD : a flexible concurrency analysis frameworkRessia, Jorge Luis. January 2006 (has links)
No description available.
|
3 |
Optimization strategies for data warehouse maintenance in distributed environmentsLiu, Bin. January 2002 (has links)
Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: schema change; batch; concurrent; data warehouse maintenance; parallel. Includes bibliographical references (p. 72-74).
|
4 |
Efficient memory management for message-passing concurrency.Wilhelmsson, Jesper, January 2005 (has links)
Lic.-avh. Uppsala : Uppsala universitet, 2005. / Härtill 3 uppsatser.
|
5 |
Reducing execution overhead in multitasking system architecturesKilleen, Timothy F. January 1994 (has links)
Thesis (M.S.)--Ohio University, August, 1994. / Title from PDF t.p.
|
6 |
Verification tools for communication protocol designChoy, Wai Hing 01 January 2000 (has links)
No description available.
|
7 |
Improving processor utilization in multiple context processor architecturesKilleen, Timothy F. January 1997 (has links)
Thesis (Ph. D.)--Ohio University, August, 1997. / Title from PDF t.p.
|
8 |
A counterexample guided abstraction refinement framework for verifying concurrent C programs /Chaki, Sagar. January 1900 (has links)
Thesis (Ph. D.)--Carnegie Mellon University, 2005. / "May 24, 2005." Includes bibliographical references.
|
9 |
Testing concurrent Java components /Long, Bradley. January 2005 (has links) (PDF)
Thesis (Ph.D.) - University of Queensland, 2005. / Includes bibliography.
|
10 |
The relationship between local behavior and global characteristics in multi-agent systemsHu, Bingcheng 01 January 2006 (has links)
No description available.
|
Page generated in 0.1001 seconds