Sciweavers

5851 search results - page 184 / 1171
» Coordination as a Direct Process
Sort
View
TCS
2010
15 years 1 months ago
A fluid analysis framework for a Markovian process algebra
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
Richard A. Hayden, Jeremy T. Bradley
CISS
2011
IEEE
14 years 10 months ago
On linear processing for dual-hop multi-channel relaying
—In this paper, we consider the amplified-and-forward relaying in a multichannel system with linear processing capability at the relay. We propose an analytical approach to stud...
Min Dong, Mahdi Hajiaghayi, Ben Liang
DSN
2002
IEEE
15 years 11 months ago
Process Modelling to Support Dependability Arguments
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
Robin E. Bloomfield, Sofia Guerra
RSS
2007
159views Robotics» more  RSS 2007»
15 years 7 months ago
Gaussian Beam Processes: A Nonparametric Bayesian Measurement Model for Range Finders
— In probabilistic mobile robotics, the development of measurement models plays a crucial role as it directly influences the efficiency and the robustness of the robot’s perf...
Christian Plagemann, Kristian Kersting, Patrick Pf...
MICRO
2002
IEEE
131views Hardware» more  MICRO 2002»
15 years 6 months ago
Protocol Wrappers for Layered Network Packet Processing in Reconfigurable Hardware
abstracting the operation of lower-level packet processing functions. The library synthesizes into field-programmable gate array (FPGA) logic and is utilized in a network platform ...
Florian Braun, John W. Lockwood, Marcel Waldvogel