Sciweavers

9166 search results - page 270 / 1834
» A framework for comparing models of computation
Sort
View
157
Voted
SOSP
2009
ACM
16 years 1 months ago
Quincy: fair scheduling for distributed computing clusters
This paper addresses the problem of scheduling concurrent jobs on clusters where application data is stored on the computing nodes. This setting, in which scheduling computations ...
Michael Isard, Vijayan Prabhakaran, Jon Currey, Ud...
ACSC
2008
IEEE
15 years 11 months ago
Relative simulation and model checking of real-time processes
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
Colin J. Fidge
ICEIS
2003
IEEE
15 years 9 months ago
Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language
Abstract: Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of ...
Petia Wohed, Erik Perjons, Marlon Dumas, Arthur H....
DAGM
2003
Springer
15 years 9 months ago
A Generative Model Based Approach to Motion Segmentation
We address the question of how to choose between different likelihood functions for motion estimation. To this end, we formulate motion estimation as a problem of Bayesian inferen...
Daniel Cremers, Alan L. Yuille
ICS
2003
Tsinghua U.
15 years 9 months ago
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
Xiangmin Jiao, Michael T. Campbell, Michael T. Hea...