3573 search results - page 498 / 715 » Reasoning about Codata |
153
click to vote
CSMR
1998
IEEE
15 years 9 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
184
click to vote
ICS
1999
Tsinghua U.
15 years 9 months ago
1999
Tsinghua U.
On modern computers, the performance of programs is often limited by memory latency rather than by processor cycle time. To reduce the impact of memory latency, the restructuring ...
132
click to vote
HIPS
1998
IEEE
15 years 9 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
134
click to vote
ICCL
1998
IEEE
15 years 9 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
146
click to vote
KDD
1999
ACM
15 years 9 months ago
1999
ACM
In this paper a concern about the accuracy (as a function of parallelism) of a certain class of distributed learning algorithms is raised, and one proposed improvement is illustrat...