Sciweavers

8099 search results - page 1466 / 1620
» Higher-Order Task Models
Sort
View
176
Voted
IPPS
2010
IEEE
15 years 1 months ago
Robust control-theoretic thermal balancing for server clusters
Thermal management is critical for clusters because of the increasing power consumption of modern processors, compact server architectures and growing server density in data center...
Yong Fu, Chenyang Lu, Hongan Wang
121
Voted
IPPS
2010
IEEE
15 years 1 months ago
Oblivious algorithms for multicores and network of processors
We address the design of algorithms for multicores that are oblivious to machine parameters. We propose HM, a multicore model consisting of a parallel shared-memory machine with hi...
Rezaul Alam Chowdhury, Francesco Silvestri, Brando...
142
Voted
MICCAI
2010
Springer
15 years 1 months ago
Symmetric Positive-Definite Cartesian Tensor Orientation Distribution Functions (CT-ODF)
Abstract. A novel method for estimating a field of orientation distribution functions (ODF) from a given set of DW-MR images is presented. We model the ODF by Cartesian tensor basi...
Yonas T. Weldeselassie, Angelos Barmpoutis, M. Ste...
176
Voted
SASO
2010
IEEE
15 years 1 months ago
Extracting Overlay Invariants of Distributed Systems for Autonomic System Management
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
Hanhuai Shan, Guofei Jiang, Kenji Yoshihira
144
Voted
SEKE
2010
Springer
15 years 1 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
« Prev « First page 1466 / 1620 Last » Next »