3801 search results - page 593 / 761 » An Approach to Modeling Software Safety |
133
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
176
click to vote
ICSE
2012
IEEE-ACM
13 years 7 months ago
2012
IEEE-ACM
—To survive and succeed, software projects need to attract and retain contributors. We model the individual’s chances to become a valuable contributor through her capacity, wil...
133
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
168
click to vote
EUMAS
2006
15 years 6 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
149
click to vote
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...