Sciweavers

9227 search results - page 1783 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
ISPASS
2009
IEEE
15 years 4 months ago
Machine learning based online performance prediction for runtime parallelization and task scheduling
—With the emerging many-core paradigm, parallel programming must extend beyond its traditional realm of scientific applications. Converting existing sequential applications as w...
Jiangtian Li, Xiaosong Ma, Karan Singh, Martin Sch...
HASKELL
2009
ACM
15 years 4 months ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...
INTERACTION
2009
ACM
15 years 4 months ago
Temporal-spatial association analysis of ocean salinity and temperature variations
Ocean circulation plays an important role in global climate change. In an effort to monitor ocean circulation an infrastructure of more than 3,000 buoys have been deployed in the ...
Yo-Ping Huang, Jung-Shian Jau, Frode Eika Sandnes
ESCIENCE
2007
IEEE
15 years 4 months ago
Distributed and Generic Maximum Likelihood Evaluation
This paper presents GMLE 1 , a generic and distributed framework for maximum likelihood evaluation. GMLE is currently being applied to astroinformatics for determining the shape o...
Travis J. Desell, Nathan Cole, Malik Magdon-Ismail...
SIGMETRICS
2005
ACM
120views Hardware» more  SIGMETRICS 2005»
15 years 3 months ago
Managing server energy and operational costs in hosting centers
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
Yiyu Chen, Amitayu Das, Wubi Qin, Anand Sivasubram...
« Prev « First page 1783 / 1846 Last » Next »