Sciweavers

6329 search results - page 47 / 1266
» Detection of Stochastic Processes
Sort
View
QEST
2009
IEEE
14 years 4 months ago
Mean-Field Analysis for the Evaluation of Gossip Protocols
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn ...
TCS
2008
13 years 9 months ago
On process rate semantics
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...
Luca Cardelli
ENTCS
2010
154views more  ENTCS 2010»
13 years 7 months ago
Process Algebra with Hooks for Models of Pattern Formation
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
Andrea Degasperi, Muffy Calder
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
14 years 2 months ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston
ICCD
2006
IEEE
171views Hardware» more  ICCD 2006»
14 years 6 months ago
Stochastic Dynamic Thermal Management: A Markovian Decision-based Approach
This paper proposes a stochastic dynamic thermal management (DTM) technique in high-performance VLSI system with especial attention to the uncertainty in temperature observation. ...
Hwisung Jung, Massoud Pedram