One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
Replacing functional units of an extensible processor with reconfigurable functional units enhances performance and flexibility of processors to execute custom instructions. That ...
One of the core principles behind the Agile Manifesto is that of working at a sustainable pace over time. Having gone through the roller coaster of traditional software developmen...
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...