Sciweavers

39362 search results - page 140 / 7873
» Global Computing Systems
Sort
View
WOA
2010
13 years 8 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
AAAI
2011
12 years 10 months ago
Global Seismic Monitoring: A Bayesian Approach
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
Nimar S. Arora, Stuart Russell, Paul Kidwell, Erik...
SC
2000
ACM
14 years 2 months ago
Scalable Fault-Tolerant Distributed Shared Memory
This paper shows how a state-of-the-art software distributed shared-memory (DSM) protocol can be efficiently extended to tolerate single-node failures. In particular, we extend a ...
Florin Sultan, Thu D. Nguyen, Liviu Iftode
ANOR
2008
53views more  ANOR 2008»
13 years 10 months ago
A globally convergent inexact Newton method with a new choice for the forcing term
In inexact Newton methods for solving nonlinear systems of equations, an approximation to the step sk of the Newton's system J(xk)s = -F(xk) is found. This means that sk must...
Márcia A. Gomes-Ruggiero, Véra Lucia...
MONET
2006
107views more  MONET 2006»
13 years 10 months ago
Utilization and fairness in spectrum assignment for opportunistic spectrum access
The Open Spectrum approach to spectrum access can achieve near-optimal utilization by allowing devices to sense and utilize available spectrum opportunistically. However, a naive d...
Chunyi Peng, Haitao Zheng, Ben Y. Zhao