1448 search results - page 182 / 290 » Deadlock Detection in Distributed Systems |
144
Voted
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
Dynamic instrumentation systems have proven to be extremely valuable for program introspection, architectural simulation, and bug detection. Yet a major drawback of modern instrum...
128
click to vote
SEKE
2001
Springer
15 years 9 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
127
click to vote
APAQS
2000
IEEE
15 years 9 months ago
2000
IEEE
In the manufacturing domain, few new distributed systems are built ground-up; most contain wrapped legacy components. While the legacy components themselves are already well-teste...
120
Voted
CIIT
2004
15 years 6 months ago
2004
The Internet is a convenient platform to distribute real time traffic information. Thus, we propose a web-based visualization of the current and future traffic load of the entire ...
143
click to vote
LOBJET
2000
15 years 4 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...