1833 search results - page 294 / 367 » Mechanized Verification with Sharing |
160
click to vote
ISHPC
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes the implementation and evaluation of the OpenMP compiler designed for the Hitachi SR8000 Super Technical Server. The compiler performs parallelization for the ...
141
click to vote
ITS
2000
Springer
15 years 8 months ago
2000
Springer
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
151
click to vote
QOFIS
2000
Springer
15 years 8 months ago
2000
Springer
Many distributed multimedia applications have the ability to adapt to uctuations in the network conditions. By adjusting temporal and spatial quality to available bandwidth, or man...
151
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
137
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
Shared nothing multiprocessor archit.ecture is known t.obe more scalable to support very large databases. Compared to other join strategies, a hash-ba9ed join algorithm is particu...