Sciweavers

23589 search results - page 89 / 4718
» Uncheatable Distributed Computations
Sort
View
131
Voted
FCS
2006
15 years 4 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
131
Voted
ESIAT
2009
IEEE
15 years 10 days 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
117
Voted
TOPLAS
2010
101views more  TOPLAS 2010»
15 years 28 days 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...
114
Voted
FAC
2002
78views more  FAC 2002»
15 years 2 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