4755 search results - page 731 / 951 » An Implementation Model for Collaborative Applications |
168
click to vote
B
2007
Springer
16 years 22 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
175
click to vote
GEOS
2007
Springer
16 years 22 days ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
153
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
223
click to vote
GLOBECOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— A collection of Grid computing resources interconnected by an application-configurable network of lightpaths is called a LambdaGrid. It provides data-intensive applications wit...
173
click to vote
IWNAS
2006
IEEE
16 years 17 days ago
2006
IEEE
Data availability evaluation is the crucial problem to build large-scale, high available peer-to-peer storage systems by governing many unreliable hosts. However, many recent stud...