606 search results - page 58 / 122 » Complexity Results for Checking Distributed Implementability |
122
click to vote
CCGRID
2001
IEEE
15 years 5 months ago
2001
IEEE
Resource management is an important infrastructure in the grid computing environment. Scalability and adaptability are two key challenges in the implementation of such complex sof...
114
Voted
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
119
Voted
DSL
1997
15 years 3 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
148
Voted
SASO
2007
IEEE
15 years 8 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...
134
Voted
CLUSTER
2002
IEEE
15 years 1 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...