56 search results - page 8 / 12 » Formal Verification of a Grid Resource Allocation Protocol |
HPDC
2003
IEEE
15 years 2 months ago
2003
IEEE
Despite many competitors, Ethernet became the dominant protocol for local area networking due to its simplicity, robustness, and efficiency in wide variety of conditions and tech...
FGCS
2006
14 years 9 months ago
2006
At iGrid 2005 we demonstrated the transparent operation of a biology experiment on a test-bed of globally distributed visualization, storage, computational, and network resources....
FMICS
2010
Springer
14 years 7 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we study QoS routing in wireless mesh networks with cognitive radios, which involves route selection, channel allocation and scheduling. It turns out to be a har...
73
Voted
ACSC
2003
IEEE
15 years 2 months ago
2003
IEEE
Grid computing is becoming an important framework for enabling applications to utilize widely distributed collections of computational and data resources, however current grid sof...