Sciweavers

11561 search results - page 448 / 2313
» Open Distributed Processing
Sort
View
ICMENS
2003
IEEE
127views Hardware» more  ICMENS 2003»
16 years 26 days ago
Design and Fabrication of Microchannels for Magnetohydrodynamic Flow
This paper introduces a new microchannel design for magnetohydrodynamic (MHD) flow that maximizes MHD pumping power. An electromagnetic channel (EMC), which has a rectangular cros...
Jian-Bin Bao, D. Jed Harrison
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
16 years 17 hour ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
261
Voted
ICASSP
2011
IEEE
14 years 11 months ago
A combinatorial optimization framework for subset selection in distributed multiple-radar architectures
Abstract—Widely distributed multiple radar architectures offer parameter estimation improvement for target localization. For a large number of radars, the achievable localization...
Hana Godrich, Athina P. Petropulu, H. Vincent Poor
JSA
2008
108views more  JSA 2008»
15 years 7 months ago
A methodology to design arbitrary failure detectors for distributed protocols
Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (...
Roberto Baldoni, Jean-Michel Hélary, Sara T...
126
Voted
CORR
2008
Springer
108views Education» more  CORR 2008»
15 years 7 months ago
Tight Bounds for Blind Search on the Integers
We analyze a simple random process in which a token is moved in the interval A = {0, . . . , n}: Fix a probability distribution
Martin Dietzfelbinger, Jonathan E. Rowe, Ingo Wege...