2253 search results - page 429 / 451 » An Approach to Specifying Software Frameworks |
140
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
128
Voted
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
143
Voted
WOSP
2010
ACM
15 years 8 months ago
2010
ACM
Virtualization has been shown to be an attractive path to increase overall system resource utilization. The use of live virtual machine (VM) migration has enabled more effective ...
165
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
139
Voted
PPOPP
2003
ACM
15 years 8 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...