Sciweavers

8780 search results - page 1483 / 1756
» On the Feasibility of Consistent Computations
Sort
View
IANDC
2008
84views more  IANDC 2008»
15 years 6 months ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy
COR
2006
113views more  COR 2006»
15 years 6 months ago
Capacitated facility location problem with general setup cost
This paper presents an extension of the capacitated facility location problem (CFLP), in which the general setup cost functions and multiple facilities in one site are considered....
Ling-Yun Wu, Xiang-Sun Zhang, Ju-Liang Zhang
CPHYSICS
2006
132views more  CPHYSICS 2006»
15 years 6 months ago
A 3D model for ion beam formation and transport simulation
In this paper, we present a three-dimensional model for self consistently modeling ion beam formation from plasma ion sources and transporting in low energy beam transport systems...
J. Qiang, D. Todd, D. Leitner
DAM
2006
83views more  DAM 2006»
15 years 6 months ago
Scheduling workover rigs for onshore oil production
Many oil wells in Brazilian onshore fields rely on artificial lift methods. Maintenance services such as cleaning, reinstatement, stimulation and others are essential to these wel...
Dario J. Aloise, Daniel Aloise, Caroline T. M. Roc...
DATAMINE
2006
139views more  DATAMINE 2006»
15 years 6 months ago
VizRank: Data Visualization Guided by Machine Learning
Data visualization plays a crucial role in identifying interesting patterns in exploratory data analysis. Its use is, however, made difficult by the large number of possible data p...
Gregor Leban, Blaz Zupan, Gaj Vidmar, Ivan Bratko
« Prev « First page 1483 / 1756 Last » Next »