Sciweavers

2167 search results - page 116 / 434
» Stochastic Process Algebras
Sort
View
EDO
2000
Springer
15 years 10 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
BTW
2007
Springer
142views Database» more  BTW 2007»
16 years 16 days ago
Algebraic Query Optimization for Distributed Top-k Queries
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
Thomas Neumann, Sebastian Michel
STACS
1997
Springer
15 years 10 months ago
Methods and Applications of (MAX, +) Linear Algebra
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
Stephane Gaubert, Max Plus
DBPL
2003
Springer
92views Database» more  DBPL 2003»
15 years 11 months ago
A Query Algebra for Fragmented XML Stream Data
The increased usage of mobile devices coupled with an unprecedented demand for information has pushed the scalability problem of pull-based data service to the focus. A broadcast ...
Sujoe Bose, Leonidas Fegaras, David Levine, Vamsi ...
TNN
2008
87views more  TNN 2008»
15 years 6 months ago
Stochastic Resonance in Continuous and Spiking Neuron Models With Levy Noise
Abstract--Levy noise can help neurons detect faint or subthreshold signals. Levy noise extends standard Brownian noise to many types of impulsive jump-noise processes found in real...
Ashok Patel, Bart Kosko