Sciweavers

938 search results - page 16 / 188
» Mathematical Modelling the Ethnic System
Sort
View
ASMTA
2009
Springer
110views Mathematics» more  ASMTA 2009»
16 years 23 hour ago
Equilibrium in Size-Based Scheduling Systems
Sebastien Soudan, Dinil Mon Divakaran, Eitan Altma...
SIGIR
2012
ACM
13 years 7 months ago
An uncertainty-aware query selection model for evaluation of IR systems
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
Mehdi Hosseini, Ingemar J. Cox, Natasa Milic-Frayl...
CISIS
2008
IEEE
15 years 12 months ago
Hybrid Performance Modeling and Prediction of Large-Scale Computing Systems
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
Sabri Pllana, Siegfried Benkner, Fatos Xhafa, Leon...
ISCAPDCS
2004
15 years 6 months ago
A Mechanism for Sequential Consistency in a Distributed Objects System
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerom...
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 10 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...