10996 search results - page 1825 / 2200 » Future Directions in Computing |
190
click to vote
LCPC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
193
click to vote
LOCA
2007
Springer
16 years 27 days ago
2007
Springer
Increasingly, cell phones are used to browse for information while location systems assist in gathering information that is most appropriate to the user’s current location. We se...
168
click to vote
MFCS
2007
Springer
16 years 27 days ago
2007
Springer
Consider a rooted directed acyclic graph G = (V, E) with root r, representing a collection V of web pages connected via a set E of hyperlinks. Each node v is associated with the pr...
178
click to vote
PET
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. As decentralized computing scenarios get ever more popular, unstructured topologies are natural candidates to consider running mix networks upon. We consider mix network ...
169
click to vote
PVM
2007
Springer
16 years 27 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...