4350 search results - page 104 / 870 » Case studies for contract-based systems |
143
Voted
PPOPP
2006
ACM
15 years 9 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...
119
Voted
EVOW
2005
Springer
15 years 9 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...
106
Voted
PROFES
2005
Springer
15 years 9 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...
128
Voted
APSEC
2003
IEEE
15 years 9 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...
126
Voted
SAC
2003
ACM
15 years 9 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...