Now showing items 1-2 of 2
Guided Testing of Concurrent Programs Using Value Schedules
(University of Waterloo, 2009-09-29)
Testing concurrent programs remains a difficult task due to the non-deterministic nature of concurrent execution. Many approaches have been proposed to tackle the complexity of uncovering potential concurrency bugs. ...
Hybrid Organic/Inorganic Optical Upconversion Devices
(University of Waterloo, 2011-12-19)
The widely available charge coupled device (CCD) and lately CMOS imaging devices have created many applications on a mass scale. However these devices are limited to wavelengths shorter than about 1 μm. Hybrid photon ...