5210 search results - page 263 / 1042 » Computing Capabilities of Mediators |
195
Voted
NCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
188
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
Geo-temporal criteria are important for filtering, grouping and prioritizing information resources. This presents techniques for extracting semantic geo-temporal information from ...
164
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper evaluates remote memory access (RMA) communication capabilities and performance on the Cray XT3. We discuss properties of the network hardware and Portals networking so...
177
click to vote
LCN
2007
IEEE
16 years 28 days ago
2007
IEEE
—The IEEE 802.16 standard (commonly known as WiMAX), which has emerged as a broadband wireless access technology, is capable of delivering very high data rates. The grant/request...
179
click to vote
PG
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents a practical, high-quality, hardwareaccelerated volume rendering approach including scattering, environment mapping, and ambient occlusion. We examine the appli...