Sciweavers

11168 search results - page 279 / 2234
» Abstract State Processes
Sort
View
MDM
2007
Springer
137views Communications» more  MDM 2007»
16 years 1 months ago
Infrastructure for Data Processing in Large-Scale Interconnected Sensor Networks
Abstract—With the price of wireless sensor technologies diminishing rapidly we can expect large numbers of autonomous sensor networks being deployed in the near future. These sen...
Karl Aberer, Manfred Hauswirth, Ali Salehi
183
Voted
ICDE
2009
IEEE
126views Database» more  ICDE 2009»
16 years 1 months ago
Transaction Support for Log-Based Middleware Server Recovery
Abstract— We have developed log-based recovery for middleware servers that access back-end transaction systems (DBMSs). Transactional consistency is provided between in-memory st...
Rui Wang 0002, Betty Salzberg, David B. Lomet
ICRA
2009
IEEE
143views Robotics» more  ICRA 2009»
16 years 1 months ago
Decentralized localization for dynamic and sparse robot networks
Abstract— Finite-range sensing and communication are factors in the connectivity of a dynamic mobile robot network. State estimation becomes a difficult problem when communicati...
Keith Yu Kit Leung, Timothy D. Barfoot, Hugh H. T....
ICASSP
2011
IEEE
14 years 10 months ago
Time prediction of non flat fading channels
In this paper three different techniques to predict the channel transfer functions of non flat fading channels in multiple antenna systems are investigated. The prediction is don...
Nico Palleit, Tobias Weber
198
Voted
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 18 days ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...