177 search results - page 12 / 36 » Observation and Control for Debugging Distributed Computatio... |
MSR
2009
ACM
14 years 8 days ago
2009
ACM
Researchers continue to demonstrate the benefits of Mining Software Repositories (MSR) for supporting software development and research activities. However, as the mining process...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
FGCS
2000
13 years 7 months ago
2000
Ant colonies, and more generally social insect societies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organiz...
PAMI
2000
13 years 7 months ago
2000
Modern CCD cameras are usually capable of a spatial accuracy greater than 1/50 of the pixel size. However, such accuracy is not easily attained due to various error sources that c...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...