1259 search results - page 103 / 252 » Efficient Wire Formats for High Performance Computing |
154
click to vote
ICAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Virtualization and consolidation are two complementary techniques widely adopted in a global strategy to reduce system management complexity. In this paper we show how two simple ...
173
click to vote
PRDC
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper reevaluates the multicast protocols for MANETs in terms of energy efficiency and proposes a new robust multicast protocol, called Two-Tree Multicast (TTM). Multicast pr...
126
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Increasing demand for power-efficient, high-performance computing requires tuning applications and/or the underlying hardware to improve the mapping between workload heterogeneity...
142
click to vote
AMAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
135
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...