Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
We present a CMOS imager with built-in capability to perform Compressed Sensing coding by Random Convolution. It is achieved by a shift register set in a pseudo-random configurat...
Laurent Jacques, Pierre Vandergheynst, Alexandre B...
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
Annotation plays a major role in a user’s reading of a document: from elementary school students making notes on text books to professors marking up their latest research papers....
Jennifer Pearson, George Buchanan, Harold W. Thimb...