13603 search results - page 2628 / 2721 » On the Computational Complexity of Cut-Reduction |
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Simple resource specification, resource selection, and effective binding are critical capabilities for Grid middleware. We the Virtual Grid, an abstraction for dynamic grid applic...
105
click to vote
CLUSTER
2005
IEEE
15 years 3 months ago
2005
IEEE
Data intensive applications on clusters often require requests quickly be sent to the node managing the desired data. In many applications, one must look through a sorted tree str...
CW
2005
IEEE
15 years 3 months ago
2005
IEEE
XML information retrieval (XML-IR) systems aim to provide users with highly exhaustive and highly specific results. To interact with XML-IR systems, users must express both their ...
105
click to vote
ECCB
2005
IEEE
15 years 3 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...