5788 search results - page 828 / 1158 » High Performance Computing for the Masses |
177
click to vote
VLDB
1989
ACM
15 years 11 months ago
1989
ACM
paper is concerned with ways of specifying situations and evaluating them efficiently. The techniques described in this paper were developed as part of the HiPAC (High Performance...
190
click to vote
ATVA
2007
Springer
15 years 11 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 ...
198
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
Large-scale hosting infrastructures require automatic system anomaly management to achieve continuous system operation. In this paper, we present a novel adaptive runtime anomaly ...
196
click to vote
ICDCSW
2007
IEEE
15 years 11 months ago
2007
IEEE
VANETs (Vehicle Ad hoc NETworks) are highly mobile wireless ad hoc networks targeted to support vehicular safety and other commercial applications. Conventional routing protocols ...
191
click to vote
AINA
2004
IEEE
15 years 11 months ago
2004
IEEE
Streaming live video over peers in the Internet is gaining popularity since it has the advantage of reducing the load on the server and enable the server to perform other speciali...