20 search results - page 4 / 4 » D3S: Debugging Deployed Distributed Systems |
MICRO
2008
IEEE
13 years 11 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
EMS
2009
IEEE
13 years 11 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
TAICPART
2006
IEEE
13 years 10 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
IPSN
2010
Springer
13 years 11 months ago
2010
Springer
Troubleshooting unresponsive sensor nodes is a significant challenge in remote sensor network deployments. This paper introduces the tele-diagnostic powertracer, an in-situ troub...
MM
2006
ACM
13 years 10 months ago
2006
ACM
In both academia and industry, peer-to-peer (P2P) applications have attracted great attention. Peer-to-peer file sharing applications, such as Napster, Gnutella, Kazaa, BitTorrent...