Sciweavers

227 search results - page 4 / 46
» Integrity Theory for Resource Space Model and Its Applicatio...
Sort
View
CORR
2004
Springer
180views Education» more  CORR 2004»
13 years 8 months ago
Alchemi: A .NET-based Grid Computing Framework and its Integration into Global Grids
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
Akshay Luther, Rajkumar Buyya, Rajiv Ranjan, Sriku...
GRID
2006
Springer
13 years 8 months ago
Campus Grids Meet Applications: Modeling, Metascheduling and Integration
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...
Yonghong Yan, Barbara M. Chapman
DAC
2007
ACM
14 years 9 months ago
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
Sander Stuijk, Twan Basten, Marc Geilen, Henk Corp...
KDD
2010
ACM
161views Data Mining» more  KDD 2010»
13 years 10 months ago
Mass estimation and its applications
This paper introduces mass estimation—a base modelling mechanism in data mining. It provides the theoretical basis of mass and an efficient method to estimate mass. We show that...
Kai Ming Ting, Guang-Tong Zhou, Fei Tony Liu, Jame...
ITP
2010
230views Mathematics» more  ITP 2010»
13 years 10 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar