Sciweavers

7661 search results - page 94 / 1533
» Languages and the Computing Profession
Sort
View
SKG
2006
IEEE
15 years 11 months ago
Infrastructure for Language Service Composition
Although English has become the standard language in various areas, most people do not use it in local activities. To increase the mutual understanding of different cultures with ...
Yohei Murakami, Toru Ishida, Takao Nakaguchi
237
Voted
HPDC
1993
IEEE
15 years 9 months ago
An Analysis of Distributed Computing Software and Hardware for Applications in Computational Physics
We have implemented a set of computational physics codes on a network of IBM RS/6000 workstations used as a distributed parallel computer. We compare the performance of the codes ...
Paul D. Coddington
CIE
2009
Springer
15 years 11 months ago
Computable Exchangeable Sequences Have Computable de Finetti Measures
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
Cameron E. Freer, Daniel M. Roy
153
Voted
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
15 years 11 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
208
Voted
POPL
2008
ACM
16 years 5 months ago
Much ado about two (pearl): a pearl on parallel prefix computation
This pearl develops a statement about parallel prefix computation in the spirit of Knuth's 0-1-Principle for oblivious sorting algorithms. It turns out that 0-1 is not quite ...
Janis Voigtländer