27 search results - page 6 / 6 » Checking concurrent contracts with aspects |
ICFEM
2009
Springer
13 years 11 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...