4350 search results - page 104 / 870 » Case studies for contract-based systems |
PPOPP
2006
ACM
14 years 4 months ago
2006
ACM
This work presents a general methodology for estimating the performance of an HPC workload when running on a future hardware architecture. Further, it demonstrates the methodology...
EVOW
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Electric Sheep is a distributed screen-saver that harnesses idle computers into a render farm with the purpose of animating and evolving artificial life-forms known as s...
PROFES
2005
Springer
14 years 3 months ago
2005
Springer
Organizations often encounter problems in the Product Integration process. The difficulties include finding errors at integration related to mismatch between the different componen...
APSEC
2003
IEEE
14 years 3 months ago
2003
IEEE
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...
SAC
2003
ACM
14 years 3 months ago
2003
ACM
Researchers building multi-agent algorithms typically work with abstracted away from real applications. The abstracted problem instances allow systematic and detailed investigatio...