3909 search results - page 302 / 782 » Extreme Model Checking |
145
Voted
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
143
Voted
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
118
Voted
FOAL
2008
ACM
15 years 5 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
99
Voted
WSC
2004
15 years 5 months ago
2004
The Department of Defense (DoD) has become increasingly reliant on models and in particular on simulation models. The military-defense establishment and its combat-preparation ori...
145
Voted
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...