Sciweavers

23589 search results - page 89 / 4718
» Uncheatable Distributed Computations
Sort
View
FCS
2006
14 years 11 months ago
Cryptographic and Computational Challenges in Grid Computing
A computational grid is a large-scale distributed computing environment capable of providing dependable, consistent, pervasive, and inexpensive access to high-end computational re...
Song Y. Yan, Glyn James, Gongyi Wu
ESIAT
2009
IEEE
14 years 7 months ago
Study on Architecture of Photogrammetric Parallel Processing System Based on Cluster Computing
Comparing with the rapidly increasing acquiring technology for remotely sensed data, the data processing technologies have been following behind, especially in computing speed and ...
Liu Hangye, Sui Xuelian, Zong Jingchun
TOPLAS
2010
101views more  TOPLAS 2010»
14 years 8 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
FAC
2002
78views more  FAC 2002»
14 years 9 months ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel