Sciweavers

364 search results - page 42 / 73
» Discovering Hidden Evidence
Sort
View
QEST
2009
IEEE
14 years 3 months ago
On the Impact of Modelling Choices for Distributed Information Spread
—We consider a distributed shuffling algorithm for sharing data in a distributed network. Nodes executing the algorithm periodically contact each other and exchange data. The be...
Rena Bakhshi, Ansgar Fehnker
ICDM
2009
IEEE
165views Data Mining» more  ICDM 2009»
14 years 3 months ago
Cross-Guided Clustering: Transfer of Relevant Supervision across Domains for Improved Clustering
—Lack of supervision in clustering algorithms often leads to clusters that are not useful or interesting to human reviewers. We investigate if supervision can be automatically tr...
Indrajit Bhattacharya, Shantanu Godbole, Sachindra...
INFOCOM
2009
IEEE
14 years 3 months ago
D-Scan: Enabling Fast and Smooth Handoffs in AP-Dense 802.11 Wireless Networks
—802.11 wireless networks have gained ever greater popularity nowadays. Apart from static wireless connections, people begin to expect more user-friendly features from this kind ...
Jin Teng, Changqing Xu, Weijia Jia, Dong Xuan
KBSE
2008
IEEE
14 years 3 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
TPHOL
2007
IEEE
14 years 2 months ago
Formalising Java's Data Race Free Guarantee
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
David Aspinall, Jaroslav Sevcík