3638 search results - page 399 / 728 » HEP@Home - A distributed computing system based on BOINC |
186
click to vote
ACSD
2003
IEEE
16 years 9 hour ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
184
click to vote
MIDDLEWARE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The emergence of handheld devices associated with wireless technologies has introduced new challenges for middleware. First, mobility is becoming a key characteristic; mo...
222
click to vote
TVCG
2010
15 years 5 months ago
2010
—Illustrative techniques are generally applied to produce stylized renderings. Various illustrative styles have been applied to volumetric data sets, producing clearer images and...
194
click to vote
ICDCSW
2005
IEEE
16 years 9 days ago
2005
IEEE
Error resilient encoding in video communication is becoming increasingly important due to data transmission over unreliable channels. In this paper, we propose a new power-aware e...
167
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...