6201 search results - page 1141 / 1241 » Implementation of Axiomatic Language |
174
click to vote
ASPLOS
1996
ACM
15 years 9 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
185
click to vote
ASPLOS
1994
ACM
15 years 9 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
147
Voted
ASPLOS
1994
ACM
15 years 9 months ago
1994
ACM
Synchronization algorithms that are efficient across a wide range of applications and operating conditions are hard to design because their performance depends on unpredictable ru...
139
click to vote
ASPLOS
1992
ACM
15 years 9 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
145
click to vote
JELIA
1990
Springer
15 years 9 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...