1855 search results - page 72 / 371 » A coding theorem for distributed computation |
149
click to vote
ICS
1997
Tsinghua U.
15 years 10 months ago
1997
Tsinghua U.
Standard restructuring compiler tools are based on polyhedral algebra and cannot be used to analyze or restructure sparse matrix codes. We have recently shown that tools based on ...
170
click to vote
PDP
2003
IEEE
15 years 11 months ago
2003
IEEE
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
197
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
155
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
161
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...