4934 search results - page 516 / 987 » Implementing an API for Distributed Adaptive Computing Syste... |
165
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
173
click to vote
MIDDLEWARE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Data aggregation is a key aspect of many distributed applications, such as distributed sensing, performance monitoring, and distributed diagnostics. In such settings, use...
140
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
An important technical hurdle blocking the adoption of mobile agent technology is the lack of reliability. Designing a reliable mobile agent system is especially challenging since...
164
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Many SMEs and non-profit organizations suffer when their Web servers become unavailable due to flash crowd effects when their web site becomes popular. One of the solutions to the ...
173
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...