1729 search results - page 240 / 346 » A Case-Based Parallel Programming System |
99
Voted
STOC
2010
ACM
15 years 11 months ago
2010
ACM
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a p...
128
Voted
SRDS
2008
IEEE
15 years 8 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
109
Voted
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
117
click to vote
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...
130
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...