4516 search results - page 782 / 904 » Automated System Design for Availability |
104
click to vote
ESCIENCE
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper discusses the process of building an environment where large-scale, complex, scientific analysis can be scheduled onto a heterogeneous collection of computational and s...
EUROMICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
In large software and systems engineering companies like Siemens PSE there are several requirements tools in use. There is no “one tool fits all projects/departments” solution...
ICAC
2006
IEEE
15 years 4 months ago
2006
IEEE
A shared distributed infrastructure is formed by federating computation resources from multiple domains. Such shared infrastructures are increasing in popularity and are providing...
ICPP
2006
IEEE
15 years 4 months ago
2006
IEEE
The cooperation of end users can be exploited to boost the performance of high-bandwidth multicast. While intraoverlay cooperation, the mechanism for cooperation within a single o...
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...