Sciweavers

938 search results - page 16 / 188
» Mathematical Modelling the Ethnic System
Sort
View
104
Voted
ASMTA
2009
Springer
110views Mathematics» more  ASMTA 2009»
15 years 7 months ago
Equilibrium in Size-Based Scheduling Systems
Sebastien Soudan, Dinil Mon Divakaran, Eitan Altma...
SIGIR
2012
ACM
13 years 2 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...
104
Voted
CISIS
2008
IEEE
15 years 6 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 1 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...
94
Voted
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 5 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. ...