Sciweavers

9997 search results - page 1686 / 2000
» The case for crowd computing
Sort
View
JDCTA
2010
164views more  JDCTA 2010»
15 years 2 months ago
Session-Based User Behavior Meta-Model of Web Applications for User-Level QoS Load Testing
With the rapid development of Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC), the Quality of Service (QoS) is more and more essential than before. There ...
Lu Lu, Xiuxia Quan
177
Voted
JSCIC
2010
101views more  JSCIC 2010»
15 years 2 months ago
Boundary-Conforming Discontinuous Galerkin Methods via Extensions from Subdomains
A new way of devising numerical methods is introduced whose distinctive feature is the computation of a finite element approximation only in a polyhedral subdomain D of the origina...
Bernardo Cockburn, Deepa Gupta, Fernando Reitich
MIA
2010
113views more  MIA 2010»
15 years 2 months ago
Musculoskeletal MRI segmentation using multi-resolution simplex meshes with medial representations
The automatic segmentation of the musculoskeletal system from medical images is a particularly challenging task, due to its morphological complexity, its large variability in the ...
Benjamin Gilles, Nadia Magnenat-Thalmann
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
15 years 2 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto
TC
2010
15 years 2 months ago
Scheduling Concurrent Bag-of-Tasks Applications on Heterogeneous Platforms
Abstract-- Scheduling problems are already difficult on traditional parallel machines, and they become extremely challenging on heterogeneous clusters. In this paper we deal with t...
Anne Benoit, Loris Marchal, Jean-Francois Pineau, ...
« Prev « First page 1686 / 2000 Last » Next »