Sciweavers

678 search results - page 26 / 136
» On the design of distributed protocols from differential equ...
Sort
View
QUESTA
2002
116views more  QUESTA 2002»
13 years 7 months ago
Analysis of an Infinite-Server Queue with Batch Markovian Arrival Streams
This paper considers an infinite-server queue with multiple batch Markovian arrival streams. The service time distribution of customers may be different for different arrival strea...
Hiroyuki Masuyama, Tetsuya Takine
LICS
2003
IEEE
14 years 29 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
DAC
2000
ACM
14 years 8 months ago
Large-scale capacitance calculation
We describe a new method for accurate large-scale capacitance calculations. The algorithm uses an integral equation formulation, but with a new representation for charge distribut...
Sharad Kapur, David E. Long
ICASSP
2009
IEEE
14 years 2 months ago
High-rate distributed multi-source cooperation using complex field coding
A multisource cooperative protocol is developed capable of achieving diversity order up to the number of cooperating users at a high throughput. In this design each source jointly...
Alfonso Cano Pleite, Jesús Gómez-Vil...
COLCOM
2007
IEEE
14 years 2 months ago
Cooperative security in distributed sensor networks
— Distributed sensor network protocols, such as routing, time synchronization or data aggregation protocols make use of collaborative techniques to minimize the consumption of sc...
Oscar García Morchon, Heribert Baldus, Tobi...