Debugging is a hard and time-consuming programming task that appears in the most stages of software development and maintenance. Therefore, any improvement in the debugging practice can significantly reduce the time and costs of software production. In thi ...
This thesis explores the use of specifications for the construction of correct programs. We go beyond their standard use as run-time assertions, and present algorithms, techniques and implementations for the tasks of 1) program verification, 2) declarative ...
Bis-cyclometalated cationic Ir(III) diimine complexes Ir((CN)-N-Lambda)2((NN)-N-Lambda) with 1-phenylpyrazoles ((CN)-N-Lambda) and 1-(4'-tert-butyl-2'-pyridyl) pyrazole ((NN)-N-Lambda) are white solids that have absorption onset below 425 nm and ele ...
JavaScript developers create programs by calling functions and they use functions to construct objects. JavaScript development tools need to report to developers about those functions and constructors, for example in debugger call-stacks and in object repr ...
We consider the problem of distributed classification of multiple observations of the same object that are collected in an ad hoc network of vision sensors. Assuming that each sensor captures a different observation of the same object, the problem is to cl ...
Institute of Electrical and Electronics Engineers2011
