5898 search results - page 489 / 1180 » Parallel Computing Environments and Methods |
146
click to vote
AICOM
2010
15 years 5 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
148
click to vote
VLDB
1993
ACM
15 years 9 months ago
1993
ACM
In this paper we propose a new declustering method which is particularly suitable for image and cartographic databases used for visualization. Our declustering method is based on ...
139
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
With the proliferation of Grid computing, potentially vast computational resources are available for solving complex problems in science and engineering. However, writing, deployi...
148
click to vote
ISORC
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality is on...
130
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Failure is an ordinary characteristic of large-scale distributed environments. Resubmission is a general strategy employed to cope with failures in grids. Here, we analyt...