Sciweavers

503 search results - page 24 / 101
» Live Debugging of Distributed Systems
Sort
View
ICDE
2003
IEEE
101views Database» more  ICDE 2003»
14 years 11 months ago
XomatiQ: Living With Genomes, Proteomes, Relations and a Little Bit of XML
In this paper, we describe a system called XomatiQ to address the problem of integration, querying and correlation of biological data. XomatiQ is an integral part of the genomics ...
Sourav S. Bhowmick, Pedro Cruz, Amey V. Laud
AROBOTS
2008
134views more  AROBOTS 2008»
13 years 10 months ago
Mobile manipulators for assisted living in residential settings
Abstract: We describe a methodology for creating new technologies for assisted living in residential environments. The number of eldercare clients is expected to grow dramatically ...
Patrick Deegan, Roderic A. Grupen, Allen R. Hanson...
SIGCOMM
2012
ACM
12 years 9 days ago
ShadowStream: performance evaluation as a capability in production internet live streaming networks
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
Chen Tian, Richard Alimi, Yang Richard Yang, David...
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
12 years 9 days ago
BloomUnit: declarative testing for distributed programs
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
Peter Alvaro, Andrew Hutchinson, Neil Conway, Will...
CONCUR
2009
Springer
13 years 7 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...