Sciweavers

213 search results - page 9 / 43
» Stochastic modeling of airlift operations
Sort
View
CLUSTER
2006
IEEE
14 years 1 months ago
Stochastic Scheduling with Availability Constraints in Heterogeneous Clusters
High availability plays an important role in heterogeneous clusters, where processors operate at different speeds and are not continuously available for processing. Existing sched...
Tao Xie 0004, Xiao Qin
ICPP
2009
IEEE
13 years 5 months ago
Stochastic-Based Robust Dynamic Resource Allocation in a Heterogeneous Computing System
Abstract--This research investigates the problem of robust dynamic resource allocation for heterogeneous distributed computing systems operating under imposed constraints. Often, s...
Jay Smith, Edwin K. P. Chong, Anthony A. Maciejews...
CLEAR
2007
Springer
164views Biometrics» more  CLEAR 2007»
14 years 1 months ago
The AIT 2D Face Detection and Tracking System for CLEAR 2007
This paper describes the AIT system for 2D face tracking and the results obtained in the CLEAR 2007 evaluations. The system is based on the complementary operation of a set of face...
Andreas Stergiou, Ghassan Karame, Aristodemos Pnev...
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
14 years 1 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
14 years 1 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...