1833 search results - page 139 / 367 » Mechanized Verification with Sharing |
153
click to vote
VR
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper focuses on the distributed architecture of the collaborative augmented reality system Studierstube. The system allows multiple users to experience a shared 3D workspace...
118
click to vote
HPCA
2008
IEEE
16 years 5 months ago
2008
IEEE
The interconnect mechanisms (shared bus or crossbar) used in current chip-multiprocessors (CMPs) are expected to become a bottleneck that prevents these architectures from scaling...
143
click to vote
LAWEB
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
149
click to vote
WETICE
2008
IEEE
15 years 11 months ago
2008
IEEE
Large scale systems such as the Grid need scalable and efficient resource allocation mechanisms to fulfil the requirements of its participants and applications while the whole s...
137
click to vote
OTM
2009
Springer
15 years 9 months ago
2009
Springer
Grids currently serve as platforms for numerous scientific as well as business applications that generate and access vast amounts of data. In this paper, we address the need for e...