Testing is among the most effective tools available for ļ¬nding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userā...
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of ...
A challenging issue in today's server systems is to transparently deal with failures and application-imposed requirements for continuous operation. In this paper we address t...